Miroslav Stankovič

 
  • 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


Education

  • BSc. Artificial Intelligence and Mathematics from University of Edinburg