Prof. Dr. Martin Leucker

staff

Director

E-mail:	leucker [at] isp.uni-luebeck.de
Address:	Institute for Software Engineering and Programming Languages Building MFC II Maria-Goeppert-Str. 3 23562 Lübeck Germany
Phone:	+49 451 3101 6500
Room:	4. Floor, Building MFC II

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 OR.NET Association
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

Activities:

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)
RV 2024 (member of PC)
GandALF 2024 (member of PC)