I am a fourth year PhD student at University of Groningen (The Netherlands) under the supervision of Prof. 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).


  • Static verification
  • Programming languages
  • Type systems


  • MSc Applied Mathematics, 2017

    Faculty of Technical Sciences, Novi Sad

  • MPRI Computer Science Master programme (exchange), 2016

    Paris Diderot

  • BSc Computer Graphics, 2015

    Faculty of Technical Sciences, Novi Sad

Conference Papers



Research Engineer

3Lateral / Epic Games

Nov 2022 – Present Novi Sad, Serbia
Topic: Computer Graphics / ML

Research Engineer Intern

3Lateral / Epic Games

Jun 2022 – Nov 2022 Pittsburgh, USA (Remote)
Topic: Compiler for ML models in MLIR

Applied Scientist Intern

Amazon Prime Video
Automated Reasoning Group

Aug 2019 – Dec 2019 London, UK
Topic: Log leakage analysis

Software Engineer


Oct 2013 – Nov 2015 Novi Sad, Serbia
Topic: Mesh Processing