Giuseppe LONGO

Directeur de Recherche (DR1)

CNRS & Département. d'Informatique
Ecole Normale Supérieure
45, rue d'Ulm (Etage 3, Escalier A)
75230 Paris Cedex 05 - France

Équipe "Complexité et information morphologiques" (CIM),
Laboratoire d'Informatique de l'ENS (LIENS).

Membre à temps partiel du CREA, Ecole Polytechnique.
Membre co-fondateur du CenECC, ENS.

Ancien responsable de l'équipe Langages, Types et Logique, LIENS.
Ancien Professeur ("Professore Ordinario") d'Informatique, Universita' di Pisa.

frListPubCV.pdf

recent downloadable publications

STUDIES: "Laurea" (cum laude) in Mathematics, Universita' di Pisa.

PRINCIPAL FIELD OF INTEREST:
Logic and Theory of Computation; denotational semantics and lambda-calculus; Type Theory, Category Theory and their applications to Computer Science. Interfaces Mathematics, Physics, Biology. Philosophy of Mathematics and Cognitive sciences.

MAIN RESEARCH AND TEACHING EXPERIENCES:
- Utrecht University, Oxford University (6 months total);
- U.C.Berkeley, M.I.T. (research grants) and Carnegie Mellon University (Invited Professor) (3 years total);
- Univ. of Pisa (15 years: Assistant Professor of Applied Math; Associate Professor of Math Logic; Professor of Computer Science);
- Ecole Normale Supérieure, Paris (1989/90: Invited Professor; since 1990: Directeur de Recherche CNRS).

MAIN EDITORSHIPS AND COMMITTEES:

Book Series Editor:
1 - Visions des sciences, Hermann, Paris, since 2006. (Enregistrement vidéo de la présentation de la nouvelle collection et ses deux premiers livres, ENS, le 20 novembre 2006.)
2 - Studies in Applied Philosophy, Epistemology and Rational Ethics, Springer, since 2011.

Journals Editor:
1 - Mathematical Structures in Computer Science (MSCS),
Cambridge University Press (Editor - in - chief)
2 - Information and Computation, Academic Press
3 - European Review (the journal of Academia Europaea), Cambridge University Press
4 - Journal of Mind Theory, UPM
5 - Theoretical Informatics and Applications, EDP Sciences
6 - La Nuova Critica (Philosophy of Sciences), Roma
7 - JUCS (Springer electronic journal in Computer Science).

Program Commettees:
36 international conferences in Logic, Computer Science and Cognition (Chairman of 14th IEEE Conference "Logic in Computer Science" 1999, LICS'99).

Editor of 7 volumes (conference proceedings, thematic collected papers...)

MAIN RESEARCH GRANTS:

U.S. NSF - Italian NRC joint research grant (with Kim B. Bruce, Albert R.Meyer, M.I.T.), 1982-1986.
Jumelage, European Economic Community (with H. Barendregt, P.L. Curien, J.Y. Girard (dir.), G. Plotkin and others) 1988 - 1991.
NRC : Italian Universities/Stanford University (with S. Feferman and J. Mitchell, Stanford), 1989 - 1991.
Esprit/ USA NSF, Workshop on the foundation of Object Oriented Programming, 1994 - 1996.
European Network on Foundation of C.S. (Human Capital and Mobility; G. Plotkin, dir.), 1994 - 1998.
European Community, HCM Network on Lambda-Calculus and functional programming ( J.Y. Girard, dir.) 1993 - 1998.
French Ministry of Education and Research (MENRT, ACI Cognitique), project "Géométrie et Cognition", 1999 - 2002.
Programme MATH/STIC CNRS, projet sur l'Invertibilité des termes et programmes et le traitement de l'information (responsable: S. Soloviev), 2004 - 2005.
ACI Minist-CNRS, projet sur Neurogéométrie du cortex visuel, ACINIM (responsable: B. Teissier), 2004 - 2006.
ANR, projet: Dynamiques physiques et calculabilité effective: états critiques, singularités et calcul digital, 2006 - 2008.
Financement annuel du Réseau Nat. Systèmes Complexes, RNSC : Rythmes et temps biologiques, 2011.
Projet IRSES, financement CE-FP7, consortium extra CE: Aléatoire (physique et algorithmique) et l'irréversibilité du temps en physique; avec K. Svozil, Physique, U. Vienna, et C. Calude, Informatique, U. Aukland (NZ), 2011 - 2014.

AWARDS:

Young Mathematicians' award of the Unione Matematica Italiana, 1974;
Member of the Academia Europaea, since 1992.

Invited lecturer at 35 international conferences and at about 150 seminar talks in Universities or Research Institutions in Europe, USA and Asia.

Research
The main research area Longo has been interested in concerns syntactic and semantic properties of the "logical base" of functional languages: Combinatory Logic, Lambda-calculus and their extensions. However, he always investigated these topics in its broadest setting which relates them to Recursion Theory, Proof Theory and Category Theory.

In this perspective, Longo worked at some aspects of Recursion Theory, Higher Type Recursion Theory, Domain Theory and Category Theory as part of a unified mathematical framework for the theory and the design of functional languages. In a sense, Longo has always been mostly interested in the "interconnecting results" or "bridges" and applications among different areas and to language design. He also worked at the applications of functional approaches to Object Oriented programming.
He is currently extending his interdisciplinary interests to Philosophy of Mathematics, Biology and Cognitive Sciences. The main project in these areas is an interdisciplinary initiative on Geometry and Cognition (started with the corresponding grant: "Géométrie et Cognition", 1999 - 2002), focusing on the geometry of physical and biological spaces. The developements of this project lead to a new initiative at DI-ENS, in 2002, the setting up of the research team "Complexité et information morphologiques" (CIM), centered on foundational problems in the interface between Mathematics, Physics and Biology. The main recent advances concern mathematical analyses in Systems Biology (see downloadable publications).

Publications

frListPubCV.pdf

recent downloadable publications

Longo helped to start, by active teaching and students' supervision, the Graduate Programme in Theoretical Computer Science in the Department of Computer Science of the University of Pisa, from 1982, when it began, till 1989, when he left Pisa for Paris. Then from 2000 to 2005 he was a member of the "Conseil Pedagogique" of the DEA (Graduate Studies) in Cognitive Sciences (EHESS-ENS-Polythecnique)

G. Longo has supervised 35 (research-oriented) master theses (or "memoires de DEA/Master") and 15 PhD theses (7 of these former PhD students yield a permanent research/university position in France, 4 in Italy, 1 in GB, 1 in USA, 2 post-doc).

E-mail: longo (at) di.ens.fr

Bureau: Escalier A, III floor.
Téléphone: +33 1 44 32 33 28
Fax: +33 1 44 32 21 56

Back to Longo's index page.