Ältere News

[17.08.2009] Herzlich willkommen Florian Merz

Wir heißen unseren neuen Mitarbeiter Florian Merz herzlich willkommen.

[07.07.2009] MiniSAT 09z gewinnt Hack-Track

Der an unserem Arbeitsbereich von Markus Iser entwickelte SAT-Solver "MiniSAT 09z" gewinnt den Minisat-Hack-Track der SAT-Competition 2009.

[24.04.2009] Gratulation zum Abschluss

Wir gratulieren Hendrik Post zum erfolgreichen Abschluss seiner Promotion.

[15.10.2008] Herzlich willkommen Olga Tveretina

Wir heißen unsere neue Mitarbeiterin Olga Tveretina herzlich willkommen.

[05.09.2008] AES Verifikations-Benchmark verfügbar

Klicken Sie hier für mehr Informationen.