Vedran Marinkovic

Project Assistant

I am a PhD student supervised by Florian Zuleger and co-supervised by Benjamin Aminof. Before, I have obtained a Dipl.-Ing. degree in Computer Science from TU Wien.

I am working on formal methods for verification and synthesis of multi-agent systems.

Address:
Vedran Marinkovic
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: +43 (1) 58801 – 192 412
Email: vmarinko@forsyte.at
Web: http://forsyte.at/~marinkovic/

Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive