Bruno Buchberger

special activities
phd-students
habilitations
 

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 co-workers, 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 White-Box / Black-Box Principle for Using Symbolic Computation Systems in Math Education: