Dipl.-Inform. Burkhard Graves

Anschrift:	Dipl.-Inform. Burkhard Graves Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg
E-Mail:	Burkhard.Graves

 

Curriculum Vitae

1995	Diplom in Informatik, Universität Hildesheim
1995-1997	Wissenschaftliches Mitarbeiter, Institut für Informatik Universität Hildesheim
seit 1997	Wissenschaftliches Mitarbeiter, Fachbereich Informatik Universität Oldenburg

Forschung

Petrinetze, Verteilte Systeme, Verifikation, Halbordnungsbasiertes Model-Checking

Lehre

WiSe 97/98:
Übungen zur VL "Grundbegriffe der Theoretischen Informatik"
Seminar "Petrinetzwerkzeuge"
Sose 98:
Übungen zur VL "Automatentheorie und Logik"
WiSe 98/99:
Übungen zur VL "Komplexität sequentieller und paralleler Programme"
Übungen zur VL "Theorie und Spiele"

Projekte

PEP

Werkzeuge

PEP Tool