Timon Gehr

PhD student, Swiss Federal Institute of Technology

  • Joined December 2017

Names

Timon Gehr

Emails

****@inf.ethz.ch (Confirmed)

Personal Links

Career & Education History

PhD student
Swiss Federal Institute of Technology (ethz.ch)
2015 – Present
 

Advisors, Relations & Conflicts

No relations added

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