Arbeitsgruppe Zuverlässige Systeme

Post-/Doktoranden_innen gesucht

03.02.2016

Wir bieten Promotions-/PostDoc-Stellen für talentierte Nachwuchswissenschaftler_innen im Bereich der Softwareverifikation an. Wir suchen engagierte Personen mit einem universitären Abschluss im Fach Informatik, die Spass daran haben, grundlegende Konzepte aus der Informatik und Logik in praxiswirksame Anwendungen zur Analyse von Code umzusetzen. Ausschreibungstext [eng].

Florin Manea leitet Lenkungsausschuss der CiE

26.09.2016

Florin Manea wurde zum Leiter des Lenkungsausschusses der Computability in Europe (CiE) Konferenzreihe gewählt. Damit ist er auch gleichzeitig Mitglied im Leitungsgremium der European Association for Computer Science Logic (EACSL).

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.

Dirk Nowotka Editor IJFCS

12.09.2016

Dirk Nowotka wurde zum Mitglied des redaktionellen Beirats (editorial board) der Zeitschrift International Journal of Foundations of Computer Science (IJFCS) ernannt.

HPSV Projekt gestartet

04.02.2016

Das BMBF-Projekt HPSV (Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie ) ist heute gestartet. Zusammen mit dem Zuse Institut Berlin (A. Reinefeld), der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion der CAU zu Kiel (M. Hanus) und den Industriepartnern Model Engineering Solutions und Symtavision werden wir die Lösung anspruchsvoller Verifikationsaufgaben mittels Techniken des Hochleistungsrechnens erforschen. Unsere AG Zuverlässige Systeme hat die Projektleitung inne.