Person
Dragana Milovancevic
This person has left EPFL
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
This person has left EPFL
I'm a PhD student in the LARA group at EPFL, under the supervision of Viktor Kuncak. My research interests are in the field of formal verification, and include equivalence checking and automated grading.CV http://lara.epfl.ch/~milovanc/dragana-milovancevic.pdf
Please note that this is not a complete list of this person’s publications. It includes only semantically relevant works. For a full list, please refer to Infoscience.
Viktor Kuncak, Simon Guilloud, Dragana Milovancevic, Mario Bucev
Viktor Kuncak, Dragana Milovancevic