Home

Hi! I am a researcher at Microsoft (PROSE team) and a PhD student at forsyte group at TU Wien, originally from Croatia. Here is my university page.

Contact me via email: first_name@last_name.com.

My public key.

News

February 2018.

A paper "Automated Clustering and Program Repair for Introductory Programming Assignments", co-authored with Sumit Gulwani and Florian Zuleger was conditionally accepted to PLDI'18.

October 2017.

A paper "Monadic refinements for relational cost analysis", co-authored with Gilles Barthe, Marco Gaboardi, Deepak Garg, and Florian Zuleger was presented at POPL'18. (see paper & appendix)