I am a graduate student at the Max Planck Institute for Software Systems, advised by Rupak Majumdar. I am interested in analysis, verification, and testing of asynchronous software systems. I like to solve theoretical problems concerning mathematical models of software, as well as build practical tools for proving correctness, finding bugs, or synthesizing correct software.

I finished my undergraduate studies at the Department of Mathematics, University of Zagreb. 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.

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