Marjana Solajic

Researcher

Marjana Solajic

Marjana is a PhD 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.

Publications