Prof. Peter Müller — Research Profile
ETH Zurich · Department of Computer Science
About
Prof. Peter Müller at ETH Zurich Department of Computer Science lists program verification, static program analysis, type systems, testing, formal methods, tools as their registered research area.
Research keywords
Other labs in this department
- 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