Courses
Recent 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
- differential algebra
- commutative algebra and algebraic geometry
- equational theories and term rewriting
- coding theory and cryptography
- linear algebra
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