Institute of Computer Science
University of Tartu
Address: Liivi 2, 50409 Tartu, Estonia
Room: 426 (my calendar)
Phone: +372 737 5443
I am a researcher at the Programming, Languages, and Systems group at the University of Tartu,
specializing in the formal and informal verification of software systems.
My friends know me as the sole co-creator and chief technology evangelist of the Goblint
static analysis framework.
For University of Tartu students who genuinely care about
the software they produce, I recommend the following courses:
This page is not entirely up-to-date. I will update this on .