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

Courses:

Runtime Verification and Testing

Activities:

HSCC 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)
SAC 2019 (member of PC)
ICTAC 2018 (member of PC)
FORMATS 2018 (member of PC)
VORTEX 2018 (member of PC)
FM 2018 (member of PC)