Martin Leucker
Scholar

Martin Leucker

Google Scholar ID: K5TogrcAAAAJ
Professor of Computer Science, University of Lübeck
Software Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,887
 
H-index
24
 
i10-index
58
 
Publications
20
 
Co-authors
25
list available
Contact
Emailleucker@isp.uni-luebeck.deCVOpen ↗
Publications
2 items
Inference of Deterministic Finite Automata via Q-Learning
2025
Cited
0
A Note on Runtime Verification of Concurrent Systems
2025
Cited
0
Resume (English only)
Academic Achievements
  • Member or chair of program committees for multiple international conferences such as EDTConf 2026, CGO 2026, etc.
Research Experience
  • Director of ISP; CEO of UniTransferKlinik; editorial member of Formal Aspects of Computing; editorial member of STTT - Explain; SC chair of ICTAC; SC member of RV; member of IFIP WG 1.3; board member of LSN eV; head of vocational master programme.
Background
  • 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, AI, medical informatics, energy informatics.
Miscellany
  • Head of the vocational master programme https://ai-master.org.
Co-authors
25 total
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Co-author 2
Co-author 2
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Co-author 4
Co-author 4
Bengt Jonsson
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Alexander Pretschner
Alexander Pretschner
Professor of Computer Science, Technische Universität München
Co-author 7
Co-author 7
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security