- Project Assistant
- TU Wien
- Institute for Logic and Computation
- Favoritenstraße 9–11
- 1040 Wien
- Austria
- Room: HA 03 07
- Email: miroslav.ms.stankovic [at] gmail.com
Research Interests
- Verification of Probabilistic Programs, Static Analysis
Current Position
- I am a PhD student in the Doctoral College Logical Methods in Computer Science, within FORSYTE research group.
Education
- BSc. Artificial Intelligence and Mathematics from University of Edinburg