Project Assistant, Vienna University of Technology, Institute of Computer Languages, 2010-2012
Proof Theory, Automated Reasoning, Semantic Web, Big Data and Articial Intelligence in general
Web technologies, Artificial Intelligence
Gela Chankvetadze, Lia Kurtanidze, and Mikheil Rukhaia. (2016). Semi-Automated Construction of Proof Schemata. Journal of Applied Mathematics, Informatics and Mechanics. 21(2), pp.83-91.
Jemal Antidze, Besik Dundua, Mikheil Rukhaia and Lali Tibua. (2016). Application of CLP(SC) in Membrane Computing. Journal of Technical Science and Technologies. 5(2), pp.7-12.
Besik Dundua, Khimuri Rukhaia, Mikheil Rukhaia and Lali Tibua. (2016). PrhoLog for Access Control. Journal of Technical Science and Technologies. 5(2), pp.41-44.
Besik Dundua, Lia Kurtanidze and Mikheil Rukhaia Unranked Tableaux Calculus and its Web-related Applications. IEEE Conference on Electrical and Computer Engineering. 2017. IEEE Xplore Digital Library. pp.1181-1184.
Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia and Daniel Weller Cut-elimination and proof schemata. Logic, Language, and Computation. 2015. vol. 8984 of LNCS, Springer Berlin Heidelberg. pp.117-136.
Tomer Libal, Martin Riener and Mikheil Rukhaia Advanced Proof Viewing in ProofTool. Eleventh Workshop on User Interfaces for Theorem Provers. 2014. vol. 167 of EPTCS. pp.35-47.
Stefan Hetzl, Tomer Libal, Martin Riener and Mikheil Rukhaia Understanding Resolution Proofs through Herbrand's Theorem. Automated Reasoning with Analytic Tableaux and Related Methods. 2013. vol. 8123 of LNCS. pp.157-171.
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Paleo ProofTool: a GUI for the GAPT Framework. 10th International Workshop On User Interfaces for Theorem Provers. 2012. vol. 118 of EPTCS. pp.1-14.
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Paleo System Feature Description: Importing Refutations into the GAPT Framework. Second International Workshop on Proof Exchange for Theorem Proving. 2012. vol. 878 of CEUR Workshop Proceedings. pp.51-57.
Mikheil Rukhaia. (2013). About Cut-Elimination in Schematic Proofs. A monograph. Saarbrucken, Germany: Lambert Academic Publishing. 978-3659425226
Mikheil Rukhaia. (2011). CERES and Fast Cut-Elimination. A monograph. Saarbrucken, Germany: VDM-Verlag. 978-3639332025
Membership in scientific and professional communities
Georgian Mathematical Union (since 2016)
Association for Automated Reasoning (since 2015)
Mathematical Review (since 2016)
Seminer and Events
ICCL Summer School "Bridging the Gap between Human and Automated Reasoning". Dresden, Germany. 2017
32nd International Conference on Logic Programming. New York, USA. 2016
First Erasmus+ International Credit Mobility Conference and Workshops. Braganca, Portugal. 2016
27th European Summer School in Logic, Language and Information. Barcelona, Spain. 2015
FourthWorkshop on Proof eXchange for Theorem Proving. Berlin, Germany. 2015
LIX Colloquium on the Theory and Application of Formal Proofs. Palaiseau, France. 2013
Automated Reasoning with Analytic Tableaux and Related Methods Conference. Nancy, France. 2013
Concepts and Meaning Workshop in honour of Alexander Leitsch's 60th Birthday. Vienna, Austria. 2012
ASAP Project Meeting. Grenoble, France. 2012
Workshop On User Interfaces for Theorem Provers. Bremen, Germany. 2012
Workshop on Structural and Computational Proof Theory. Innsbruck, Austria. 2011
New Trends in Logic Conference. Vienna, Austria. 2011
RISC/SCIEnce Summer School in Symbolic Computation. Hagenberg, Austria. 2009
Joint Moscow-Vienna Workshop on Logic and Computation. Vienna, Austria. 2009
Erasmus Mundus Conference - Climate Change and Higher Education. Budapest, Hungary. 2009
EMCL Student Workshop. Madrid, Spain. 2009
European Agent Systems Summer School. Lisbon, Portugal. 2008
Non-classical Logics: From Foundations to Applications Workshop. Pisa, Italy. 2008
EMCL Student Workshop. Lisbon, Portugal. 2008
2017-2020 Coordinator of research grant FR17_439 funded by SRNSF
2014 Principal Investigator of research grant PG/6/4-102/13 funded by SRNSF
2014-2017 Principal Investigator of research grant FR/51/4-102/13 funded by SRNSF
2007-2009 Erasmus Mundus scholarship holder for EMCL program.
Several traveling grant holder from RISC, Kurt Godel Society and DAAD