Wissenschaftlicher Mitarbeiter

© David Karcher

Benjamin Bisping
Raum: TEL 708
Telefon: +49 30 314-24169
E-Mail: benjamin.bisping <AT> tu-berlin.de
Sprechstunde: Montags, 12:30–13:30 Uhr (Bis auf Weiteres nur auf Anfrage und per Jitsi!)

• Aktuelle Publikationen: siehe ORCID
• Lehre: Programmierpraktikum Modelle Dynamische Systeme (MoDySy), Einführung in das interaktive Theorembeweisen (Isabelle-Lab), The Software Horror Picture Show (Horror)
• Bachelorarbeiten/Masterarbeiten: Offene Themenvorschläge
• Twitter: benkeks