Chair of Theoretical Computer Science and Theorem Proving Lab
Ludwig-Maximilians-Universität München · Institute of Informatics
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. Jasmin Blanchette at Ludwig-Maximilians-Universität München Institute of Informatics lists Theoretical Computer Science and Theorem Proving as their registered research area.
Research keywords
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