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:

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)
RV 2022 (member of PC)
CONCUR 2022 (member of PC)