Helmut Veith

Helmut Veith
Född	( 1971-02-05 ) 5 februari 1971 Wien , Österrike
dog	12 mars 2016 (2016-03-12) (45 år) Wien, Österrike
Medborgarskap	Österrike
Alma mater	TU Wien
Vetenskaplig karriär
Fält	Datorstödd verifiering Mjukvaruutveckling Datorsäkerhet Logik i datavetenskap
institutioner	TU Wien Carnegie Mellon University TU Darmstadt TU München
Doktorand rådgivare	Georg Gottlob
Hemsida	forsyte .at /people /veith /

Helmut Veith (5 februari 1971 – 12 mars 2016) var en österrikisk datavetare som arbetade med områdena datorstödd verifiering , programvaruteknik , datorsäkerhet och logik inom datavetenskap . Han var professor i informatik vid Wiens tekniska universitet (TU Wien), Österrike.

Utbildning

Veith tog sin Diplom-Ingenieur i beräkningslogik vid TU Wien 1994. Han doktorerade i datavetenskap 1998 under ledning av professor Georg Gottlob på ämnet beräkningskomplexitet hos logik och databasfrågespråk .

Karriär och forskning

Veith var professor vid fakulteten för informatik vid TU Wien och adjungerad professor vid Carnegie Mellon University , Pittsburgh . Tidigare var han professor vid institutionen för datavetenskap vid TU Darmstadt (2008–2009) och TU München (2003–2008), samt docent vid TU Wien (2001–2003). Han fick sin habilitering vid TU Wien 2001.

Veith publicerade mer än 120 refererade publikationer inom områdena datorstödd verifiering och programanalys , logik inom datavetenskap, programvaruteknik, datasäkerhet och teoretisk datavetenskap . Han var medredaktör för Handbook of Model Checking . 2014 var han medordförande för Vienna Summer of Logic 2014, den största konferensen om logik och datavetenskap i historien.

Veith är mest känd för sin roll i utvecklingen av Counterexample-guided Abstraction Refinement (CEGAR), som är en nyckelingrediens i modern modellcheckare för mjukvara och hårdvara. Hans forskning tillämpar formella och logiska metoder på problem inom mjukvaruteknik och ingenjörskonst, med fokus på modellkontroll, mjukvaruverifiering och testning, inbyggd programvara och datorsäkerhet.

Vetenskapskommunikation

Veith var en av grundarna av Wiens centrum för logik och algoritmer (tillsammans med Stefan Szeider ) . Veith var medlem i organisationsstyrelsen för den största logikkonferensen i historien – Vienna Summer of Logic 2014, som bestod av tolv stora konferenser och många workshops som lockade över 2000 forskare från hela världen till Wien. Veith fungerade som talare för den FWF -finansierade Doctoral College on Logical Methods in Computer Science och som biträdande koordinator för National Research Network Rigorous Systems Engineering (RiSE).

Utmärkelser och utmärkelser

Veith tilldelades sin doktorsexamen med högsta utmärkelse "sub auspiciis praesidentis" vid en ceremoni som leddes av Österrikes president . Tillsammans med sina medförfattare fick han CAV Award 2015 för att hedra bidrag av grundläggande betydelse inom området datorstödd verifiering för sitt bidrag till utvecklingen av CEGAR. Hans arbete med mjukvarumodellkontrollen MAGIC fick ACM Distinguished Paper Award för bidrag till studiet av verifiering av modulär mjukvara. 2016 belönades Veith postumt med ett ERC Advanced Grant på ämnet Utnyttja Model Checking Technology for Distributed Algorithms .