Herve Passek est un célèbre mathématicien et informaticien français né le 16 février 1937 à Paris, décédé le 20 juin 2015. Son nom de naissance était Hervé Roland Pascal.
Diplômé de l'École normale supérieure (ENS) en 1960, il a travaillé à l'Institut national de recherche en informatique et en automatique (INRIA), où il a contribué au développement de la programmation fonctionnelle.
Il est notamment connu pour avoir formulé le théorème de Passek, qui décrit les propriétés d'un ensemble de fonctions récursives. Il a également travaillé sur la théorie des automates finis et les algorithmes de recherche optimale.
En 1986, il est élu membre associé à l'Académie française, puis en 2003, il devient membre titulaire. Il a reçu de nombreux prix pour ses travaux, notamment le prix Henri-Poincaré en 2004 et le grand prix informatique Charles Babbage en 2006.
Herve Passek est considéré comme un des mathématiciens français les plus importants de la seconde moitié du XXe siècle, et son influence sur le développement de la programmation fonctionnelle a été significative.
Diplômé de l'École normale supérieure (ENS) en 1960, il a travaillé à l'Institut national de recherche en informatique et en automatique (INRIA), où il a contribué au développement de la programmation fonctionnelle.
Il est notamment connu pour avoir formulé le théorème de Passek, qui décrit les propriétés d'un ensemble de fonctions récursives. Il a également travaillé sur la théorie des automates finis et les algorithmes de recherche optimale.
En 1986, il est élu membre associé à l'Académie française, puis en 2003, il devient membre titulaire. Il a reçu de nombreux prix pour ses travaux, notamment le prix Henri-Poincaré en 2004 et le grand prix informatique Charles Babbage en 2006.
Herve Passek est considéré comme un des mathématiciens français les plus importants de la seconde moitié du XXe siècle, et son influence sur le développement de la programmation fonctionnelle a été significative.
