BackThe following is unofficial and may contain accidental errors.
Undergraduate Courses at the Technical University Darmstadt
| Semester | Course name | Dep | Hours |
|---|---|---|---|
| Fall/Spring 1990/1991 | Computer Science I | CS | 6 |
| Technical Foundations of CS I | CS | 4 | |
| Linear Algebra I | Math | 6 | |
| Analysis | Math | 6 | |
| Summer 1991 | Computer Science II | CS | 6 |
| Assembler-Practical | CS | 3 | |
| Technical Foundations of CS II | CS | 4 | |
| Linear algebra II | Math | 6 | |
| Analysis II | CS | 6 | |
| Pattern Recognition | CS | 2 | |
| Fall/Spring 1991 / 1992 | Computer Science III | CS | 6 |
| Technical Foundations of CS-Practical | CS | 3 | |
| Special mathematical foundations for CS | Math | 6 | |
| Summer 1992 | Computer Science IV | CS | 6 |
| Numerical Algorithms for CS | Math | 6 | |
| Statistics | Math | 4 | |
| How masculine is science | Phil | 2 | |
Graduate Courses at the Techinical University Darmstadt
| Semester | Course name | Dep | Hours |
|---|---|---|---|
| Fall/Spring 1992/1993 | Coding Theory | CS | 6 |
| Database Systems I | CS | 4 | |
| Introduction to Pedagogics | Ped | 2 | |
| Pedagogical Concepts | Ped | 2 | |
| Summer 1993 | Theory of communicating systems | CS | 6 |
| Database systems II | CS | 4 | |
| Active Database Systems | CS | 2 | |
| Women in science | Ped | 2 | |
Academic Year at the University of Edinburgh
| Semester | Course name | Dep | Hours | Grade |
|---|---|---|---|---|
| Academic Year 1993/1994 | Mathematical Reasoning | AI | 6 | A |
| AI/CS Large Practical | CS/AI | 4 | B+ | |
| Knowledge Representation and Inference | AI | 4 | A | |
| Philosophical Issues in Artificial Intelligence | AI | 2 | B | |
| Language and Semantics | CS | 4 | A | |
| Program Logics | CS | 4 | B | |
| Philosophy of Science | CS | 6 | A | |
| Research Project: A Heuristic for Case Analysis | AI | 6 | A | |
Continuing graduate courses at the Technical University of Darmstadt
| Semester | Course name | Dep | Hours |
|---|---|---|---|
| Winter/Spring 1994/1995 | Automated Logic and Programming | CS | 6 |
| Chip-level Modelling Techniques | CS | 4 | |
| ASIC | CS | 2 | |
| Critique and Pedagogic | Ped | 2 | |
| Tutorium>:Critique and Pedagogic | Ped | 2 | |
| Summer 1994 | VLSI Architecture | CS | 4 |
| Abstract Interpretation | CS | 4 | |
| Pedagogics and Interdisciplinarity | Ped | 2 | |
| Science and Engineering - a school project | Ped | 2 | |
| Fall/Spring 1994/1995 | History of Logic | CS | 2 |
| Science and Engineering - a school project | Ped | 2 | |
| Exclusion of women in science and engineering | Ped | 2 | |
| The Hermeneutic of Gadamer | Ped | 2 | |
| Summer 1996 | Final Thesis: Structured proof planning | CS | - |
| Computer Study Workshop | Ped | 2 | |
| Pedagogical Theories | Ped | 2 | |
| Artificial Intelligence and Pedagogics | Ped | 2 | |
| Winter 1996/1997 | Final Thesis: Structured proof planning | CS | - |
Final Examination:
| Examination | Courses | Dep | Hours | Grade |
|---|---|---|---|---|
| Final Thesis | Structured incremental proof planning with meta-rule sets | CS | - | 1.0 |
| Oral Examination | Coding Theory, Theory of communication systems | CS | 10 | 1.0 |
| Oral Examination | Abstract Interpretation, Program Logics, Language and Semantics | CS | 12 | 1.0 |
| Oral Examination | Automated Logic and Programming,Mathematical Reasoning | CS | 10 | 1.0 |
| Oral Examination | Chip-Level Modelling, VLSI Architecture, AISIC | CS | 10 | 1.0 |
| Oral Examination | Pedagogics | Ped | 20 | 1.3 |
| Other work | Seminar: Active Database Systems | CS | 2 | 1.0 |
| Study Project: A Heuristic for Case Analysis | CS | 6 | 1.0 | |
I received a "Diplom mit Auszeichnung" (Honors degree) from the Technical University of Darmstadt. Unfortunately, no official ranking exists.However this explanation may help to judge the quality of my degree. A "Diplom mit Auszeichnung" is awarded to the best 2 per cent of a year. At the Technical University Darmstadt the best two per cent of a year have usualy an overal grade between 1.3 and 1.0.