Laboratoire d’Informatique Fondamentale
CMI, 39, av Joliot-Curie
F-13453 Marseille cedex 13, France
Bureau : R 334
Tél : +33 (0)4 91 11 36 24
Fax : +33 (0)4 91 11 36 02
email : peter.niebert[@]lif.univ-mrs.fr
I am a maître de conférence, which is typically translated as "assistant processor". I teach computer science (real time systems, software engineering, computer architecture, among other topics) at the Université de Provence, and do research (mostly model checking) at the Laboratoire d\'Informatique Fondamentale de Marseille in the modeling and verification group.
After a "masters" (in contemporary naming) at the University Erlangen-Nürnberg (Germany), I did my doctorate at University of Hildesheim (Germany) in the "Programming" group (now TU Braunschweig), followed by a post doctorate in VERIMAG. Since september 2000, I am in Marseille.