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. Cognitive Foundations of Mathematics.
MAIN RESEARCH AND TEACHING EXPERIENCES:
- Univ. of Pisa (Assistant Professor of Applied Math; Associate Professor of Math Logic; Professor of Computer Science; 15 years total);
- U.C.Berkeley, M.I.T. (research grants) and Carnegie Mellon University (Invited Professor)
(3 years total);
- Utrecht University, Oxford University (6 months total);
- Ecole Normale Supérieure, Paris (1989/90: Invited Professor; since 1990: Directeur de Recherche CNRS).
MAIN EDITORSHIPS AND COMMITTEES:
Structures in Computer Science (MSCS),
Cambridge University Press (Editor - in -
Computation, Academic Press
3 - European Review (the journal of Academia Europaea), Cambridge University Press
4 - Journal of Mind Theory, UPM
Informatics and Applications, EDP Sciences
- La Nuova Critica (Philosophy of
7 - JUCS
(Springer electronic journal in Computer Science).
Invited lecturer at 40 international conferences and at about 160 seminar
talks in Universities or Research Institutions in Europe, USA and Asia (see "Invited lectures, since 1998").
42 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
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.
Young Mathematicians' award of the Unione Matematica Italiana, 1974;
Member of the Academia Europaea, since 1992.
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: about 100 articles, 2 books (the first one, 1991, M.I.T. Press, is out of print and downloadable). 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 18 PhD theses (10 of these former PhD students yield a research/university position in France, 5 in Italy, 1 in GB, 1 in Canada, 1 USA).
E-mail: longo (at) di.ens.fr
Bureau: III floor, 29, rue d'Ulm, 75005 Paris.
Téléphone: +33 1 44 32 29 60 (email preferred)
Back to Longo's index page.