Expert Overview
Things I'm Doing
Talks I've Given
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.
 
Talks I've Given
-
Autograder for Functional Programming and Beyond
Featuring Dragana Milovancevic
In this talk, we present an automated approach for formally verifying the correctness of functional programming assignments.
software-development scala