Teaching in Winter Semester 2025
- Functional Programming.
- Automated Reasoning, jointly with Tudor Jebelean.
- 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)
- Symbolic Constraint Solving (Since WS2025, 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)