Martin Leucker
Director
Office hours
- on appointment
Functions
- 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 the LSN eV.
- head of vocational master programme https://ai-master.org
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
- ICTAC 2026 (member of PC)
- EDTConf 2026 (member of PC)
- CGO 2026 (member of PC)
- ERTS2026 (member of PC)
- OVERLAY 2025 (member of PC)
- RVmeetsMBD 2025 (PC Chair)
- RV 2025 (member of PC)
- BLOCKCHAIN’25 (member of PC)
- HEDA 2025 (member of PC)
- SAC 2025 (member of PC)
Recent Publications
Symbolic runtime verification for monitoring under uncertainties and assumptions
Inf. Softw. Technol., 2026
Raik Hipler and Hannes Kallwies and Martin Leucker and Marco Montali and César Sánchez and Sarah Winkler
Composable digital twins on Digital Twin as a Service platform
Simul., 2025
Prasad Talasila and Cláudio Gomes and Lars Bernd Vosteen and Hannes Iven and Martin Leucker and Santiago Gil and Peter Høgh Mikkelsen and Eduard Kamburjan and Peter Gorm Larsen
The AI Act and Some Implications for Developing AI-Based Systems
The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday, 2025
Martin Leucker
A Note on Runtime Verification of Concurrent Systems
Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, 2025
Martin Leucker
Formal Model of Energy System using Attack Trees
21st IEEE International Conference on Smart Technologies, EUROCON 2025, Gdynia, Poland, June 4-6, 2025, 2025
Aliyu Tanko Ali and Damas P. Gruska and Martin Leucker
Theses on Offer
Contact Information
leucker@isp.uni-luebeck.de
Address
4. Floor, Building MFC II
Phone
+49 451 310 16500
Interests
Research Groups
Application Domains