This page collects projects and publications made over time.
2020
- Paracooba @FMV, Multi-Core Distributed Multi-Problem Cube-And-Conquer SAT-Solver, Won Best Presentation Award
2018
- Bachelor Thesis „Static Analysis of Physically Constrained Software Systems Using SMT“ (FMV, JKU Linz) (Backup Permalink)
- VERNER Rover (HARPTech, private project)
2017
- PiGaCo (private project; waiting for stabilizing linux graphics stack with wayland)
2016
- VWA „Online-Individualfeedback von SchülerInnen an LehrerInnen in einer Schule“ (Europagymnasium Auhof, Linz)