Nadine Karsten

Raum: TEL 705
Telefon: +49 30 314-27336
E-Mail: n.karsten <AT> tu-berlin.de
Sprechstunde: Donnerstag, 20:00 - 21:00 Uhr, online über Zoom. Link auf Anfrage.

Mögliche Themenbereich für Abschlussarbeiten: didaktische Konzepte in der Theoretischen Informatik, Isabelle, Prozesskalüle, Formalisierungen von Programmiersprachen