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.

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

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

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive