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:

FASE 2022 (member of PC)
HSCC 2021 (member of PC)
RV' 21 (member of PC)
BIOKDD2021 (Member of PC)
ICTAC 2021 (member of PC)
TAP 2021 (member of PC)
SAC-SVT 2021 (member of PC)
ICTAC 2020 (member of PC)
RV'20 (member of PC)
ICTAC 2019 (member of PC)