Lab directory
Prof. Gidon Ernst — Research Profile
Ludwig-Maximilians-Universität München · Institute of Informatics
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Gidon Ernst at Ludwig-Maximilians-Universität München Institute of Informatics lists Software Verification as their registered research area.
Research keywords
Software Verification
Other labs in this department
- Human-Centered Ubiquitous Media Lab
Albrecht Schmidt
Human-Centered Ubiquitous Media
- Andreas Butz Lab
- Computer Vision & Learning Group (CompVis)
Björn Ommer
image and video understanding, generative approaches for visual synthesis, invertible deep models for explainable AI, deep metric and representation learning, self-supervised learning paradigms
- Caroline Friedel Lab
- Mobile and Distributed Systems Group
Claudia Linnhoff-Popien
Quantum Computing, Quantum Annealing, Quantum Machine Learning, Artificial Intelligence, Deep Learning, Reinforcement Learning, Machine Learning for health-based applications
- Dieter Kranzlmüller Lab