Kontakt

• Raum: TEL 708
• Telefon: +49 30 314-24169
• Web: https://bbisping.de
• E-Mail: benjamin.bisping(at)tu-berlin.de
• Sprechstunde: Montags, 12:30–13:30 Uhr (Bitte vorher anfragen!)

Aktuell

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