Arbeitsgruppe Zuverlässige Systeme

Neuer Mitarbeiter in der AG ZS

16.05.2012

Wir begrüßen Philipp Sieweck als neuen Mitarbeiter in unserer Arbeitsgruppe. Herr Sieweck wird sich im Rahmen des BMBF ARAMiS Projekts mit Verfahren zur Verifikation von Software für eingebettete Multicore-Systeme beschäftigen.