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

მიხეილ რუხაია

  • გამოყენებითი ლოგიკისა და პროგრამირების ლაბორატორიის
    ხელმძღვანელი / მთავარი მეცნიერი თანამშრომელი
  • ოფისი: ოთახი 226, უნივერსიტეტის ქ.11, 0186 თბილისი, საქართველო
  • ტელეფონი: (+995) 597 975 160
  • ელ.ფოსტა: mrukhaia@logic.at
  • სამეცნიერო ინტერესები: მტკიცებათა თეორია, ავტომატური მსჯელობა, სემანტიკური ქსელი

მოკლე ინფორმაცია

მიხეილმა დაამთავრა თბილისის სახელმწიფო უნივერსიტეტი და მიიღო ბაკალავრის ხარისხი მათემატიკაში. მან განაგრძო სწავლა მაგისტრატურაში Erasmus Mundus პროგრამით და ვენის ტექნოლოგიური უნივერსიტეტიდან მიიღო მაგისტრის ხარისხი გამოთვლით ლოგიკაში და შემდეგ დოქტორის ხარისხი კომპიუტერულ მეცნიერებაში. მან ერთი წელი გაატარა პოსტ-დოქტორანტურაში პარიზის პოლიტექნიკური უნივერსიტეტის ინფორმატიკის ლაბორატორიაში. ამჟამად მიხეილი არის თბილისის სახელმწიფო უნივერსიტეტის გამოყენებითი მათემატიკის ინსტიტუტის მთავარი მეცნიერი თანამშრომელი და შავი ზღვის საერთაშორისო უნივერსიტეტის ასოცირებული პროფესორი. მისი კვლევითი ინტერესები მოიცავს სემანტიკურ ქსელს, ავტომატურ მსჯელობას, გამოთვლილ ლოგიკას და ზოგადად ხელოვნურ ინტელექტს. მას აქვს 20 -ზე მეტი პუბლიკაცია ამ მიმართულებით და მონაწილეობა აქვს მიღებული 30 -ზე მეტ საერთაშორისო კონფერენციაში.
მიუხედავად იმისა, რომ მიხეილ რუხაია ახალგაზრდა მეცნიერია, იგი მონაწილეობდა ეროვნულ და საერთაშორისოდ დაფინანსებულ რამდენიმე კვლევით პროექტში, ხშირად როგორც პროექტის ხელმძღვანელი. ის არის დარგის რამდენიმე კონფერენციისა და ჟურნალის რეცენზენტი, ჩართულია საუნივერსიტეტო სწავლებაში და მუშაობს ბაკალავრიატის, მაგისტრატურისა და დოქტორამტურის სტუდენტებთან.

პროექტები

მოხსენებები

  • 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. (სტენდური)
  • 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. (სტენდური)
  • 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. (სტენდური)
  • 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.
  • 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.
  • 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.
  • 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.

პუბლიკაციები

  • 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.