Since December 2023, I have been a Ph.D. student at the Institute of Discrete Mathematics and Geometry (Computational Logic research group ) at the Vienna University of Technology, Austria, under the supervision of Ao.Univ.Prof. Dr. Matthias Baaz, working on the project "Goedel logics: the prenex forms".

I have obtained a Master's degree in Mathematics at the University of Milan, Italy, under the supervision of Prof. Silvio Ghilardi and Bachelor's degree of Science in Mathematics at the Ivane Javakhishvili Tbilisi State University, Georgia. 

Interests:

• Logic and Foundations of Mathematics 

• History of Mathematics

• Proof theory

• Epsilon calculus

• Intermediate logics (Goedel  logics)

• Analysis of Incorrect proofs

• Skolemization and Shift of  quantifiers

• Modal Logics (LTL, Quantified S5)

• Substructural logics ( MTL)

• Interpolation

• Infinitary logic

• Generalizing proofs