Leslie Valiant a fait ses études au King’s College à Cambridge, à l’Imperial College à Londre et à l’University de Warwick où il a passé sa thèse en informatique en 1974. Il occupe actuellement la chaire T. … Continue reading
Ancien élève de l’École polytechnique et ingénieur général des Mines. Après avoir obtenu le diplôme de l’Ecole des mines de Paris (1973), il reste comme chercheur dans cette Ecole jusqu’en 2000, tout en poursuivant d’abord une thèse d’Etat en mathématiques … Continue reading
Manuel Bodirsky est chercheur au CNRS, en poste au Laboratoire d’Informatique de l’École Polytechnique. Il a passé sa thèse à l’Université Humboldt de Berlin. Son sujet principal est la complexité des problèmes de satisfaction de contraintes, et il s’interesse aux outils mathématiques de l’algèbre universelle, de … Continue reading
Peter Bürgisser est professeur à l’université de Paderborn en Allemagne. C’est un spécialiste de la complexité des problèmes d’algèbre et de géométrie. Il s’intéresse aussi à l’analyse en moyenne des problèmes d’analyse numérique. Il a été orateur invité au congrès international des mathématiciens … Continue reading
Gilles Dowek est aujourd’hui directeur de recherche Inria. Au sein de l’équipe-projet TYPICAL (Inria Saclay -Île-de-France), il a mené ses recherches sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de … Continue reading
J.M.E. Hyland est professeur de logique mathématique au King’s College à Cambridge. Logic, abstract mathematics and the science of information: an unappreciated aspect of the heritage of Turing. The science of information was born … Continue reading
Erich Kaltofen est professeur à North Carolina State University. Il a été professeur invité au Mathematical Sciences Research Institute à Berkeley (MSRI), à l’université de Toronto, à l’ENS de Lyon et au MIT. Ses domaines de recherche sont le calcul symbolique … Continue reading
Sophie Laplante a obtenu un Ph.D. de l’université de Chicago et elle est Professeur en Informatique à l’Université Paris-Sud 11. Elle est spécialiste de la complexité du calcul classique et quantique. La thèse de Turing à l’ère du calcul quantique Nous parlerons de la thèse de Turing, dans le contexte de … Continue reading
Jean Lassègue est chercheur au CNRS, attaché au Centre de Recherche en Epistémologie Appliquée (CREA) de l’Ecole polytechnique. Philosophe des sciences, il s’est tout d’abord attaché à décrire la cohérence interne de l’ensemble des travaux de Turing qui l’ont progressivement conduit de l’étude du … Continue reading
Giuseppe Longo est Directeur de Recherches au CNRS. Il est membre du CREA Ecole Polytechnique et du CIRPHLES de l’ENS Paris. Il est responsable de l’équipe CIM (Complexité et information morphologiques). Ses domaines de recherche couvrent : la Logique Mathématique et … Continue reading
Daniele Micciano est professeur au département Computer Science & Engineering de l’Université de Californie à San Diego. Ses domaines d’expertise sont la complexité pour des problèmes de réseaux euclidiens et la cryptographie basée sur les réseaux. Ses centres d’intérêt concerne l’informatique … Continue reading
Jean-Michel Salanskis, professeur de philosophie à l’Université Paris Ouest Nanterre La Défense, a travaillé dans les domaines de la philosophie des mathématiques, de la phénoménologie, de la philosophie contemporaine, et sur la tradition juive. Il est l’auteur de 20 ouvrages … Continue reading
