Tom Kranz

Akademischer Mitarbeiter

Lehre

• Aktuell
  • Wintersemester 2019/2020: Theoretische Informatik I: Modellierungskonzepte (Assistent)
• Als studentische Hilfskraft
  • Sommersemester 2018: Theoretische Informatik II (Tutor)
  • Sommersemester 2018: Paralleles Rechnen (Tutor)
  • Wintersemester 2017/2018: Theoretische Informatik I: Modellierungskonzepte (Tutor)
  • Sommersemester 2017: Theoretische Informatik II (Tutor)
  • Wintersemester 2016/2017: Theoretische Informatik I: Modellierungskonzepte (Tutor)
  • Wintersemester 2016/2017: Grundlagen der Informationsverarbeitung (Tutor)

Projekte

• RegApp: Eine Webanwendung zur Visualisierung der Konzepte regulärer Sprachen
  • Live-Version
  • Git-Repository
  • Bachelorarbeit zur Konzeption
• Induction Provers in Hets: Leveraging the Tons of Inductive Problems language and tools to talk to more Automated Theorem Provers
  • Masterarbeit

Kontakt

Theoretische Informatik
Institut für Informatik und Computational Science
Campus Golm, Haus 70
An der Bahn 2
14476 Potsdam
Raum: 1.06
E-Mail: tkranz@uni-potsdam.de
Telefon: +49 (0) 331 977-307203
PGP-Schlüssel: FE1C C903 4424 EA9F 717E 81B9 33BA 57E9 8901 28BC