Home
About
Projects
Static Analysis of mixed-granularity Locking Schemes using Abstract Interpretation
04.02.2026
On Pitfalls in Software Development Culture and Project Management
04.03.2025
Recent Updates
Game Engine
Publishing my past work and fundamental restructurings in a new language.