Timon Gehr
Timon Gehr
PhD student, Swiss Federal Institute of Technology
- Joined December 2017
Names
Emails
****@inf.ethz.ch (Confirmed)
Personal Links
Education & Career History
PhD student
Swiss Federal Institute of Technology (ethz.ch)
2015 – Present
Advisors, Relations & Conflicts
Expertise
deep learning, robustness certification, abstract interpretation, reachability analysis
Present
programming languages, probabilistic programming
Present
deep learning, logical constraints
Present
programming languages, differentiable programming
Present
machine learning, logical constraints
Present