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:

RV 2024 (member of PC)
GandALF 2024 (member of PC)
iFM 2023 (member of PC)
GandALF 2023 (member of PC)
HEDA 2023 (member of PC)
ABZ 2023 (member of PC)
SAC-SVT 2023 (member of PC)
FM 2023 (general chair, member of PC)
CGO 2023 (member of PC)
ISoLA 2022 (track organizer)