Leucker Martin

Prof. Dr. rer. nat.

  • Ratzeburger Allee 160, Gebäude 64, 1. OG, Raum 43

    23562 Lübeck


  • 1171

Research activity per year

Personal profile

Scientific Focus

  • 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

Research Areas and Centers

  • Centers: Center for Artificial Intelligence Luebeck (ZKIL)


Dive into the research topics where Martin Leucker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or