Dragana Milovančević is a PhD student in the LARA group at EPFL, under the supervision of Viktor Kunčak. Previously, she received her master's degree from the University of Belgrade. Her research interests are in the field of formal verification, where she applies equivalence checking to a variety of domains, including automated grading.