Martin Leucker

Prof. Martin Leucker is a Professor and Director of the Institute for Software Engineering and Programming Languages (ISP) at Universität zu Lübeck. He serves as CEO of UniTransferKlinik and leads the vocational master’s programme in AI (https://ai-master.org). His roles include editorial board memberships for Formal Aspects of Computing and STTT, and he chairs the ICTAC Steering Committee. He is actively involved in various international conferences, including RV, GandALF, and CGO, frequently serving on program committees.

His research focuses on software engineering, formal methods, and theoretical computer science, with specialties in verification techniques like model checking and runtime verification. He explores applications in AI, medical informatics, and energy systems. Notable activities include organizing workshops on software product lines and presenting at venues like Dagstuhl.

Prof. Leucker oversees ISP’s interdisciplinary projects, integrating programming languages and verification tools. His professional network spans IFIP WG 1.3 and the OR.NET Association, emphasizing collaborative research in informatics and engineering.