Academic

2015-present PhD in computational proof theory advised by Stefan Hetzl at TU Wien
2015 Master’s degree in Mathematics at TU Wien
2007-2015 Bachelor study in Informatics at TU Wien
2013 Bachelor’s degree in Mathematics in Computer Science from the TU Wien

Industry

2013-2015 GRASP aerosol retrieval at Catalysts.
2011-2014 compiz-cms, a full-screen color management solution for Ubuntu.
2011 Development of a source-to-source C#-to-Java compiler at Catalysts.
2007 Refactoring the database schema of OpenStreetMap, introducing ways and relations.