Assistant Professor (Professional Track) – since September 2026 at Grigol Robakidze University GRUNI, (Georgia, Tbilisi)
Faculty: Artificial Intelligence
Assistant Professor (Professional Track) – since May 2025 at SEU - Georgian National University (Georgia, Tbilisi)
Faculty: Artificial Intelligence (Applications of AI, Machine Learning, Deep Learning, Natural Language Processing, Neural Networks)
Treasurer - since December 2025 at Kurt Goedel Society,
Publicity Chair - December 2024 - December 2025 at Kurt Goedel Society
Project Assistant (PhD student, 30 hours per week) at the Computational Logic Group, Institute of Discrete Mathematics and Geometry, TU Wien
(2026)
September 2026, 19th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Kutaisi, Georgia
April 28th, 2026, Kurt Gödel's Birthday Colloquium, TU Wien, Austria
(2025)
3-6, September 2025, 19th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Kutaisi, Georgia
1-5 September 2025, 19th edition of the European Conference on Logics in Artificial Intelligence (JELIA 2025), Kutaisi, Georgia
7-11, July 2025, Logic Colloquium 2025, TU WIEN, Austria
April 28th, 2025, Kurt Gödel's Birthday Colloquium, TU Wien, Austria
(2024)
9 -14, September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia
12-15, September 2024, 18th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia
Chairing Experience
7-11, July 2025, Logic Colloquium 2025, TU WIEN, Austria
12th, September 2024, 18th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia
Other Conferences Participated
(2025)
28-31 July 2025 Summer school on Reverse Mathematics and Computability, Vienna, Austria at the Schrödinger Institute esi
16-18 July 2025,The VOrST (The Vienna Oracle of Set Theory) at TU Wien, Austria 2025
14-15 July 2025, Shelah's 80th birthday conference at TU Wien, Austria 2025
(2024)
20 - 22 March 2024, A workshop on Proof, Argumentation, Computation, Modalities And Negation(PACM∧N), Verona, Italy
5–16, February 2024, Trends in Proof Theory 2024, TU Vienna, Austria
(2023)
7th of December 2023, Conference on Techniques from Logic in Mathematics, TU Wien, Vienna, Austria
5-6, October 2023, New Perspectives on Anomalies in the Sciences - remote
18-22, September 2023, 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia
15-16, September 2023, DaLi: Dynamic Logic - New trends and applications, Tbilisi, Georgia
11-15, September, Logic Algebra and Truth Degree ( LATD 2023), 2023 Tbilisi, Georgia
7-15, September 2023, 17th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel -Society, Tbilisi, Georgia
22-27, September 2014, 10th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia