Timon Gehr -

Registered user since Tue 18 Apr 2017

Name: Timon Gehr

Country: Switzerland

Affiliation: ETH Zürich

Personal website: https://www.sri.inf.ethz.ch/people/timon

Contributions

PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2019	Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track
PLDI 2018	Author of Bayonet: Probabilistic Inference for Networks within the PLDI Research Papers-track Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track