Prof. Dr. Martin Leucker

staff

Director

E-mail:	leucker [at] isp.uni-luebeck.de
Address:	Institut für Softwaretechnik und Programmiersprachen Universität zu Lübeck Ratzeburger Allee 160 23562 Lübeck Germany
Phone:	+49 451 3101 6500
Room:	43, first floor in building 64

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:

Sichere Software

Activities:

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)
MCPS 2018 (member of PC)
SAC 2018 (member of PC)
TIME 2017 (member of PC)
RV 2017 (member of PC)