Prof. Dr. Martin Leucker
staff
- on appointment
- 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
- 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
- FASE 2022 (member of PC)
- HSCC 2021 (member of PC)
- RV 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)
- SAC 2019 (member of PC)
- ICTAC 2018 (member of PC)
- Model Checking Software Product Lines, Dagstuhl, February 25th, 2013
- CV
- Visits
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
Functions
Fields of interest
Activities:
Further Information:
Selected Presentations
Links
- Staff
- Martin Leucker
- Elisabeth Husmann
- Philipp Bende
- Gunnar Bergmann
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Uwe Kienitz
- Grigory Markin
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Torben Scheffel
- Malte Schmitz
- Annette Stümpel
- Daniel Thoma
- Complete List
- Open Positions