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
co-chair of KoSSE (Competence Center Software Systems Engineering)
board member of the OR.NET Association
SC chair of ICTAC
SC member of RV

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
energy informatics

Activities:

CONCUR 2022 (member of PC)
FASE 2022 (member of PC)
HSCC 2021 (member of PC)
SCPS 2021 (member of PC)
RV 2021 (member of PC)
BIOKDD2021 (member of PC)
ICTAC 2021 (member of PC)
TAP 2021 (member of PC)
HEDA Workshop 2021 (organizer / PC chair)
SAC-SVT 2021 (member of PC)