Academia
This page is a manual overview over my academic publications and services. I try to keep this page as complete and correct as possible. Please also see my Google Scholar, ORCID, and Institute page.
Publications
- TACAS'23: ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving
- PAAR'22: QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers
- RRRR'22: Reproducible Cluster (less) Speedup Analysis
- MPLR'2020: SymJEx: symbolic execution on the GraalVM
- SAT'20: Distributed Cube and Conquer with Paracooba
Teaching
- Founded the Missing Semester course at the JKU in 2022
- JKU Java introductory course 2021, 2022, 2023
- TA for Formal Models in the JKU
- Browser-based tooling for teaching, such as Limboole on the Go
Awards
- Adolf Adam Award 2022 for the best Master's Thesis in Computer Science
- Bachelors and Masters degrees with distinction
- Best Presentation Award at SAT'20 for my Paracooba presentation