Timon Gehr

Swiss Federal Institute of Technology

Names

Timon Gehr

Emails

****@inf.ethz.ch

Education & Career History

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

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