Helmut Veith ( – ) 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)Page de Helmut Veith sur le site Forsyte de la TU Wien....
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 bases de données avec une thèse préparée sous la supervision de Georg Gottlob intitulée et soutenue avec la mention . 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é 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 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 »« Réciepiendaires du prix CAV ».. Il a aussi reçu le ACM Distinguished Paper Award « pour sa contribution à l'étude de la vérification modulaire ». 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
Liens externes Nécrologie de « Helmut Veith » par Thomas Eiter, Richard Zach, sur le Bulletin de l'EATCS
Catégorie:Naissance en février 1971 Catégorie:Naissance à Vienne (Autriche) au XXe siècle Catégorie:Décès en mars 2016 Catégorie:Décès à Vienne (Autriche) Catégorie:Personnalité autrichienne liée à l'informatique Catégorie:Étudiant de l'université technique de Vienne Catégorie:Professeur à l'université technique de Vienne Catégorie:Personnalité en méthodes formelles Catégorie:Décès à 45 ans