Temur Kutsia

Teaching in Winter Semester 2025

• Mathematical Logic, lecture and exercises, jointly with Tudor Jebelean.
• Symbolic Constraint Solving.
• Logic Programming.
• Formal methods and automated reasoning, seminar, jointly with Wolfgang Schreiner and Wolfgang Windsteiger.

Courses at International Summer Schools

• Symbolic techniques for solving quantitative constraints. Course at the EuroProofNet Summer School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions, July 7–11, 2025. Kutaisi, Georgia.
• Proving and Solving in Unranked Logic Theories. Course at the International Summer School in Logic, Language, and Artificial Intelligence, LLAI 2019, September 9–14, 2019. Tbilisi, Georgia.
• Automated reasoning. Course at the Winter School on Theoretical Foundations of Computer Science, TFCS 2019, February 4–9, 2019. Tbilisi, Georgia.
• Solving Equational Problems. Course at the 9th International School on Rewriting, ISR 2017, July 3–9, 2017. Eindhoven, The Netherlands.
• Matching, Unification, and Generalizations. Course at the 6th International School on Rewriting, ISR 2012, July 16–20, 2012. Valencia, Spain.
• Unification. Course at the 7th International Tbilisi Summer School in Logic and Language, Tbilisi 2011, September 19–23, 2011. Tbilisi, Georgia.
• Series of lectures on Unification at the Third and Fourth RISC/SCIEnce Training Schools in Symbolic Computation. July 2008, 2009, Hagenberg, Austria.
• Unification Theory. One-week course at the 19th European Summer School in Logic, Language and Information, ESSLLI 2007. August 2007, Trinity College, Dublin, Ireland.

Old courses

• Johannes Kepler University Linz:
  • Algebraic and Discrete Methods in Biology (SS2007, SS2008, SS2009)
  • Automated Reasoning (lecture and exercises) (WS2013, WS2015, WS2017, WS2020, WS2021, since WS2022 every third semester)
  • Automated Reasoning Systems (SS2007, SS2011, SS2013)
  • Computational Logics for Artificial Intelligence (WS2021, WS2022, WS2023)
  • Design and analysis of algorithms (WS2018, WS2020, WS2022)
  • Functional programming (Since SS2019, every year)
  • Information Systems (WS2007, WS2008)
  • Logic Programming (Since WS2002, every year)
  • Mathematical Logic (lecture and exercises) (WS2021, since WS2022 every third semester)
  • Programming in Mathematica (SS2016-SS2021, every year)
  • Rewriting in Computer Science and Logic (Since SS2013, odd years)
  • Selected Algorithms (seminar, WS2006, WS2007, SS2009, SS2012)
  • Unification Theory (SS2008-SS2024, even years)
• Tbilisi State University:
  • Logic Programming (SS1998)
  • Programming languages (SS1998)

Advised Students

• Andrés Felipe González Barragán (PhD, University of Brasilia, finished in 2025. Co-advisor: Mauricio Ayala-Rincón)
• Cleo Pau (PhD, Johannes Kepler University Linz, finished in 2022. Thesis.)
• Alexander Baumgartner (PhD, Johannes Kepler University Linz, finished in 2015. Thesis.)
• Besik Dundua (PhD, University of Porto, finished in 2014. Co-advisor: Mário Florido. Thesis.)
• Ahmed Taha (MSc, Johannes Kepler University Linz, 2019)
• Ibrahim Hindi (MSc, Johannes Kepler University Linz, 2019)
• Daniel Sebastian San Martin (MSc, Johannes Kepler University Linz, 2018)
• Michaela Stanoiu (MSc, Johannes Kepler University Linz, 2018)
• Salman ElDash (MSc, Johannes Kepler University Linz, 2018)
• Ahmed ElFiky (MSc, Johannes Kepler University Linz, 2018)
• Ching Yi Chang (MSc, Johannes Kepler University Linz, 2018)
• Alia Adly (MSc, Johannes Kepler University Linz, 2017)
• Madalina Diaconu (MSc, Johannes Kepler University Linz, 2017)
• Mohamed El Nemr (MSc, Johannes Kepler University Linz, 2017)
• Andras Merli (MSc, Johannes Kepler University Linz and ISI-Hagenberg, 2016)
• Sharif ElHefnawy (MSc, Johannes Kepler University Linz and ISI-Hagenberg, 2014)
• Noran Azmy (MSc, Johannes Kepler University Linz and ISI-Hagenberg, 2010)
• Diana Maris (MSc, Johannes Kepler University Linz and ISI-Hagenberg, 2010)