Marjana is a Ph.D. candidate at the Faculty of Mathematics, University of Belgrade, Serbia, a teaching assistant at the Department for Computer Science at the Faculty of Mathematics, a researcher at Oracle Labs, and a member of the GraalVM team. Her research interest lies in software verification and analysis and automated reasoning.