Malte Schmitz

staff

Scientific Staff
E-mail: malte.schmitz [at] isp.uni-luebeck.de
Address: 
Institut für Softwaretechnik und Programmiersprachen
Universität zu Lübeck
Ratzeburger Allee 160
23562 Lübeck
Germany
Phone: +49 451 3101 6519
Room: 107, first floor in building 64

Fields of interest

  • Formal methods
  • (Temporal-) logic and runtime verification
  • Automata theory
  • Computational complexity theory and recursion theory
  • Software architecture and design