I am second year PhD student at University of Groningen (The Netherlands) under the supervision of Dr. Jorge A. Pérez and Prof. Gerard Renardel de Lavalette. My research work concerns tools for rigorous software development, in particular techniques for certifying correct and reliable communication-intensive software.
Prior to this, I developed Master thesis on the modular type inference algorithm for ML-like programming languages in Haskell supervised by Prof. Silvia Ghilezan at the Faculty of Technical Sciences (Novi Sad, Serbia).
MSc Applied Mathematics, 2017
Faculty of Technical Sciences, Novi Sad
MPRI Computer Science Master programme (exchange), 2016
Paris Diderot, Paris
BSc Computer Graphics, 2015
Faculty of Technical Sciences, Novi Sad
Minimal Session Types (with Jorge A. Pérez and Erik Voogd). ECOOP 2019. [DRAFT@arxiv (with appendices)]
Applied Scientist Intern at Amazon Prime Video Automated Reasoning Group, 08/2019 - Ongoing
Unifying Correctness for Communicating Software (Contributor)