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:

• Mathematical logic

• Proof theory

• Epsilon calculus

• Intermediate logics

• Goedel  logics

• Analysis of Incorrect proofs

• Skolemization

• Shift of  quantifiers

• LTL

• Infinitary logic

• Generalizing proofs