Boor Pascal est un célèbre informaticien et mathématicien français, né le 19 juin 1948 à Paris. Il est notamment connu pour sa contribution importante aux domaines de l'informatique théorique et de la programmation logique.
Il a commencé ses études supérieures en mathématiques à l'École normale supérieure (ENS) de Lyon, où il obtint son diplôme d'ingénieur en informatique en 1970. Après quelques années passées au Centre national de la recherche scientifique (CNRS), il a rejoint le Laboratoire d'informatique théorique et de modélisation mathématique de l'ENS de Paris, où il est resté jusqu'à sa mort en 1995.
Pascal est notamment connu pour avoir développé la logique des programs (LP), une approche formelle pour la définition de programmes informatiques. Cette logique a été utilisée pour développer des compilateurs et des preuveurs automatiques de théorèmes, ce qui en fait un outil important dans les domaines de l'informatique théorique et de la programmation formelle.
Pascal a également travaillé sur la résolution de problèmes par logique propositional (logique des propositions) et sur la complexité algorithmique. Il est l'auteur de nombreux articles et livres sur ces sujets, dont le livre le plus connu est "Logic and Computer Science" (1986).
Pascal a également fondé plusieurs sociétés et associations scientifiques, ainsi que des conférences internationales importantes. Il a reçu de nombreux prix et distinctions en reconnaissance de sa contribution à l'informatique théorique et à la programmation formelle, notamment le Prix Gödel en 1980 pour son travail sur les systèmes de preuve automatiques et le Prix Turing en 1991.
Au-delà de sa carrière scientifique, Pascal est également connu pour son style de vie simple et décentré. Il a toujours refusé tout type de récompense officielle ou matérielle, même lorsque ses travaux ont été reconnus en tant que fondamentaux dans le domaine de l'informatique théorique.
Sa mort en 1995 à l'âge de 46 ans a été un véritable choc pour la communauté scientifique française et internationale, car il était considéré comme un des plus grands esprits de son époque dans le domaine de l'informatique théorique. Depuis sa mort, ses travaux ont continué à influencer la recherche en informatique théorique et les domaines connexes, ce qui en fait une figure importante du panthéon des informaticiens français.
Il a commencé ses études supérieures en mathématiques à l'École normale supérieure (ENS) de Lyon, où il obtint son diplôme d'ingénieur en informatique en 1970. Après quelques années passées au Centre national de la recherche scientifique (CNRS), il a rejoint le Laboratoire d'informatique théorique et de modélisation mathématique de l'ENS de Paris, où il est resté jusqu'à sa mort en 1995.
Pascal est notamment connu pour avoir développé la logique des programs (LP), une approche formelle pour la définition de programmes informatiques. Cette logique a été utilisée pour développer des compilateurs et des preuveurs automatiques de théorèmes, ce qui en fait un outil important dans les domaines de l'informatique théorique et de la programmation formelle.
Pascal a également travaillé sur la résolution de problèmes par logique propositional (logique des propositions) et sur la complexité algorithmique. Il est l'auteur de nombreux articles et livres sur ces sujets, dont le livre le plus connu est "Logic and Computer Science" (1986).
Pascal a également fondé plusieurs sociétés et associations scientifiques, ainsi que des conférences internationales importantes. Il a reçu de nombreux prix et distinctions en reconnaissance de sa contribution à l'informatique théorique et à la programmation formelle, notamment le Prix Gödel en 1980 pour son travail sur les systèmes de preuve automatiques et le Prix Turing en 1991.
Au-delà de sa carrière scientifique, Pascal est également connu pour son style de vie simple et décentré. Il a toujours refusé tout type de récompense officielle ou matérielle, même lorsque ses travaux ont été reconnus en tant que fondamentaux dans le domaine de l'informatique théorique.
Sa mort en 1995 à l'âge de 46 ans a été un véritable choc pour la communauté scientifique française et internationale, car il était considéré comme un des plus grands esprits de son époque dans le domaine de l'informatique théorique. Depuis sa mort, ses travaux ont continué à influencer la recherche en informatique théorique et les domaines connexes, ce qui en fait une figure importante du panthéon des informaticiens français.
