info@viam.science.tsu.ge (+995 32) 2 30 30 40 (+995 32) 2 18 66 45

Mikheil Rukhaia

  • Applied Logic and Programming Laboratory
    Head / Chief Researcher
  • Office: room 208, University str.11, 0186 Tbilisi, Georgia
  • Phone: (+995) 597 975 160
  • E-mail: mrukhaia@logic.at
  • Research fields: Proof Theory, Automated Reasoning, Cyber-Physical Systems Verification

Summary

Mikheil has graduated from Tbilisi State University and obtained his Bachelor degree in Mathematics. He continued Master's study with Erasmus Mundus program and from Vienna University of Technology first he got Master's degree in Computational Logic and then PhD degree in Computer Science. He has spent a year of his post-doc at INRIA saclay Ile-de-france in the Laboratory of Informatics, Ecole Polytechnique. Currently, Mikheil is a chief researcher at the Institute of Applied Mathematics, Tbilisi State University and a professor at the Business and Technology University, Tbilisi, Georgia. His research interests include cyber-physical systems verification, automated reasoning, computational logic and artificial intelligence in general. He has more than 20 publications in these areas and participated more than 50 international conferences.
Despite the fact, that Mikheil Rukhaia is a young researcher, he has been involved in several nationally and internationally funded research projects, often as the principal investigator. He is a reviewer of several conferences and journals in his field, is involved in the university teaching in Georgia and works with Bachelor, Master and PhD students.

Projects

Talks

  • Towards Cut-Elimination in Probabilized Unranked Sequent Calculus, by Mikheil Rukhaia (Speaker) at 40th International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics of Ivane Javakhisvili Tbilisi State University, Tbilisi, Georgia, 22-24 April, 2026.
  • Unranked Probabilistic Logic and its Applications, by Merium Hazem Anwar Labib Bishara (Speaker), Lia Kurtanidze, Mikheil Rukhaia, Lali Tibua at South Caucasus Conference on Artificial Intelligence, Tbilisi, Georgia, 16-18 September, 2025.
  • Non-classical Reasoning Techniques, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara, Lia Kurtanidze, Lali Tibua at Computability in Europe, Lisbon, Portugal, 14-18 July, 2025.
  • Non-classical approach in non-classical logics, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara, Lia Kurtanidze, Lali Tibua at Logic Colloquium, Vienna, Austria, 07-11 July, 2025.
  • Verification of cyber-physical systems in Maude, by Mikheil Rukhaia (Speaker) at XXXIX International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics of Ivane Javakhisvili Tbilisi State University, Tbilisi, Georgia, 23-25 April, 2025.
  • Probabilized Unranked Sequent Calculus, by Mikheil Rukhaia (Speaker), Lia Kurtanidze, Lali Tibua, Merium Hazem Anwar Labib Bishara at 13th Conference Logic and Applications 2024, Dubrovnik, Croatia, 23-27 September, 2024.
  • Rewriting Logic with Quantitative Relations, by Mikheil Rukhaia (Speaker) at XIV Annual International Conference of the Georgian Mathematical Union, Batumi, Georgia, 02-07 September, 2024.
  • First-Order Probabilistic Logic With Sequence Variables and Unranked Symbols, by Mikheil Rukhaia (Speaker), Lali Tibua, Lia Kurtanidze, Merium Hazem Anwar Labib Bishara at Advances in Modal Logic, Prague, Czech Republic, 19-23 August, 2024.
  • About verification techniques of cyber-physical systems, by Mikheil Rukhaia (Speaker), Besik Dundua, Tatia Dundua at XXXVIII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 22-24 April, 2024.
  • Project Presentation: Recursive Functions and Ontology Engineering, by Mikheil Rukhaia (Speaker), Irakli Chitaia, Roland Omanadze at IEEE 19th International Conference on e-Science, Limassol, Cyprus, 09-13 October, 2023. (poster)
  • Similarity-based Set Matching, by Mikheil Rukhaia (Speaker), Temur Kutsia, Mircea Marin at XIII Annual International Conference of Georgian Mathematical Union, Batumi, Georgia, 04-09 September, 2023.
  • Unranked Probabilistic Theory: Project Presentation, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara, Lia Kurtanidze, Lali Tibua at 19th International Conference Computability in Europe, Batumi, Georgia, 24-28 July, 2023. (poster)
  • Tolerance-Based Techniques for Approximate Reasoning, by Mikheil Rukhaia (Speaker), Temur Kutsia, Mircea Marin at 19th International Conference Computability in Europe, Batumi, Georgia, 24-28 July, 2023. (poster)
  • Unranked Probabilistic Theory: Project Presentation, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara, Lia Kurtanidze, Lali Tibua at XXXVII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 19-22 April, 2023.
  • Towards Similarity-based Set Unification, by Mikheil Rukhaia (Speaker), Temur Kutsia at XII Annual International Conference of Georgian Mathematical Union, Batumi, Georgia, from 29 August to 03 September, 2022.
  • Probabilistic Unranked Predicate Logic, by Lali Tibua (Speaker), Mikheil Rukhaia, Besik Dundua at XII International Conference of the Georgian Mathematical Union, Batumi, Georgia, from 29 August to 03 September, 2022.
  • Approximate Reasoning Techniques, by Mikheil Rukhaia (Speaker) at XXXVI International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 19-21 April, 2022.
  • A Fuzzy Logic with Sequence Variables and Flexible-arity Symbols, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara at Proof Society Workshop on Proof Theory and its Applications, Funchal, Madeira, Portugal, from 29 November to 04 December, 2021.
  • About Unranked Fuzzy Unification, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara at XI Annual International Conference of Georgian Mathematical Union, Batumi, Georgia, 23-28 August, 2021.
  • About Terminating Unranked Fuzzy Tableaux, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara at 34th BARCELONA International Conference on Futuristic Trends in Science, Engineering & Technology, Barcelona, Spain, 11-13 August, 2021.
  • Unranked Fuzzy Reasoning, by Anriette Michel Fouad Bishara (Speaker), Mikheil Rukhaia at XXXV International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia (online), 21-24 April, 2021.
  • Towards Unranked Fuzzy Theory, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara at IEEE International Conference on System Analysis & Intelligent Computing, Kiev, Ukraine (online), 05-09 October, 2020.
  • Unranked Fuzzy Logic and its Applications, by Mikheil Rukhaia (Speaker) at XXXIV Enlarged Sessions of the Seminar of I.Vekua Institute of Applied Mathematics, Tbilisi, Georgia (online), 16-19 September, 2020.
  • Post-Quantum Cryptosystems and Their Formal Analysis, by Mikheil Rukhaia (Speaker), Sedat Akleylek, Besik Dundua at 3rd International Conference on Advanced Technologies, Computer Engineering and Science, Karabük, Türkiye (online), 03-05 June, 2020.
  • Specification and Analysis of ABAC Policies in a Rule-Based Framework, by Mircea Marin (Speaker), Besik Dundua, Temur Kutsia, Mikheil Rukhaia at International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering, Tbilisi, Georgia, 23-26 September, 2019.
  • Unranked Nominal Unification, by Temur Kutsia (Speaker), Besik Dundua, Mikheil Rukhaia at Thirteenth International Tbilisi Symposium on Language, Logic and Computation, Batumi, Georgia, 16-20 September, 2019.
  • About Modelling MaTRU-based Protocols in Maude-NPA, by Lia Kurtanidze (Speaker), Mikheil Rukhaia at X Annual International Conference of the Georgian Mathematical Union, Batumi, Georgia, 02-06 September, 2019.
  • Towards Formalization of ABACβ in PρLog, by Mikheil Rukhaia (Speaker) at X Annual International Conference of the Georgian Mathematical Union, Batumi, Georgia, 02-06 September, 2019.
  • Introduction to Maude-NRL, by Mikheil Rukhaia (Speaker) at SRNSFG-TUBITAK Project Workshop, Antalya, Türkiye, 05-09 August, 2019.
  • Towards Integrating Attribute-Based Access Control into Ontologies, by Mikheil Rukhaia (Speaker), Besik Dundua at IEEE 2nd Ukraine Conference on Electrical and Computer Engineering, Lviv, Ukraine, 01-06 July, 2019.
  • Maude-NPA and Formal Analysis of NTRU-based Protocols , by Mikheil Rukhaia (Speaker) at XXIII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 23-25 April, 2019.
  • Attribute-Based Access Control for Knowledge Representation, by Mikheil Rukhaia (Speaker) at Informatics and Communication Technologies Congress, Istanbul, Türkiye, 13-16 December, 2018.
  • Rule-Based Techniques in Access Control, by Mikheil Rukhaia (Speaker) at IX Annual International Conference of the Georgian Mathematical Union Dedicated to 100th Anniversary of Ivane Javakhishvili Tbilisi State University, Batumi, Georgia, 03-08 September, 2018.
  • Logical Methods for Protocol Analysis, by Mikheil Rukhaia (Speaker) at XXXII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 18-20 April, 2018.
  • Towards Protocol Analysis in Pρlog, by Mikheil Rukhaia (Speaker), Besik Dundua, Khimuri Rukhaia at Workshop on Practical and Theoretical Aspects of Cryptography and Information Security, Tbilisi, Georgia, 06-09 December, 2017.
  • Tableaux Calculus for Unranked Logics, by Lia Kurtanidze (Speaker), Mikheil Rukhaia at Twelfth International Tbilisi Symposium on Language, Logic and Computation, Lagodekhi, Georgia, 18-22 September, 2017.
  • Unranked Tableaux Calculus for Web Related Applications, by Besik Dundua (Speaker), Mikheil Rukhaia, Lia Kurtanidze at IEEE First Ukraine Conferenceon Electrical and Computer Engineering, Kiev, Ukraine , from 29 May to 02 June, 2017.
  • Cut-elimination in Calculus of Structures, by Mikheil Rukhaia (Speaker) at XXXI International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics Dedicated to the 110th Birthday Anniversary of Academician Ilia Vekua, Tbilisi, Georgia, 19-21 April, 2017.
  • Tableaux Calculus for Unranked Logics, by Lia Kurtanidze (Speaker), Mikheil Rukhaia at Students and Young Scientists Conference on Science and Modern Technologies, Tskaltubo, Georgia, 24-26 February, 2017.
  • Automated Theorem Prover for Unranked Logics, by Mikheil Rukhaia (Speaker), Gela Chankvetadze, Lia Kurtanidze at VII International Joint Conference of the Georgian Mathematical Union and the Georgian Mechanical Union Dedicated to 125-th Birthday Anniversary of Academician N. Muskhelishvili, Batumi, Georgia, 05-09 September, 2016.
  • Proof Consturction in First-Order Unranked Logic, by Mikheil Rukhaia (Speaker), Gela Chankvetadze at XXX International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 20-22 April, 2016.
  • Inductive Theorem Proving with Schemata, by Mikheil Rukhaia (Speaker) at First Erasmus+ International Credit Mobility Conference and Workshops, Braganca, Portugal, from 28 February to 12 March, 2016.
  • Prover for Unranked Propositional Logic, by Mikheil Rukhaia (Speaker), Gela Chankvetadze at Application of Mathematics and Informatics in Natural Sciences and Engineering, Tbilisi, Georgia, 11-13 November, 2015.
  • Semi-Automated Construction of Proof Schemata, by Mikheil Rukhaia (Speaker), Gela Chankvetadze, Lia Kurtanidze at Eleventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia, 21-26 September, 2015.
  • Theorem Proving in Formula Schemata, by Mikheil Rukhaia (Speaker) at Fourth International Workshop on Proof Exchange for Theorem Proving, Berlin, Germany, 02-03 August, 2015.
  • About Correspondence Between Proof Schemata and Unranked Logics, by Lia Kurtanidze (Speaker), Gela Chankvetadze, Mikheil Rukhaia at VI Annual International Conference of the Georgian Mathematical Union, Batumi, Georgia, 12-16 June, 2015.
  • On the Theorem Proving Techniques in Formula Schemata, by Mikheil Rukhaia (Speaker) at XXVIII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, Tbilisi, Georgia, 22-24 April, 2014.

Publications

  • Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin, Efficient Verification of Lingua Franca Programs, In: Junges, S., Katz, G. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2026. Lecture Notes in Computer Science, vol 16506, pp.23-41, Springer, 2026. https://doi.org/10.1007/978-3-032-22749-2_2
  • Merium Hazem Anwar Labib Bishara, Lia Kurtanidze, Mikheil Rukhaia, Lali Tibua, Unranked Probabilistic Logic and its Applications, Lecture Notes of TICMI, vol.27, pp.71-81, Tbilisi University Press, 2026. https://viam.science.tsu.ge/publishing/lecture/vol27/6%20Rukhaia.pdf
  • Emmanuelle Lipka, Roberto Dallocchio, Barbara Sechi, Mikheil Rukhaia, Giorgi Jibuti, Bezhan Chankvetadze, Victor Mamane, Paola Peluso, Insights Into the Enantioseparation of Polyhalogenated 4,4′-Bipyridines With a Cellulose Tris(3,5-Dimethylphenylcarbamate)-Based Chiral Column by Using Supercritical Fluid Chromatography, ELECTROPHORESIS, vol. 46, no. 11–12, pp. 702–715, Wiley, 2025. https://doi.org/10.1002/elps.8156
  • Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic, In: Lee, E.A., Mousavi, M.R., Talcott, C. (eds) Rebeca for Actor Analysis in Action. Lecture Notes in Computer Science, vol.15560, pp.70-101, Springer, 2025. https://doi.org/10.1007/978-3-031-85134-6_4
  • Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia, Enumerating All Maximal Clique-Partitions of an Undirected Graph, H. Cheval, L. Leus¸tean, A. Sipos¸ (Eds.): 7th Symposium on Working Formal Methods (FROM 2023), EPTCS 389, 2023, pp. 65–79, Open Publishing Association, 2023. https://doi.org/10.48550/arXiv.2309.13800
  • Irakli Chitaia, Roland Omanadze, Mikheil Rukhaia, Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies, Proceedings of IEEE 19th International Conference on e-Science, IEEE, 2023. 10.1109/e-Science58273.2023.10254905
  • Mikheil Rukhaia, Anriette Michel Fouad Bishara, Unranked Fuzzy Logic and Reasoning, In: Zgurovsky, M., Pankratova, N. (eds) System Analysis & Intelligent Computing: Theory and Applications. Studies in Computational Intelligence, vol 1022, pp.339-353, Springer, 2022. 10.1007/978-3-030-94910-5_17
  • Besik Dundua, Temur Kutsia, Mikheil Rukhaia, Unranked Nominal Unification, In: Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol 13206, pp.279-296, Springer, 2022. 10.1007/978-3-030-98479-3_14
  • Mikheil Rukhaia, Lali Tibua, Besik Dundua, Star Types: A Type System for Pattern Calculus with Finitary Matching, Applied Mathematics, Informatics and Mechanics, vol 25(2), Tbilisi University Press, 2020. https://www.viam.science.tsu.ge/Ami/2020_2/2020_2.htm
  • Mikheil Rukhaia, Anriette Michel Fouad Bishara, Towards Unranked Fuzzy Theory, In proceedings of IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC 2020), IEEE, 2020. 10.1109/SAIC51296.2020.9239168
  • Besik Dundua, Temur Kutsia, Mircea Marin, Mikheil Rukhaia, Specification and Analysis of ABAC Policies in a Rule-Based Framework, Springer Proceedings in Mathematics & Statistics, vol 334, pp.101-116, Springer, 2020. 10.1007/978-3-030-56356-1_7
  • Besik Dundua, Mikheil Rukhaia, Towards Integrating Attribute-Based Access Control into Ontologies, In IEEE 2nd Ukraine Conference on Electrical and Computer Engineering, pp. 1052-1056, IEEE, 2019. 10.1109/UKRCON.2019.8879922
  • Anriette Michel Fouad Bishara, Lia Kurtanidze, Mikheil Rukhaia, Reasoning Methods in Semantic Web, International Journal of Engineering and Applied Sciences, vol 5(4), pp. 48-51, IJEAS, 2018. https://www.ijeas.org/download_data/IJEAS0504014.pdf
  • Lia Kurtanidze, Mikheil Rukhaia, Skolemization in unranked logic, In: Bulletin of TICMI, vol. 22 (1), pp. 3–10, Tbilisi University Press, 2018. http://www.viam.science.tsu.ge/others/ticmi/blt/vol22_1/p3-10.pdf
  • Besik Dundua, Lia Kurtanidze, Mikheil Rukhaia, Unranked Tableaux Calculus for Web Related Applications, In IEEE First Ukraine Conference on Electrical and Computer Engineering, pp. 1181-1184, IEEE, 2017. https://doi.org/10.1109/UKRCON.2017.8100435
  • Besik Dundua, Khimuri Rukhaia, Mikheil Rukhaia, Lali Tibua, PρLog for Access Control, In: Journal of Technical Science and Technologies, vol. 5 (2), pp. 41–44, IBSU, 2017. https://jtst.ibsu.edu.ge/jms/index.php/jtst/article/view/108
  • Jemal Antidze, Besik Dundua, Mikheil Rukhaia, Lali Tibua, Application of CLP(SC) in Membrane Computing, In: Journal of Technical Science and Technologies, vol. 5 (2), pp. 7–12, IBSU, 2017. https://jtst.ibsu.edu.ge/jms/index.php/jtst/article/view/101
  • Gela Chankvetadze, Lia Kurtanidze, Mikheil Rukhaia, Proof Construction in Unranked Logic, In: Jangveladze, Temur and Kiguradze, Zurab (eds.): Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 30. pp. 11–14, Tbilisi University Press, 2016. http://www.viam.science.tsu.ge/enl_ses/vol30/chankvetadze.pdf
  • Gela Chankvetadze, Lia Kurtanidze, Mikheil Rukhaia, Semi-Automated Construction of Proof Schemata, In: Journal of Applied Mathematics, Informatics and Mechanics, vol. 21 (2), pp. 83–91, Tbilisi University Press, 2016. http://viam.science.tsu.ge/Ami/2016_2/rukhaia.pdf
  • Lia Kurtanidze, Mikheil Rukhaia, About Correspondence Between Proof Schemata and Unranked Logics, In: Jangveladze, Temur and Kiguradze, Zurab (eds.): Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 29. pp. 72–75, Tbilisi University Press, 2015. http://www.viam.science.tsu.ge/enl_ses/vol29/Kurtanidze_Rukhaia.pdf
  • Mikheil Rukhaia, Towards Theorem Proving Techniques in Formula Schemata, In Jangveladze, Temur and Kiguradze, Zurab (eds.): Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 28. pp. 102–105, Tbilisi University Press, 2014. http://www.viam.science.tsu.ge/enl_ses/vol28/rukhaia.pdf
  • Tomer Libal, Martin Riener, Mikheil Rukhaia, Advanced Proof Viewing in PROOFTOOL, In Christoph Benzmüller and Bruno Woltzenlogel Paleo: Proceedings Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), EPTCS vol. 167, pp. 35-47, Electronic Proceedings in Theoretical Computer Science, 2014. http://dx.doi.org/10.4204/EPTCS.167.6