Entwicklung korrekter Systeme
Dr. habil. Burghard v. Karger
|
E-Mail: Burghard.von.Karger Seit Oktober 2000 ist Burghard v. Karger wissenschaftlicher Oberassistent am Institut für Informatik der Universität 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) |
Forschung
Modelle für reaktive Systeme, insbesondere Temporale AlgebraHerleitung von Programmen
Lehre
WS 98/99: Grundlagen der Theoretischen Informatik
Projekte
1990-1996 Mitarbeit in ProCoS (Provably Correct Systems)