I am a fourth 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).

Interests

  • Static verification
  • Programming languages
  • Type systems

Education

  • 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

Publications

Experience

  • Applied Scientist Intern at Amazon Prime Video Automated Reasoning Group, 08/2019 -- 12/2019.
    Topic: Lightweight Typestate Analysis
  • Software Engineer at 3Lateral, 10/2013 -- 11/2015.
    Topic: Mesh Processing

Projects

Unifying Correctness for Communicating Software (Contributor)

Theses

  • M.Sc. degree: Type Systems with Constraints for ML Type Inference with Implementation in Haskell
    supervised by Prof. Silvia Ghilezan