Nadine Karsten
Raum: TEL 705
Telefon: +49 30 314-27336
E-Mail: n.karsten <AT> tu-berlin.de
Sprechstunde: Montag, 13:30 - 14:30 Uhr.
Mögliche Themenbereiche für Abschlussarbeiten: didaktische Konzepte in der Theoretischen Informatik, Isabelle, Prozesskalüle, Formalisierungen von Programmiersprachen
Projekte
Beweisassistenten in der Lehre
Publikationen
Karsten, Nadine; Jacobsen, Frederik Krogsdal; Eiken, Kim Jana; Nestmann, Uwe; Villadsen, Jørgen (2023): ProofBuddy: A Proof Assistant for Learning and Monitoring. Trends in Functional Programming in Education (TFPIE). EPTCS 382, 2023, pp. 1-21
Karsten, Nadine; Nestmann, Uwe (2022): Beweiskompetenz durch Beweisassistenz. 20. Fachtagung Bildungstechnologien (DELFI). Karlsruhe. 12.-14. September 2022. pp. 227-228.