Martin Leucker

Prof. Dr. rer. nat.

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

    23562 Lübeck

    Germany

Calculated based on number of publications stored in Pure and citations from PlumX
20052024

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)

Fingerprint

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