Giuseppe LONGO, short CV
Directeur de Recherche (DRE)
Centre Cavaillès, République des Savoirs,
CNRS - Ens - Collège de France, CNRS & Ecole Normale Supérieure , Paris
e-mail: name (at) ens.fr
Responsable du projet, 2015 - 20: "Lois des dieux, des hommes et de la nature" (LoisDHN), à l'IEA - Nantes
Adjunct Professor, Graduate School of Cell and Developmental Biology, Tufts University, Boston
Ancien responsable des équipes:
Complexité
et information morphologiques" (CIM),
Langages,
Types et Logique, LIENS. Ancien Professeur "Associato" de Logique Mathématique, puis Professeur
"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. Cognitive Foundations of Mathematics. Interfaces Mathematics, Physics, Biology.
-
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 EDITORSHIPS AND COMMITTEES:
- 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).
-
Invited lecturer at 65 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").
-
Program Commettees:
58 international conferences in Logic, Computer Science (Chairman of
14th IEEE Conference "Logic in Computer Science" 1999, LICS'99), Cognition and Biology.
-
Editor of 9 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 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, 3 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 20 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: giuseppe.longo (at) 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.