연구실 목록
Jasmin Blanchette 교수 연구실
Chair of Theoretical Computer Science and Theorem Proving
정보 출처2026. 10. 31. 확인
소개
뮌헨 대학교(LMU) 정보학연구소 소속 Jasmin Blanchette 교수의 등록된 연구 분야는 Theoretical Computer Science and Theorem Proving입니다.
연구 키워드
Theoretical Computer Science and Theorem Proving
같은 학과의 다른 연구실
- Albrecht Schmidt 교수 연구실
Human-Centered Ubiquitous Media
- Andreas Butz 교수 연구실
- 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 교수 연구실
- 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 교수 연구실