Courses

Since the year 1982 I have taught courses on the topics

• introduction to computer science
• theory of computation
• automated theorem proving in logic
• computer algebra
• commutative algebra and algebraic geometry
• equational theories and term rewriting
• coding theory and cryptography

at the following universities:

• Johannes Kepler Universität Linz
• University of Delaware, USA
• Universidad de Alcalá de Henares, Madrid
• Technische Universität Vienna
• Universität Salzburg
• University of Debrecen, Hungary
• Charles University Prague, Czech Republic