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.
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.
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)