Martin Leucker

Prof. Dr. rer. nat.

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

    23562 Lübeck

    Deutschland

  • 1115
    Scopus-Zitationen
20052023

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Persönliches Profil

Forschungsinteresse

  • 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

Strategische Forschungsbereiche und Zentren

  • Zentren: Zentrum für Künstliche Intelligenz Lübeck (ZKIL)

Fingerprint

Fingerprints basieren auf einer Begriffsuche in Textquellen wie Abstracts oder Projektbeschreibungen, um einen Index gewichteter Hauptthemen jedes einzelnen Forschers zu erstellen.
  • 1 Ähnliche Profile

Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre

Internationale Kooperationspartner der letzten fünf Jahre auf einen Blick - die Auswahl eines Punktes zeigt inhaltliche Details zur wissenschaftlichen Zusammenarbeit.