I am a graduate student at the Max Planck Institute for Software Systems, advised by Rupak Majumdar. Currently I am doing research in automated verification of infinite-state systems—systems that arise naturally as models of software with unbounded number of threads, unbounded stacks, unbounded task pools etc. An example of infinite-state systems are Petri nets.

I finished my undergraduate studies at the University of Zagreb, Department of Mathematics. My advisor was Mladen Vuković and the topic of my diploma thesis was propositional dynamic logic.

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