Personne
Dragana Milovancevic
Cette personne a quitté l’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.
Cette personne a quitté l’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
Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.
Viktor Kuncak, Simon Guilloud, Dragana Milovancevic, Mario Bucev
Viktor Kuncak, Dragana Milovancevic