Leucker Martin

Prof. Dr. rer. nat.

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

    23562 Lübeck

    Deutschland

Basierend auf der Anzahl der in Pure gespeicherten Publikationen und Zitate aus PlumX berechnet
20052024

Publikationen pro Jahr

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.