Giuseppe LONGO, short CV
Directeur de Recherche, CNRS (DR Emérite)
Centre Cavaillès (République des Savoirs), CNRS, Collège de France & Ecole Normale Supérieure, Paris
Member of the ACADEMIA EUROPAEA, the European Academy of Sciences.
Adjunct Professor, School of Medicine, Tufts University, Boston, USA (2013 - 2019).
Ancien DR - CNRS au Dépts. de Mathématiques et Informatique, Ecole Normale Supérieure, Paris (1990 - 2012).
Ancien Professeur
- "Ordinario" de Méthodes Mathématiques en Informatique (1987 - 1990)
- "Incaricato", puis "Associato" de Logique Mathématique (1976 - 1987)
Dip. di Informatica, Universita' di Pisa
|
CV-full.pdf
Recent downloadable publications
Photos officielles / Official Pictures
Wikipedia English
|
-
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. Cognitive Foundations of Mathematics. Interfaces Mathematics, Physics, Biology.
- Lien à l'Association des amis de la génération Thunberg (AAGT-Épokhé), co-président.
- Link to ENSSER (European Network of Scientists for Social and Environmental Responsibility).
- Lien au Groupe Girolamo Cardano.
-
MAIN RESEARCH AND TEACHING EXPERIENCES:
- Univ. of Pisa (Assistant Professor of Applied Mathematics; Associate Professor of Mathemathical Logic; Professor of Computer Science; 15 years total, from 1971 to 1990).
- Utrecht University, Oxford University (6 months total, from 1978 to 1980);
- U.C. Berkeley, 1980; M.I.T., 1981 (research grants); Carnegie Mellon University (Invited Professor, 1987-88), USA: 3 years total.
- Ecole Normale Supérieure, Paris (1989/90: Invited Professor; since 1990: Directeur de Recherche CNRS).
-
MAIN BOOK SERIES EDITORSHIPS AND COMMITTEES:
- 1 - Nouvelles Visions des sciences, à partir de 2018, Spartacus IDH, précédemment Visions des sciences, Hermann, Paris, 2006 - 2017. (Enregistrement vidéo de la présentation de la collection et ses deux premiers livres, ENS, le 20 novembre 2006.)
- 2 - Studies in Applied Philosophy, Epistemology and Rational Ethics, Springer, since 2011.
- 3 - Human Perspectives in Health Sciences and Technology, Springer, since 2018.
- 1 - Mathematical Structures in Computer Science (MSCS),
Cambridge University Press (founder and editor - in - chief, 1990 - 2015; editor: 2016 - ...)
- 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.
- 8 - Biology Forum (Gia' Rivista di Biologia, dal 1919), Roma.
- 9 - Philosophical inquiries (Philosophy of Sciences), Electronic Journal.
- 10 - Advances in Historical Studies (AHS) (History of Sciences), Electronic Journal.
- 11 - Biophysics (American Inst. Math. Sci.).
- 12 - Epistemologica (Mimesis, Milano).
- 13 - Organisms. Journal of Biological Sciences (Univ. Sapienza, Roma).
- 14 - Computational Culture, a British journal of software studies.
- 15 - Annals of Mathematics and Philosophy, Spartacus IDH, Paris.
- 16 - Frontiers: Integrative Physiology, a section within Frontiers in Physiology.
Invited lecturer at 90 international conferences and at about 200 seminar
talks in Universities or Research Institutions in Europe, USA, Latin America, New Zealand and Asia (see "Invited lectures, since 1998").
Main Program Commettees:
60 international conferences in Logic, Computer Science (Chairman of
14th IEEE Conference "Logic in Computer Science" 1999, LICS'99), Cognition and Biology.
Editor of 10 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.
-
Proponent of the Chaire Blaise Pascal for Ana Soto, biologist, at Ens 2013 - 2015.
AWARDS:
-
Young Mathematicians' award of the Unione Matematica Italiana, 1974;
-
Member of the Academia Europaea, since 1992.
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 Mathematicsand Theoretical Biology. 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 theoretical, mathematical and philosophical analyses in Biology (see downloadable publications).
Publications: more than 100 (co-)authored articles, see CV-full.pdf, and 5 books:
- BOOKS:
5 - G. Longo, Le cauchemar
de Prométhée. Les sciences et leurs limites. Préface de Jean Lassègue, postface d´Alain Supiot. PUF, Paris, 2023.
- Couverture-Table-introLeCauchemarPromethee.pdf - E. Klein : Présentation sur France Culture - 4 minutes
- France Culture, entretien : Quelles sont les limites de la connaissance ? - 58 minutes
4 - G. Longo, Matematica e senso. Per non divenir macchine, Mimesis, 2022.
- Copertina-Intro-longo-matematica-e-senso.pdf (presentazione: perEpistemologie-presentaLibro.pdf; recensione: la-matematica-produttrice-di-conoscenza-e-di-senso)
3 - G. Longo, M. Montévil, Perspectives on Organisms: Biological Time, Symmetries and Singularities, Springer, Berlin, 2014.
- Foreword by D. Noble, Introduction and chapter 1.pdf
(out of print, downloadable: The entire book .pdf, pp. 1 - 315)
2 - F. Bailly, G. Longo, Mathematics and the Natural Sciences. The Physical Singularity of Life, Imperial College Press, London, 2011.
- Introduction.pdf; a review: EnglishPourLaSci.pdf
- Version préliminaire en français, Hermann, Paris, 2006, (avant-propoIndex.pdf).
- Enregistrement audio de la présentation du livre, ENS, 20/11/2006.
- Comptes rendus du livre par
Jean Lassègue: version courte.pdf, version pour La Science.pdf.
Franck Varenne: dans Natures Sciences Sociétés, n. 16, 2008.
1 - A. Asperti, G. Longo. Categories, Types and Structures. Category Theory for the working computer scientist. M.I.T. Press, 1991
(out of print, downloadable: The entire book .pdf, pp. 1 - 300)
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 21 PhD theses (11 of these former PhD students yield a research/university position in France, 5 in Italy, 1 in GB, 1 in Canada, 1 USA).
Bureau: III floor, 29, rue d'Ulm, 75005 Paris.
Back to Longo's index page.