About

Welcome!

I am a graduate student at the Max Planck Institute for Software Systems. My advisor is Ružica Piskač, head of the Synthesis, Analysis and Automated Reasoning group. Currently I am doing research in automated verification of safety properties for abstract structures such as Petri nets. This is just part of my general interest in improving software reliability.

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.

Publications