Prof. Dr. Martin Leucker

staff

Director
E-mail: leucker [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 6500
Room: 43, first floor in building 64

Office hours

  • on appointment

Functions

Fields of interest

  • software engineering: correct and reliable systems
  • formal methods
  • theoretical computer science
  • verification, especially model checking, runtime verification, and testing
  • message sequence charts
  • model learning
  • energy informatics
Activities: