I am a postdoctoral researcher in Rajeev Alur's group at the University of Pennsylvania. I am broadly interested in the analysis, verification, and testing of concurrent software systems.

Previously, I was a doctoral researcher at the Max Planck Institute for Software Systems advised by Rupak Majumdar. Even before, I finished my undergraduate studies at the Department of Mathematics, University of Zagreb.

You can check out my curriculum vitae. I am also present on LinkedIn, Facebook, and GitHub.

If you like puzzles (like I do), try this one.


At the MPI-SWS, I was involved in the following classes.