work experience
research assitant at TU Wien
since June 2023
investigating methods for solving formula equations in predicate logic under the supervision of Stefan Hetzl
maintainer of GAPT
graduate teaching assistant at TU Wien in Vienna
March 2021 - September 2022 (part-time)
tutored exercise groups in algebra, discrete mathematics and calculus for computer science, graded tests and evaluated students on their performance
academic tutor at TU Wien in Vienna
October 2019 - February 2021 (minor employment)
tutored exercise groups in algebra and discrete mathematics for computer science, graded tests and evaluated students on their performance
software engineering intern at Catalysts (now Cloudflight) in Vienna
July - August 2019
worked in a team of software engineers and data scientists to build an AI-enhanced web application based on Kotin, Spring, Typescript and Vue.js
software engineering intern at Catalysts (now Cloudflight) in Vienna
July - August 2018, August - September 2017
worked in a team of web developers to build a web application for salespeople using Java, Spring, Typescript and Angular
game development intern at BetaDwarf in Copenhagen
February - July 2016
worked on Forced Showdown and Minion Masters using unity with C#
ported the Forced Showdown graphics code to Linux, built a menu system for Minion Masters, and implemented a batch processing system for the Unity editor
iOS app developer for AKTION.TROCKEN in Dornbirn
March 2015 - February 2016 (part-time, freelance)
designed and programmed the initial version of the AKTION.TROCKEN iOS app using Swift and tutored a team of three students on web development
game programmer for Bollwerk in Hagenberg
November 2014 - September 2016 (part-time, freelance)
worked in a team of 3D artists, game designers and programmers to build Bollwerk, a game for the Fun4Four gaming table using Unity with C#
the project initially started as a semester project at University of Applied Sciences Hagenberg and our team continued working on it to publish the game on the Fun4Four gaming platform
software engineering intern at Catalysts (now Cloudflight) in Linz
July - August 2014
developed a web application for developers to automatically conduct performance tests on a big web application
software testing intern at Catalysts (now cloudflight) in Linz
July - August 2013
conducted performance tests for a big web application using JMeter, analyzed and presented the results
diploma project at Mawera (part of Viessmann) in Wolfurt
July - August 2012
developed an Android app prototype that sends real-time video and audio footage from a smartphone camera to support employees to improve customer support as part of the diploma project at HTL Dornbirn
IT support intern at Omicron in Klaus
August - September 2011
maintained and provided computer equipment for other employees
education
phd in computational logic at TU Wien
since 2023
investigating methods for solving formula equations in predicate logic under the supervision of Stefan Hetzl
master's degree in technical mathematics at TU Wien
2020 - 2023
graduated with distinction, 1.20 grade average
included courses on logic, stochastic processes, differential geometry, complex analysis, functional programming, logic programming, geometric data processing, analysis of algorithms, formal methods and more
bachelor's degree in technical mathematics at TU Wien
2016 - 2020
graduated with distinction, 1.16 grade average
included courses on basic and higher analysis, linear and abstract algebra, probability theory, statistics, numerical methods, discrete algorithms and more
bachelor's degree in media technology and design
at University of Applied Sciences Hagenberg2013 - 2016
graduated with distinction, 1.26 grade average
included courses on programming, web development, computer graphics, game design, image processing and more
matura (high school diploma) at HTL Dornbirn
2008 - 2013
graduated with distinction, 1.0 grade average
specialization in business information technology