Research & Teaching Assistant

Benjamin Bisping
Room: TEL 708
Telephone: +49 30 314-24169
E-Mail: benjamin.bisping <AT> tu-berlin.de
Sprechstunde: Montags, 12:30–13:30 Uhr (on request, via Jitsi!)

• Current publications: see ORCID
• Teaching: Programmierpraktikum Modelle Dynamische Systeme (MoDySy), Introduction into Interactive Theorem Proving (Isabelle-Lab), The Software Horror Picture Show (Horror)
• Supervision of bachelor / Master theses: Suggested open topics
• Twitter: benkeks