Modelle und Theorie Verteilter Systeme

Wissenschaftliche Mitarbeiterin

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

ProofBuddy

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.