연구실 목록
Christof Löding 교수 연구실
Logic and Theory of Discrete Systems
아헨 공과대학교 · 컴퓨터과학과
정보 출처2026. 7. 22. 확인
소개
아헨 공과대학교 컴퓨터과학과 소속 Christof Löding 교수의 등록된 연구 분야는 logic, automata theory입니다.
연구 키워드
logicautomata theory
같은 학과의 다른 연구실
- Abigail Morrison 교수 연구실
neural computation, computational neuroscience
- Bastian Leibe 교수 연구실
computer vision, object detection, visual recognition
- Bernhard Rumpe 교수 연구실
software engineering, modeling
- Christina Büsing 교수 연구실
optimization, combinatorial algorithms
- Christopher Morris 교수 연구실
graph neural networks, machine learning
- Dominique Unruh 교수 연구실
quantum computing, quantum cryptography, quantum information