Miroslav Stankovic

Project Assistant

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.

Miroslav Stankovic
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: (how to get there)
Email: mstankov@forsyte.at
Web: http://forsyte.at/~Stankovic/

Latest News

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

Full news archive