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: 

• Runtime Verification and Testing
• Projektpraktikum Software Systems Engineering

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)

Further Information: 

Selected Presentations

• Model Checking Software Product Lines, Dagstuhl, February 25th, 2013

Links

• CV
• Visits