A picture of Vesal

Vesal Vojdani

Institute of Computer Science
University of Tartu

Address: Liivi 2, 50409 Tartu, Estonia
Room: 426 (my calendar)
Phone: +372 737 5443
E-mail: vesal@ut.ee

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 .