Mitarbeiter

Formale Methoden der Informatik

 

Fachgebietsleiter

Prof. Dr. Janis Voigtländer

 

Wissenschaftliche Mitarbeiter

Oliver Westphal, M.Sc.

Marcellus Siegburg, M.Sc.

 

System Administrator

Dipl.-Math. Issai Zaks

 

ehemalige Mitarbeiter

Marcel Fourné, M.Sc.