BackThe following is unofficial and may contain accidental errors.
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.