Helmut Veith - Helmut Veith - Wikipedia

Helmut Veith
narozený(1971-02-05)5. února 1971
Vídeň, Rakousko
Zemřel12. března 2016(2016-03-12) (ve věku 45)
Vídeň, Rakousko
Státní občanstvíRakousko
Alma materTU Wien
Vědecká kariéra
Pole
Instituce
Doktorský poradceGeorg Gottlob [2]
webová stránkaforsyte.na/lidé/ veith/

Helmut Veith (5. února 1971 - 12. března 2016) byl rakouský počítačový vědec, který pracoval na oblastech počítačem podporovaná verifikace, softwarové inženýrství, zabezpečení počítače, a logika v informatice. Byl Profesor z Informatika na Vídeňská technická univerzita (TU Wien), Rakousko.[1][3][4]

Vzdělávání

Veith získal titul Diplom-Ingenieur ve výpočetní logice na TU Wienin 1994. Doktorát z informatiky získal v roce 1998 pod dohledem profesora Georg Gottlob na téma výpočetní složitost logiky a databáze dotazovací jazyky.

Kariéra a výzkum

Veith byl profesorem na Fakultě informatiky TU Wien a Mimořádný profesor na Univerzita Carnegie Mellon, Pittsburgh Předtím byl profesorem na Ústav výpočetní techniky z TU Darmstadt (2008-2009) a TU Mnichov (2003-2008) a docent na TU Wien (2001-2003) habilitace na TU Wien v roce 2001.

Veith vydal více než 120 publikací s recenzemi [5] v oblastech počítačově podporovaného ověřování a programová analýza, logika v informatice, softwarové inženýrství, počítačová bezpečnost a teoretická informatika. Byl spolueditorem připravované Příručky pro kontrolu modelů.[6] V roce 2014 byl spolupředsedou Vídeňské logické léto 2014, největší konference o logice a počítačové vědě v historii.

Veith je nejlépe známý svou rolí ve vývoji Counterexample-guided Abstraction Refinement (CEGAR), což je klíčový prostředek v moderní model dáma pro software a hardware. Použije se jeho výzkum formální a logické metody k problémům v softwarové technologii a strojírenství se zaměřením na kontrolu modelů, ověřování a testování softwaru, vestavěný software a počítačovou bezpečnost.

Vědecká komunikace

Veith byl spoluzakladatelem organizace Vídeňské centrum logiky a algoritmů (dohromady s Stefan Szeider ).[7] Veith byl členem organizační rady největší logické konference v historii - Vídeňského léta logiky, která se skládala z dvanácti velkých konferencí a četných workshopů, které přilákaly do Vídně více než 2000 výzkumných pracovníků z celého světa. Veith sloužil jako mluvčí FWF financovaného z Logických metod doktorského studia v informatice a jako zástupce koordinátora Národní výzkumné sítě Rigorous Systems Engineering (RiSE).[8]

Ocenění a vyznamenání

Veith získal doktorát v nejvyšší vyznamenání „sub auspiciispraesidentis“ na ceremoniálu, kterému předsedal prezident Rakouska. Se svými spoluautory získal CAV Award 2015 [9] Ctít příspěvek zásadního významu pro oblast ověřování pomocí počítače za jeho příspěvek k rozvoji CEGAR. Za práci na kontrole modelu softwaru MAGIC obdržel cenu ACM Distinguished PaperAward za příspěvek ke studiu verifikace modulárního softwaru.[10][11] V roce 2016 byl Veith posmrtně udělen Advanced ERC Grant na toto téma Využití technologie kontroly modelu pro distribuované algoritmy.

Reference

  1. ^ A b „Helmut Veith“. Google Scholar. Citováno 3. dubna 2016.
  2. ^ Helmut Veith na Matematický genealogický projekt
  3. ^ Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut (červenec 2000). „Zpřesnění abstrakce vedené protikladem“. Počítačem podporované ověření (CAV). 1855 (2000): 154–169. doi:10.1007/10722167_15.
  4. ^ „Nachruf auf Helmut Veith: Ein unlogischer Tod“. 2016-03-21.
  5. ^ „Helmut Veith“. DBLP. Citováno 3. dubna 2016.
  6. ^ Clarke, Edmund; Henzinger, Thomas; Veith, Helmut (10. září 2016). Příručka pro kontrolu modelu (Vydání 2017). Springer. ISBN  978-3-319-10575-8. Citováno 3. dubna 2016.
  7. ^ „Zentrum für Grundlagen der Informatik - derStandard.at“. DER STANDARD (v němčině). Citováno 2019-11-26.
  8. ^ „Helmut Veith: 1971 - 2016“. www.tuwien.at. 2019-11-25. Citováno 2019-11-26.
  9. ^ "CAV Award". Mezinárodní konference o ověřování pomocí počítače. Citováno 3. dubna 2016.
  10. ^ „Cena za vynikající papír ACM SIGSOFT“. SIGSOFT. Citováno 3. dubna 2016.
  11. ^ Chaki, Sagar; Clarke, Edmund; Groce, Alex; Jha, Somesh; Veith, Helmut (červen 2004). "Modulární ověření softwarových komponent v jazyce C". Transakce IEEE v softwarovém inženýrství. 30 (6): 388–402. CiteSeerX  10.1.1.5.9973. doi:10.1109 / TSE.2004.22.