CV

Academic

2019-
Post-doctoral researcher with Jasmin Blanchette at VU Amsterdam
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

Industry

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