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: ta.etysrofnull@okniramv
Web: http://forsyte.at/~marinkovic/

Latest News

FRIDA’15 Program

Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.

Continue reading

Full news archive