Category Archives: Invited Speakers

Leslie Valiant

LGV_2008

    Leslie Valiant was educated at King’s College, Cambridge; Imperial College, London; and at Warwick University where he received his Ph.D. in computer science in 1974. He is currently T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics in the School … Continue reading

Posted in Invited Speakers | Leave a comment

Gérard Berry

A graduate of the Ecole Polytechnique and the Ecole des Mines, he completed a PhD in mathematics in 1979. In 1980 he joined Inria, where much of his research work centred around the development of the Esterel language. This language … Continue reading

More Galleries | Leave a comment

Manuel Bodirsky

Manuel Bodirsky holds a CNRS research position at the École Polytechnique. He wrote his thesis at Humboldt University Berlin. His major research focus is the complexity of constraint satisfaction problems, and he is interested in the mathematical tools from universal algebra, model theory, and … Continue reading

Posted in Invited Speakers | Leave a comment

Peter Bürgisser

Peter Bürgisser is Professor of Mathematics at the University of Paderborn in Germany. His main area of expertise is the complexity of algebraic and geometric problems. He is also interested in the average-case analysis of numerical problems. He was an invited speaker at the … Continue reading

More Galleries | Leave a comment

Gilles Dowek

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

More Galleries | Leave a comment

J.M.E. Hyland

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

More Galleries | Leave a comment

Erich Kaltofen

Erich Kaltofen

Erich Kaltofen is a Professor at North Carolina State University. He has held visiting positions at MSRI in Berkeley, the University of Toronto, the ENS Lyon, and MIT. His research is in symbolic computation and theoretical computer science. His current interests are in … Continue reading

More Galleries | Leave a comment

Sophie Laplante

Sophie Laplante received her Ph.D. from the University of Chicago and is Professor of Computer Science at Université Paris-Sud 11. She specializes in classical and quantum complexity theory. La thèse de Turing à l’ère du calcul quantique Nous parlerons de la … Continue reading

Posted in Invited Speakers | Leave a comment

Jean Lassègue

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

Posted in Invited Speakers | Leave a comment

Giuseppe Longo

Giuseppe Longo is currently a Senior Research Scientist at CNRS. He is working at the CREA, Ecole Polytechnique et au CIRPHLES of ENS Ulm in Paris. He’s the head of the CIM team (Complexité et information morphologiques). The main research … Continue reading

More Galleries | Leave a comment

Daniele Micciancio

Daniele Micciancio is Professor of Computer Science at the University of California, San Diego. His main areas of expertise are the complexity of lattice problems and lattice based cryptography. He is interested in theoretical computer science at large, with a focus on problems related … Continue reading

Posted in Invited Speakers | Leave a comment

Jean-Michel Salanskis

Jean-Michel Salanskis is Professor of philosophy at the University of Paris Ouest Nanterre La Défense. His main area of expertise is the philosophy of  mathematics, of phenomenology, of contemporary philosophy. La construction et le calcul Nous présenterons ce que nous tenons principalement de Turing … Continue reading

More Galleries | 1 Comment