| College
| Albert-Einstein-Universität Ulm, Germany
|
| Major field of study
| Computer Science
- Algorithms
- Parallel Algorithms
- Attribute Grammars
- Complexity Theory
- Programming in Lisp
- Programming in Prolog
- Formal Problem Specification
- Formal Software Development (Transformational Programming)
- Compiler Design
- Artificial Intelligence
- Inference Systems and Automated Theorem Proving
- Neuronal Nets
|
| Minor field of study
| Mathematics
- Numerical Mathematics
- Complex Analysis
- Differential Equations
- Operations Research (Optimization Problems)
- Statistics
- Combinatorics
- Graph Theory
|
| Diplom (Master's Degree)
| 1997
|
| Diploma Thesis
| ULTRA: An interactive transformation system for functional programs
|