Dragana Milovancevic

Dragana Milovancevic

Doctoral Assistant, Laboratory for Automated Reasoning and Analysis (LARA), EPFL
Mailing address: EPFL IC LARA BC 355, Station 14, 1015 Lausanne, Switzerland
Email: dragana.milovancevic@epfl.ch
ORCID: https://orcid.org/0009-0003-0795-881X

CV: dragana-milovancevic.pdf

About me:
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.

Publications:

Full publication list (including workshop papers and early papers in Serbian)

Teaching: