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 an associated professor at the International Black Sea University, Tbilisi, Georgia. His research interests include semantic web, automated reasoning, computational logic and artificial intelligence in general. He has more than 20 publications in these areas and participated more than 30 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

• Symbolic Rewriting Methods for Safety and Security of Critical Cyber-Physical Systems (G6133), 2023-2026.
• Logic, Algebra and Truth Degrees (MG-ISE-23-899), 2023-2023.
• Unranked Probabilistic Theory (FR-22-4254), 2023-2026.
• Recursive Functions and Engineering Probabilistic Ontologies (STEM-22-1837), 2022-2024.
• Tolerance-Based Techniques for Approximate Reasoning (FR-21-16725), 2022-2025.
• Unranked Fuzzy Logic and its Applications (YS-19-367), 2019-2021.
• Design and Analysis of NTRU-based Cryptosystems Using Formal Methods (Tubitak 04/03), 2019-2021.
• Rule-Based Approach to Attribute-Based Access Control (FR17_439), 2017-2020.
• Automated and Interactive Theorem Proving in Schemata and Unranked Logics (FR/51/4-102/13), 2014-2017.
• Development of Theorem Prover for Formula Schemata (PG/6/4-102/13), 2013-2014.

Talks

• Similarity-based Set Matching, by Mikheil Rukhaia (Speaker), Temur Kutsia, Mircea Marin at XIII Annual International Conference of Georgian Mathematical Union, 2023, Batumi, Georgia.
• Tolerance-Based Techniques for Approximate Reasoning, by Mikheil Rukhaia (Speaker), Temur Kutsia, Mircea Marin at 19th International Conference Computability in Europe, 2023, Batumi, Georgia. (poster)
• Project Presentation: Recursive Functions and Ontology Engineering, by Mikheil Rukhaia (Speaker), Irakli Chitaia, Roland Omanadze at IEEE 19th International Conference on e-Science, 2023, Limassol, Cyprus. (poster)
• Unranked Probabilistic Theory: Project Presentation, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara, Lia Kurtanidze, Lali Tibua at 19th International Conference Computability in Europe, 2023, Batumi, Georgia. (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, 2023, Tbilisi, Georgia.
• Towards Similarity-based Set Unification, by Mikheil Rukhaia (Speaker), Temur Kutsia at XII Annual International Conference of Georgian Mathematical Union, 2022, Batumi, Georgia.
• Probabilistic Unranked Predicate Logic, by Lali Tibua (Speaker), Mikheil Rukhaia, Besik Dundua at XII International Conference of the Georgian Mathematical Union, 2022, Batumi, Georgia.
• Approximate Reasoning Techniques, by Mikheil Rukhaia (Speaker) at XXXVI International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, 2022, Tbilisi, Georgia.
• 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, 2021, Funchal, Madeira, Portugal.
• About Unranked Fuzzy Unification, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara at XI Annual International Conference of Georgian Mathematical Union, 2021, Batumi, Georgia.
• 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, 2021, Barcelona, Spain.
• 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, 2021, Tbilisi, Georgia (online).
• 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, 2020, Karabük, Türkiye (online).
• Unranked Fuzzy Logic and its Applications, by Mikheil Rukhaia (Speaker) at XXXIV Enlarged Sessions of the Seminar of I.Vekua Institute of Applied Mathematics, 2020, Tbilisi, Georgia (online).
• Towards Unranked Fuzzy Theory, by Mikheil Rukhaia (Speaker), Anriette Michel Fouad Bishara at IEEE International Conference on System Analysis & Intelligent Computing, 2020, Kiev, Ukraine (online).
• 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, 2019, Tbilisi, Georgia.
• Towards Formalization of ABACβ in PρLog, by Mikheil Rukhaia (Speaker) at X Annual International Conference of the Georgian Mathematical Union, 2019, Batumi, Georgia.
• About Modelling MaTRU-based Protocols in Maude-NPA, by Lia Kurtanidze (Speaker), Mikheil Rukhaia at X Annual International Conference of the Georgian Mathematical Union, 2019, Batumi, Georgia.
• Introduction to Maude-NRL, by Mikheil Rukhaia (Speaker) at SRNSFG-TUBITAK Project Workshop, 2019, Antalya, Türkiye.
• Unranked Nominal Unification, by Temur Kutsia (Speaker), Besik Dundua, Mikheil Rukhaia at Thirteenth International Tbilisi Symposium on Language, Logic and Computation, 2019, Batumi, Georgia.
• 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, 2019, Tbilisi, Georgia.
• Towards Integrating Attribute-Based Access Control into Ontologies, by Mikheil Rukhaia (Speaker), Besik Dundua at IEEE 2nd Ukraine Conference on Electrical and Computer Engineering, 2019, Lviv, Ukraine.
• Attribute-Based Access Control for Knowledge Representation, by Mikheil Rukhaia (Speaker) at Informatics and Communication Technologies Congress, 2018, Istanbul, Türkiye.
• 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, 2018, Batumi, Georgia.
• Logical Methods for Protocol Analysis, by Mikheil Rukhaia (Speaker) at XXXII International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics, 2018, Tbilisi, Georgia.
• 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, 2017, Tbilisi, Georgia.
• 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, 2017, Tbilisi, Georgia.
• Tableaux Calculus for Unranked Logics, by Lia Kurtanidze (Speaker), Mikheil Rukhaia at Twelfth International Tbilisi Symposium on Language, Logic and Computation, 2017, Lagodekhi, Georgia.
• Tableaux Calculus for Unranked Logics, by Lia Kurtanidze (Speaker), Mikheil Rukhaia at Students and Young Scientists Conference on Science and Modern Technologies, 2017, Tskaltubo, Georgia.
• Unranked Tableaux Calculus for Web Related Applications, by Besik Dundua (Speaker), Mikheil Rukhaia, Lia Kurtanidze at IEEE First Ukraine Conferenceon Electrical and Computer Engineering, 2017, Kiev, Ukraine .
• 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, 2016, Tbilisi, Georgia.
• Inductive Theorem Proving with Schemata, by Mikheil Rukhaia (Speaker) at First Erasmus+ International Credit Mobility Conference and Workshops, 2016, Braganca, Portugal.
• 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, 2016, Batumi, Georgia.
• Prover for Unranked Propositional Logic, by Mikheil Rukhaia (Speaker), Gela Chankvetadze at Application of Mathematics and Informatics in Natural Sciences and Engineering, 2015, Tbilisi, Georgia.
• Theorem Proving in Formula Schemata, by Mikheil Rukhaia (Speaker) at Fourth International Workshop on Proof Exchange for Theorem Proving, 2015, Berlin, Germany.
• Semi-Automated Construction of Proof Schemata, by Mikheil Rukhaia (Speaker), Gela Chankvetadze, Lia Kurtanidze at Eleventh International Tbilisi Symposium on Language, Logic and Computation, 2015, Tbilisi, Georgia.
• 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, 2015, Batumi, Georgia.
• 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, 2014, Tbilisi, Georgia.

Publications

• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Lia Kurtanidze, Mikheil Rukhaia, Skolemization in unranked logic, In: Bulletin of TICMI, vol. 22 (1), pp. 3–10, Tbilisi University Press, 2018.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.