Dragana Milovancevic

SNSF Research Fellow, Imperial College London
Mailing address: 180 Queen's Gate, London SW7 2AZ, United Kingdom
Email: dragana.milovancevic@imperial.ac.uk
ORCID: https://orcid.org/0009-0003-0795-881X

CV: dragana-milovancevic.pdf

About me:
I am a postdoc at Imperial College London, working with Sophia Drossopoulou and Azalea Raad.
I did my PhD 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:

• D. Milovancevic. 2025. "Automated Induction for Proving Program Equivalence". PhD Thesis. (pdf)
• D. Milovancevic, M. Bucev, M. Wojnarowski, S. Chassot and V. Kuncak. 2025. "Formal Autograding in a Classroom". In European Symposium on Programming. (ESOP), 2025. (pdf) (artifact) (slides)
• D. Milovancevic, C. Fuhs, M. Bucev and V. Kuncak. 2024. "Proving Termination via Measure Transfer in Equivalence Checking". In Integrated Formal Methods. (iFM), 2024. (pdf) (artifact) (slides)
• S. Guilloud, M. Bucev, D. Milovancevic and V. Kuncak. 2023. "Formula Normalizations in Verification". In Computer Aided Verification. (CAV), 2023. (pdf)
• D. Milovancevic and V. Kuncak. 2023. "Proving and Disproving Equivalence of Functional Programming Assignments". In ACM SIGPLAN Conference on Programming Language Design and Implementation. (PLDI), 2023. (pdf) (artifact) (slides)

Teaching:

• EPFL (as a Doctoral Assistant)
  • Functional Programming: Fall 2022, Fall 2021 (head TA), Fall 2020
  • Parallelism and Concurrency: Spring 2022 (head TA), Spring 2021
  • Practice of Object-Oriented Programming: Spring 2020
• University of Belgrade (as a Teaching Assistant)
  • Functional Programming: Spring 2019 (instructor and sole TA)
  • Computer Graphics: Spring 2019 (sole TA), Spring 2018 (sole TA)
  • Intelligent Systems: Fall 2018, Fall 2017
  • Computer Systems Performance: Spring 2018
  • Object-Oriented Programming 1: Fall 2017
  • Algorithms and Data Structures 1/2: Spring 2019, Fall 2018, Spring 2018
  • Programming 1/2: Spring 2019, Fall 2018, Spring 2018, Fall 2017
• University of Belgrade (as a Student Assistant)
  • Practicum in Programming 1/2: Fall 2014, Spring 2015, Fall 2015, Spring 2016, Fall 2016, Spring 2017
  • Algorithms and Data Structures 1/2: Spring 2015, Fall 2015, Spring 2016, Fall 2016, Spring 2017
  • Object-Oriented Programming 1/2: Fall 2015, Spring 2016, Fall 2016, Spring 2017
  • Computer Architecture and Organization 1: Fall 2016
  • Databases 1: Fall 2016
  • Software Design: Fall 2016