Timon Gehr

Timon Gehr is part of the Professorship for Computer Science at ETH Zurich's Department of Computer Science, affiliated with the Institute of Programming Languages and Systems. His research focuses on quantum computing, probabilistic programming, neural network robustness, and privacy enforcement. He has contributed to the development of quantum languages like Silq and frameworks for certifying adversarial robustness in machine learning systems.

His research interests include formal methods for programming languages, scalable symbolic reasoning, and applying probabilistic techniques to security and privacy. Recent work emphasizes robustness certification of neural networks and symbolic integration in machine learning. Key projects involve exact inference for probabilistic programs and differential privacy violation detection.

Notable publications include work on quantum uncomputation, adversarial examples, and integrating logic into neural networks. No specific advising or grant details are provided in the text, but his involvement with the Institute of Programming Languages and Systems indicates active participation in academic collaborations and research teams.