Ph.D. Mikheil Rukhaia

Contact Info

Specific and Technical Skills

Languages
  • Georgian (Native), English (C1), Russian (B2), German (A1)
Technical Skills
  • Programming skills on Java, Scala, PHP, C#;
Education
  • PhD, Vienna University of Technology, Institute of Computer Languages, Faculty of Informatics, 2010-2012, Vienna, Austria
  • MSc, Vienna University of Technology, Institute of Computer Languages, Faculty of Informatics, 2008-2009, Vienna, Austria
  • MSc, New University of Lisbon, Faculty of Science and Technology, 2007-2008, Lisbon, Portugal
  • BSc., Tbilisi State University, Faculty of Exact and Natural Sciences, 2003-2007, Tbilisi, Georgia
Academic and Administrative Experience
  • Researcher, Tbilisi State University, Institute of Applied Mathematics, 2013-present
  • Invited Lecturer, Associate Professor, International Black Sea University, Faculty of Computer Technologies and Engineering, 2014-present
  • Researcher, Ecole Polytechnique, LIX / Inria Saclay Ile-de-France, 2013
  • Project Assistant, Vienna University of Technology, Institute of Computer Languages, 2010-2012
Research Interests
  • Proof Theory, Automated Reasoning, Semantic Web, Big Data and Arti cial Intelligence in general
Teaching Interests
  • Web technologies, Artificial Intelligence
Selected Publications
Journals
  • 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.
Proceedings
  • 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.

Books

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