Correct System Design
Dr. habil. Burghard v. Karger
|
email: Burghard.von.Karger Since October 2000 Burghard v. Karger is with the Institute of Informatics at the University of Kiel. |
Curriculum Vitae
| 1986 | Diplom (Mathematik/Informatik) |
| 1990 | Promotion bei Prof. Bender (Mathematik) |
| 1990-1998 | wiss. Mitarbeiter bei Prof. Langmaack, außer |
| 1993 | Einjähriger Besuchsaufenthalt an der PRG Oxford bei Prof. Hoare |
| 1995 | Zweimonatiges Stipendium von Philips (Eindhoven) |
| Seit April 1998 | wiss. Mitarbeiter bei Prof. Olderog |
| Juli 1998 | Habilitation (Informatik) |
Research
Modelle für reaktive Systeme, insbesondere Temporale AlgebraHerleitung von Programmen
Teaching
WS 98/99: Grundlagen der Theoretischen Informatik
Projects
1990-1996 Mitarbeit in ProCoS (Provably Correct Systems)