Hi, I'm Jonas.
I am a PhD student at the University of Innsbruck in the Computational Logic (CL) research group advised by Aart Middeldorp.My main interest lies in theoretical computer science, especially term rewriting, program analysis, functional programming and logic. Furthermore, I enjoy programming especially in Haskell and proving things using the Isabelle/HOL proof assistant.
Recent Posts
- Hello World - June 21, 2021
…or you can find more in the archives.