Teaching

Winter Semester 2020

International Summer Schools

  • Proving and Solving in Unranked Logic Theories. Course at the International Summer School in Logic, Language, and Artificial Intelligence, LLAI 2019, September 9–14, 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)
    • Automated Reasoning Systems (SS2007, SS2011, SS2013)
    • Design and analysis of algorithms (WS2018)
    • Functional programming (SS2019, SS2020)
    • Information Systems (WS2007, WS2008)
    • Logic Programming (WS2002–2019)
    • Programming in Mathematica (SS2016–2020)
    • Rewriting in Computer Science and Logic (SS2013, SS2015, SS2017, SS2019)
    • Selected Algorithms (seminar, WS2006, WS2007, SS2009, SS2012)
    • Unification Theory (Since SS2008, even years)
  • Tbilisi State University:
    • Logic Programming (SS1998)
    • Programming languages (SS1998)

Advised Students

  • Alexander Baumgartner (PhD, Johannes Kepler University Linz, finished in 2015. Thesis.)
  • Besik Dundua (PhD, University of Porto, finished in 2014. 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)