Prof. Dr. Martin Leucker
staff
- on appointment
- director of ISP
- CEO of UniTransferKlinik
- editorial member of Formal Aspects of Computing
- editorial member of STTT - Explain
- SC chair of ICTAC
- SC member of RV
- member of IFIP WG 1.3
- board member of the OR.NET Association
- head of vocational master programme https://ai-master.org
- software engineering: correct and reliable systems
- formal methods
- theoretical computer science
- verification, especially model checking, runtime verification, and testing
- message sequence charts
- model learning
- AI
- medical informatics
- energy informatics
- RV 2025 (member of PC)
- RV 2024 (member of PC)
- GandALF 2024 (member of PC)
- iFM 2023 (member of PC)
- GandALF 2023 (member of PC)
- HEDA 2023 (member of PC)
- ABZ 2023 (member of PC)
- SAC-SVT 2023 (member of PC)
- FM 2023 (general chair, member of PC)
- CGO 2023 (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
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Philipp Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Complete List
- Open Positions