Giuseppe LONGO

Directeur de Recherche  (DRE)
Centre Cavaillès, CIRPHLES, CNRS & Ecole Normale Supérieure , Paris
e-mail: name (at) ens.fr 

Équipe "Complexité et information morphologiques" (CIM),
     

Adjunct Professor, Graduate School of Cell and Developmental Biology, Tufts University, Boston

 

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

  • frListPubCV.pdf
  • recent downloadable publications

  • 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.