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.

http://lara.epfl.ch/~milovanc/dragana-milovancevic.pdf