Peter Niebert

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.