ici est présentée une brève biographie de Bruhat Pascal :
Bruhat Pascal (née le 19 novembre 1949) est une informaticienne et mathématicienne française. Elle a obtenu son diplôme d'ingénieur à l'École nationale supérieure des télécommunications de Paris (ENST) en 1972, où elle a travaillé ensuite pendant quelques années avant de rejoindre l'École normale supérieure de Lyon (ENS-Lyon) en 1984.
Pascal est connue pour ses contributions à la théorie des calculs distribués et au développement du système d'exploitation Inria Gallium. Elle a également travaillé sur les langages de programmation, la sécurité informatique et l'analyse formelle des logiciels.
En 1986, elle a rejoint le laboratoire d'informatique de l'ENS-Lyon en tant que chargée de recherche CNRS. Elle est devenue professeure de mathématiques à l'université Claude Bernard Lyon 1 en 2004 et a été nommée directrice du laboratoire d'informatique de l'ENS-Lyon en 2013.
En reconnaissance de ses contributions à la recherche, Pascal a reçu plusieurs prix et récompenses, dont le Prix François-Rabelais de l'Académie française en 2008 pour son livre "Un monde de calculs" ("A World of Computations"). Elle est membre de l'Academia Europaea et de l'Institut Universitaire de France.
Bruhat Pascal (née le 19 novembre 1949) est une informaticienne et mathématicienne française. Elle a obtenu son diplôme d'ingénieur à l'École nationale supérieure des télécommunications de Paris (ENST) en 1972, où elle a travaillé ensuite pendant quelques années avant de rejoindre l'École normale supérieure de Lyon (ENS-Lyon) en 1984.
Pascal est connue pour ses contributions à la théorie des calculs distribués et au développement du système d'exploitation Inria Gallium. Elle a également travaillé sur les langages de programmation, la sécurité informatique et l'analyse formelle des logiciels.
En 1986, elle a rejoint le laboratoire d'informatique de l'ENS-Lyon en tant que chargée de recherche CNRS. Elle est devenue professeure de mathématiques à l'université Claude Bernard Lyon 1 en 2004 et a été nommée directrice du laboratoire d'informatique de l'ENS-Lyon en 2013.
En reconnaissance de ses contributions à la recherche, Pascal a reçu plusieurs prix et récompenses, dont le Prix François-Rabelais de l'Académie française en 2008 pour son livre "Un monde de calculs" ("A World of Computations"). Elle est membre de l'Academia Europaea et de l'Institut Universitaire de France.
