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.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 also enjoyed programming—especially in Haskell—and formal reasoning using the Isabelle/HOL proof assistant.
Connect on LinkedInRecent Posts
- Hello World - June 21, 2021
…or you can find more in the archives.