Tobias Nipkow
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activité |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse |
Cliff Jones (en) |
| Site web |
Tobias Nipkow est un informaticien allemand né en 1958.
Nipkow obtient son diplôme en informatique au département d'informatique de la Technische Hochschule Darmstadt en 1982, et son doctorat à l'université de Manchester en 1987[1].
Il travaille au Massachusetts Institute of Technology à partir de 1987, puis à l'université de Cambridge en 1989 et à l'université technique de Munich en 1992, où est nommé professeur en théorie de la programmation. Il y dirige le groupe « Logique et Vérification » depuis 2011.
Recherche
Nipkow est connu pour ses travaux sur la démonstration interactive et la démonstration automatique de théorèmes, en particulier pour l'assistant de preuve Isabelle ; il est également rédacteur en chef du Journal of Automated Reasoning jusqu'au 1er janvier 2021[2]. Plus generalement, Nipkow travaille sur la sémantique des langages de programmation, les systèmes de types et la programmation fonctionnelle[3]
Récompenses
En 2021, Nipkow est lauréat du prix Herbrand « en reconnaissance de son leadership dans le développement d'Isabelle et des outils associés, résultant en des contributions clés aux fondations, à l'automatisation et à l'utilisation d'assistants de preuve dans un large éventail d'applications, ainsi que ses efforts réussis pour accroître la visibilité du raisonnement automatisé"[4].
