Martin Leucker is affiliated with the University of Lübeck in Germany. Their research spans multiple areas within computer science and engineering, with a particular focus on formal methods and software verification.
Their research output includes recent publications such as:
Frequent co-authors collaborating with Martin Leucker include:
The scientist has published multiple works in the following venues:
Books published by Martin Leucker through Springer Science+Business Media include:
Main fields of study for Martin Leucker's research are:
Within these fields, they focus on subfields including:
Key topics covered in their research are:
Martin Leucker;Martin Leucker;Christian Schallhart;Christian Schallhart
Andreas Bauer;Martin Leucker;Christian Schallhart
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker
Andreas Bauer;Martin Leucker;Christian Schallhart
Martin Sachenbacher;Martin Leucker;Andreas Artmeier;Julian Haselmayr
Andreas Bauer;Martin Leucker;Christian Schallhart
Andreas Artmeier;Julian Haselmayr;Martin Leucker;Martin Sachenbacher
Alexander Gruler;Martin Leucker;Kathrin Scheidemann
Andreas Bauer;Martin Leucker;Christian Schallhart
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker
Joost-Pieter Katoen;Daniel Klink;Martin Leucker;Verena Wolf
Benedikt Bollig;Peter Habermehl;Carsten Kern;Martin Leucker
Harald Fecher;Martin Leucker;Verena Wolf
Therese Berg;Olga Grinchtein;Bengt Jonsson;Martin Leucker
Benedikt Bollig;Joost-Pieter Katoen;Carsten Kern;Martin Leucker
Joost Pieter Katoen;Daniel Klink;Martin Leucker;Verena Wolf
Christel Baier;Marcus Größer;Martin Leucker;Benedikt Bollig
Olga Grinchtein;Bengt Jonsson;Martin Leucker
Benedikt Bollig;Martin Leucker;Michael Weber
Luboš Brim;Boudewijn Haverkort;Martin Leucker;Jaco van de Pol
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker
Andreas Bauer;Martin Leucker;Christian Schallhart
If you think any of the details on this page are incorrect, let us know.
If you’re exploring computer science in the USA, several related online degrees can expand your career possibilities—even in STEM fields closely connected to computing. For those seeking a fast-track option, a 2-year computer science degree online provides a quicker route to entry-level jobs and foundational tech skills.
Interested in solving global environmental challenges? Earning an environmental engineer degree online gives you the opportunity to work on sustainable solutions from anywhere in the world.
For those focused on engineering design and innovation, the cheapest online master's mechanical engineering programs offer specialized advancements without breaking the bank—ideal for working professionals.
Online learning also supports deep dives into theory and research-oriented paths. If you’re drawn to fundamental science, consider exploring online physics degrees to open doors in research, data science, and technology development.
Each of these online degree options builds a strong foundation for diverse and evolving tech-driven career pathways in the USA and beyond.
Hokkaido University
Cardiff University
University of Illinois at Urbana-Champaign
University of Aveiro
Finnish Institute for Health and Welfare
University of Helsinki
Institut de Recherche pour le Développement
Pennsylvania State University
TU Dortmund University
University of California, Berkeley
International Computer Science Institute
University of Strasbourg
King Abdullah University of Science and Technology
Shanghai University
Inserm
United States Geological Survey
