I am a PhD student at the “International Doctoral Program in Mathematics”- of Tbilisi State University and Georg-August-Universität Göttingen, working under the supervision of David Gabelaia. Before that I complete my MSc and BSc theses uder the supervision of David.
My current research focuses broadly on Modal Logic and closely related structures. In them I am particularly interested in Topological Semantics of Modal Logic, Temporal Logic, Hybrid Logic, Heyting Algebra, Lattice Theory. At this stage, I am working on the characterization of the structures obtained from finite strict linear orders and bounded morphisms among them. My research focuses on the axiomatization of such structures, the finite model property, the decidability problem, modal definability, corresponding topological spaces and algebraic structures, and related topics.
In Munich Center for Mathematical Philosophy I am working under the co-supervision of Hannes Leitgeb.