Short description
Professor of practical computer science, especially model-based development and analysis in the domains of energy, medical technology and automotive.
Research data
Academic degree
Professor
Department
Engineering,
Climate protection & Resources
Research topic
Software Engineering, Model-Based Development and Analysis, Optimization, Artificial Intelligence
Research institute
Universität zu Lübeck
Location of the research institute
Lübeck
Department/Faculty
Section Computer Science / Technology
Institution
Institute for Software Engineering and Programming Languages
Research institute 2
UniTransferKlinik Lübeck GmbH
Location of the research institute 2
Lübeck
Career
Education
2007 - Habilitation at the TU Munich
2002 - Doctorate in Computer Science at RWTH Aachen University
1996 - Diploma in Mathematics at the RWTH Aachen University
Experience
Institute Director (since 2010)
Professor of Practical Computer Science (since 2010)
Managing Director UniTransferKlinik Lübeck GmbH (since 2018)
Publications and projects
Selected publications
Benedikt Bollig, Martin Leucker, Daniel Neider: A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 81-97
(Link to publication)
René Schönfelder, Martin Leucker, Sebastian Walther: Efficient Profile Routing for Electric Vehicles. IOV 2014: 21-30
(Link to publication)
Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr: Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011
(Link to publication)
Selected sponsored projects
MASIRI, Land SH, Partner: Institute der UzL 599.900,- €, 2021-2024
(Link to project)
ReNuBiL, Land SH, Partner: Institute der UzL 799.900,- €, 2020-2022
(Link to project)
Doing eBus, Land SH, Partner: TH Kiel, UzL 676.000,- €, 2019-2022
(Link to project)
Committees and Awards
Selected councils
Mandate holder science in the advisory board "Lübeck Digital"
