Special Didactic Activities
As a professor of computer mathematics at the University of Linz
I started, since 1974, teaching regularly courses on algorithm theory,
mathematical logic, automata theory, and formal methods in computer
science. When I built up RISC,, these actvities were more and more
taken over by my coworkers, while I concentrated on initiating
and building up the following new educational programs:
PhD Curriculum for Symbolic Computation
Mathematics for Computer Science
The "Thinking, Speaking, Writing"
Course
The WhiteBox / BlackBox Principle for
Using Symbolic Computation Systems in Math Education:
