CV
Education
-
2020 - present
PhD
University of Belgrade, Faculty of Mathematics
- Mentor Milena Vujošević Janičić
-
2017 - 2020
MSc
University of Belgrade, Faculty of Mathematics
- Thesis "Semantic comparison of structurally similar imperative code segments"
- Mentor Milena Vujošević Janičić
-
2014 - 2017
BSc
University of Belgrade, Faculty of Mathematics
Work Experience
-
2023 - present
Senior Researcher
Oracle Labs, Belgrade
- General GraalVM Native Image development
- GraalOS
-
2021 - 2023
Researcher
Oracle Labs, Belgrade
- Java Platform Module System compatibility of GraalVM Native Image
- Startup improvements of Espresso, a metacircular JVM implemented using Truffle
-
2020 - present
Teaching Assistant
University of Belgrade, Faculty of Mathematics
- Programming Paradigms, Computer Networks, Functional Programming, Software Development II, Software Verification
-
2018 - 2020
Teaching Assistant trainee
University of Belgrade, Faculty of Mathematics
- OOP, Programming Paradigms, Computer Networks
Open Source Projects (see Projects and Repositories)
-
2015 - present
the-godfather
- A feature-rich general-purpose Discord bot
-
2019 - present
LINVAST
- A language-invariant AST abstraction with tools to create, use and visualize ASTs
Honors and Awards
-
2021
- Annual Honorary Mention of the Mathematical Institute of the Serbian Academy of Sciences and Arts in the field of computing for MSc students
-
2012 - 2018
- Scholarship of the Ministry of Education, Science and Technological Development
-
2014
- Diploma Vuk Karadžić, for distinguished performance in high school
-
2011
- Scholarship of the City of Užice
-
2010
- Student of the Generation awards in Mathematics, Physics, Chemistry and the English language
-
2008 - 2010
- 1st places in regional primary school Mathematics and English competitions
- 2nd places in regional primary school Physics and Chemistry competitions
Academic Interests
-
Programming languages
- Programming language design and implementation
- Functional programming
-
Software development, scaling and verification
- Enterprise software development ecosystems (.NET, Java)
- Microservice architecture
- Serverless architecture
Other Interests
- Hobbies: Computer games, Rally, Chess, Snooker