CV

2022-

Research software engineer at Microsoft Research

2021-2022

Special faculty post-doctoral fellow with Jeremy Avigad at the Hoskinson Center for Formal Mathematics at Carnegie Mellon University

2019-2021

Post-doctoral researcher with Jasmin Blanchette at VU Amsterdam

2013-2015

GRASP aerosol retrieval at Catalysts GmbH, Vienna, Austria

2011

Development of a source-to-source C#-to-Java compiler at Catalysts GmbH, Linz, Austria

Academic

2015-2020

PhD in computational proof theory advised by Stefan Hetzl at TU Wien

2015

Master's degree in Mathematics at TU Wien

2013

Bachelor's degree in Mathematics at TU Wien