Peter Müller 교수 연구 프로필
취리히 연방공과대학교 · 컴퓨터과학과
소개
취리히 연방공과대학교 컴퓨터과학과 소속 Peter Müller 교수의 등록된 연구 분야는 program verification, static program analysis, type systems, testing, formal methods, tools입니다.
연구 키워드
같은 학과의 다른 연구실
- Adrian Perrig 교수 연구실
system and network security, networks, internet architecture
- Ana Klimovic 교수 연구실
cloud computing, operating systems, distributed systems, storage systems, computer architecture
- Andreas Krause 교수 연구실
machine learning, artificial intelligence, reinforcement learning, probabilistic inference
- Angelika Steger 교수 연구실
algorithms, combinatorics, randomization and probabilistic methods, combinatorial models for optimization
- April Yi Wang 교수 연구실
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming
- Bernhard Schölkopf 교수 연구실
machine learning, causal inference, applications in the sciences