Hi, I'm Jonas.

Since September 2025, I have been working as a Data/Software Scientist at Data Lab Hell, a research and technology organization. I earned a PhD in computer science from the University of Innsbruck, specializing in static program and confluence analysis using logically constrained term rewrite systems.

Before that, I was a research assistant (PhD student) at the University of Innsbruck in the Computational Logic (CL) research group, under supervision of Aart Middeldorp.

My research focused on theoretical computer science, particularly on term rewriting, program analysis, functional programming, and logic. I enjoy programming—especially in Haskell—and formal reasoning using the Isabelle/HOL proof assistant.

Connect on LinkedIn

Hi, I'm Jonas.

Recent Posts