2021-2025 PhD in Mathematical Logic and Foundations of Computer Science

Université Paris Cité (France)
PhD Thesis (in progress): Axiom of Determinacy and Forcing Axioms

2020-2021 MSc in Mathematical Logic and Foundations of Computer Science

Université Paris Cité (France)
Master's Thesis: Projective Determinacy

2015-2019 BSc in Theoretical Mathematics and Applications

Faculty of Mathematics, University of Belgrade (Serbia)

2011-2015 High School

Mathematical Grammar School, Belgrade (Serbia)
Graduation Thesis: Real-valued Measurable Cardinals