Seitenbereiche:



Menü des aktuellen Bereichs:

Zusatzinformationen:

JKU-Fangemeinde auf Facebook

Werde JKU-Fan auf Facebook!

Werde JKU-Fan auf Facebook! ...  mehr zu JKU-Fangemeinde auf Facebook (Titel)

Social Media


Positionsanzeige:

Inhalt:

HVC-Award an Prof. Biere

HVC-Award an Prof. Biere
Der renommierte HVC-Award wurde heuer an Prof. Armin Biere (Institut für Formale Modelle und Verifikation) vergeben.

Der Award wurde für die einflussreichste Arbeit der letzten fünf Jahre im Bereich der formalen Verifikation, Simulation und Tests vergeben. Bei der Preisvergabe in Haifa (Israel) würdigte die Jury Bieres langjährigen Beitrag zur formalen Verifikation, wobei besonders ein Artikel zum "model checking" als einflussreichster Beitrag der letzten 20 Jahre in diesem Bereich. Diese Technik werde "auch heute noch in zahllosen Unternehmen verwendet", so die Jury.

Mehr Infos: https://www.research.ibm.com/haifa/conferences/hvc2015/award.shtml
Infos zum Institut: http://fmv.jku.at/

[Christian Savoy]