Arbeitsgruppe Zuverlässige Systeme

Neue Mitarbeiter

13.09.2016

Wir begrüßen Dr. Danny Poulsen, Joel Day (beide seit dem 1.8.2016) und Kamellia Reshadi (seit dem 1.6.2016) als neue Mitarbeiter in unserer Arbeitsgruppe. Danny arbeitet auf dem Gebiet der formalen Verifikation von hybriden Systemen. Joel und Kamellia arbeiten auf dem Gebiet der Wortkombinatorik.