Giuseppe LONGO, short CV

For more, downloadings and updates Go to Longo's main web page

Directeur de Recherche, CNRS  (DR Emérite)
Centre Cavaillès (République des Savoirs), CNRS, Collège de France & Ecole Normale Supérieure, Paris
main e-mail: firstname.lastname(at)ens(dot)fr 

      

Member of the ACADEMIA EUROPAEA, the European Academy of Sciences.


Adjunct Professor, School of Medicine, Tufts University, Boston, USA, 2013 - 2019.
Ancien responsable :
Projet "Lois des dieux, des hommes et de la nature" à l'Institut d'Etudes Avancées, Nantes (2015 - 2018), (volume publié LoisDHN)
Equipes :
- "Complexité et information morphologiques" (CIM, 2002 - 2011), 
- "Langages, Types et Logique" (1990 - 2002),
en tant que DR - CNRS au Dépts. de Mathématiques et Informatique, Ecole Normale Supérieure, Paris.

  

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
    		•

  • Invited lecturer at 85 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:
    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:
  • AWARDS:

    • 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 mathematical and philosophical analyses in Biology (see downloadable publications).