« Helmut Veith » : différence entre les versions

Biographie
Naissance	5 février 1971; Vienne
Décès	12 mars 2016 (à 45 ans); Vienne
Formation	Université technique de Vienne
Activité	Informaticien
A travaillé pour	TU Wien; Carnegie Mellon University; TU Darmstadt; TU Munich;
Domaine	Computer-aided Verification (en); Software engineering; Computer security; Logic in computer science (en);
Maître	Matthias Baaz (d)
Directeur de thèse	Georg Gottlob
Site web	forsyte.at/people/veith/

Modification suivante →

Contenu supprimé Contenu ajouté

VisuelWikicode

Intégrés

Version du 30 mai 2019 à 07:41

Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien)^[2]^,^[1]^,^[3]^,^[4].

Biographie

Helmut Veith obtient le titre de Diplom-Ingenieur en logique informatique à la TU Wien en 1994. En 1998, il obtient un doctorat en informatique sur la complexité des logiques et des langages de requête dans les [[Base de données|bases de données]^[5] avec une thèse préparée sous la supervision de Georg GottlobGeorg Gottlob intitulée « Succinct Representation and the Complexity of Logics and Database Query Languages » et soutenue avec la mention « sub auspiciis praesidentis ». En 2001, il obtient l'habilitation, toujours à la TU Wien. De 2001 à 2003, Veith est professeur associé à la TU Wien, de 2003 à 2008 professeur à la université technique de Munich, de 2008 à 2009 à l'université de technologie de Darmstadt et ensuite à la TU Wien. Il était également professeur associé à l'université Carnegie-Mellon, à Pittsburgh.

Recherche

Helmut Veith est surtout connu pour sa participation dans le développement de la méthode dite « Counterexample-guided Abstraction Refinement » (CEGAR) qui est un ingrédient-clé dans les model checkers modernes, en logiciel et en matériel. Cette recherche applique des méthodes formelles et logiques aux problèmes en technologie et ingénierie du logiciel, avec en particulier le model checking, la vérification et le test de logiciels, le logiciel embarqué et la sécurité des ordinateurs. Helmut Veith a activement publié^[6] en informatique, dans ces domaines de vérification assistée par ordinateur, analyse de programmes, la logique en informatique, le software engineering, et la sécurité des systèmes d'information. Il est coéditeur du Handbook of Model Checking^[7] paru après sa mort.

Honneurs et distinctions

Veith est récipiendaire, avec ses sept coauteurs Edmund M. Clarke, Orna Grumberg, Ronald H. Hardin, Somesh Jha, Yuan Lu, Robert P. Kurshan et Zvi Harel, du prix CAV Award 2015 « pour le développement et l'implémentation de la technique de localisation-réduction et la formulation du raffinement de l'abstraction guidée par contre-exemple »^[8]^,^[9]. Il a aussi reçu le ACM Distinguished Paper Award « pour sa contribution à l'étude de la vérification modulaire »^[10]^,^[11]. En 2016, Veith s'est vu attribuer un ERC Advanced Grant sur le thème Harnessing Model Checking Technology for Distributed Algorithms.

Notes et références

↑ ^{a et b} « Helmut Veith », sur Google Scholar (consulté le 3 avril 2016)
↑ Page de Helmut Veith sur le site Forsyte de la TU Wien.
↑ Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu et Helmut Veith, « Counterexample-guided abstraction refinement », dans Computer Aided Verification (CAV), coll. « Lecture Notes in Computer Science » (n^o 1855), juillet 2000 (DOI 10.1007/10722167_15), p. 154–169.
↑ « Nachruf auf Helmut Veith: Ein unlogischer Tod », 21 mars 2016.
↑ (en) « Helmut Veith », sur le site du Mathematics Genealogy Project
↑ « Helmut Veith », sur DBLP (consulté le 3 avril 2016)
↑ Edmund Clarke, Thomas Henzinger et Helmut Veith, Handbook of model checking, 2017, 10 septembre 2016 (ISBN 978-3-319-10575-8)
↑ « Réciepiendaires du prix CAV ».
↑ « CAV Award », sur International Conference on Computer-Aided Verification (consulté le 3 avril 2016)
↑ « ACM SIGSOFT Distinguished Paper Award », sur SIGSOFT (consulté le 3 avril 2016)
↑ Sagar Chaki, Edmund Clarke, Alex Groce, Somesh Jha et Helmut Veith, « Modular Verification of Software Components in C », IEEE Transactions on Software Engineering, vol. 30, n^o 6,‎ juin 2004, p. 388–402 (DOI 10.1109/TSE.2004.22, CiteSeer^x 10.1.1.5.9973)

Liens externes

Nécrologie de « Helmut Veith » par Thomas Eiter, Richard Zach, sur le Bulletin de l'EATCS
Notices d'autorité :
- VIAF
- IdRef
- LCCN
- GND
- Israël
- NUKAT
- Tchéquie
- WorldCat
Ressources relatives à la recherche :

[[Catégorie:Personnalité en méthodes formelles</nowiki>

[googlescholar-1] {a et b} « Helmut Veith », sur Google Scholar (consulté le 3 avril 2016)

[2] Page de Helmut Veith sur le site Forsyte de la TU Wien.

[cegar-3] Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu et Helmut Veith, « Counterexample-guided abstraction refinement », dans Computer Aided Verification (CAV), coll. « Lecture Notes in Computer Science » (n^o 1855), juillet 2000 (DOI 10.1007/10722167_15), p. 154–169.

[nachruf-4] « Nachruf auf Helmut Veith: Ein unlogischer Tod », 21 mars 2016.

[5] (en) « Helmut Veith », sur le site du Mathematics Genealogy Project

[dblp-6] « Helmut Veith », sur DBLP (consulté le 3 avril 2016)

[handbook-7] Edmund Clarke, Thomas Henzinger et Helmut Veith, Handbook of model checking, 2017, 10 septembre 2016 (ISBN 978-3-319-10575-8)

[8] « Réciepiendaires du prix CAV ».

[cavaward-9] « CAV Award », sur International Conference on Computer-Aided Verification (consulté le 3 avril 2016)

[acmdistinguished-10] « ACM SIGSOFT Distinguished Paper Award », sur SIGSOFT (consulté le 3 avril 2016)

[IEEESE-11] Sagar Chaki, Edmund Clarke, Alex Groce, Somesh Jha et Helmut Veith, « Modular Verification of Software Components in C », IEEE Transactions on Software Engineering, vol. 30, n^o 6,‎ juin 2004, p. 388–402 (DOI 10.1109/TSE.2004.22, CiteSeer^x 10.1.1.5.9973)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]