Manuel Eberl -

Registered user since Thu 18 Dec 2014

Name:Manuel Eberl

Country:Germany

Affiliation:Technische Universität München

Personal website: https://www21.in.tum.de/~eberlm

Research interests:Theorem Proving

Contributions

2019

CPP

Author of Verified Solving and Asymptotics of Linear Recurrences within the CPP 2019-track

2015

ESOP

Author of A Verified Compiler for Probability Density Functions within the ESOP-track