In 2010, he defended his thesis here in Tartu, developing the Goblint static analyser. Meanwhile, he worked as a researcher at the Technische Universität München on the verification of embedded systems in the transportation domain. Vesal is interested in all things formal—and many things informal—as he teaches Formal Methods in Software Engineering.