Miroslav Stankovic
I am a PhD student under the supervision of Laura Kovács and Ezio Bartocci. In 2018, I have graduated with BSc (Hons)
in Artificial Intelligence and Mathematics from the University of Edinburgh. My research is in the area of
Probabilistic Programs Verification and Static Analysis.