Studiengang
Bachelorstudiengang Informatik
Funktion
Professor
Telefon
+49 471 4823-512
Gebäude
Z
Etage
4
Raum
Z4030
Raumsuchsystem
Adresse
An der Karlstadt 8
27568 Bremerhaven
Sprech-/ Öffnungszeiten
nach Vereinbarung (bitte e-mail zuschicken)
Forschungsgebiete
Algorithmen für formale Methode
Formale Methoden in der Hardwareverifikation