# Giuseppe Longo

> Italian mathematician (born 1947)

**Wikidata**: [Q3108069](https://www.wikidata.org/wiki/Q3108069)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Giuseppe_Longo)  
**Source**: https://4ort.xyz/entity/giuseppe-longo

## Summary
Giuseppe Longo is a prominent Italian mathematician and computer scientist known for his work on the mathematical structures of computation. He is a long-standing researcher at the French National Center for Scientific Research (CNRS) and has served as a foundational mentor to a generation of leading theoretical computer scientists.

## Biography
- **Born:** July 23, 1947, in Rome, Italy
- **Nationality:** Italian
- **Education:** University of Pisa; student of Antonio Grasselli
- **Known for:** Contributions to the mathematical foundations of computer science and extensive academic mentorship
- **Employer(s):** National Center for Scientific Research (CNRS)
- **Field(s):** Mathematics, Computer Science

## Contributions
Giuseppe Longo has made significant contributions to the intersection of mathematics and computer science, specifically in the study of computation and its formal structures. Affiliated with the National Center for Scientific Research (CNRS) in France and the École Normale Supérieure (ENS) in Paris, his work focuses on the application of mathematical logic to computational theory. He has played a vital role in the academic community as an editor for the journal *Mathematical Structures in Computer Science*, published by Cambridge University Press.

Longo is perhaps most distinguished by his prolific record as a doctoral advisor. He has supervised a large number of students who have become influential figures in the field. His notable students include Roberto Di Cosmo, a key figure in software heritage and computer science; Andrea Asperti and Giorgio Ghelli, both prominent Italian researchers; and Simone Martini, a respected university teacher. His academic lineage, documented by the Mathematics Genealogy Project, connects him to the University of Pisa's tradition of rigorous scientific inquiry. His research and editorial work have helped define the formal language used to describe computational processes, bridging the gap between abstract mathematical theory and practical computer science.

## FAQs
### Q: What is Giuseppe Longo's primary area of expertise?
A: Giuseppe Longo is an expert in mathematics and computer science, specifically focusing on the mathematical structures and logic that underpin computation.

### Q: Which major research institution is Giuseppe Longo affiliated with?
A: He is a researcher at the National Center for Scientific Research (CNRS) in France, with his work frequently associated with the École Normale Supérieure (ENS) in Paris.

### Q: Who are some of Giuseppe Longo's most notable students?
A: He has mentored several prominent computer scientists, including Roberto Di Cosmo, Andrea Asperti, Giorgio Ghelli, Simone Martini, and Giuseppe Castagna.

### Q: What languages does Giuseppe Longo use in his professional work?
A: According to academic records, Longo is proficient in Italian, English, and French, reflecting his career across major European research institutions.

## Why They Matter
Giuseppe Longo’s significance stems from his role as both a researcher and a primary architect of the European theoretical computer science community. By establishing rigorous mathematical frameworks for computation, he helped elevate the study of "Mathematical Structures in Computer Science" into a recognized and vital discipline. His long-term affiliation with the CNRS has made him a central figure in the scientific exchange between Italy and France.

Longo’s impact is most visible through the success of his doctoral students. By training a generation of scientists who now lead major research initiatives and academic departments, he has ensured the continued growth of logic-based computer science. His work as an editor and author, documented in global databases like DBLP and zbMATH, has provided the theoretical tools necessary for understanding complex computational systems. Without his contributions to mentorship and formal theory, the landscape of Italian and French computer science would lack much of its current interconnectedness and mathematical depth.

## Notable For
*   **Academic Mentorship:** Supervised over ten prominent doctoral students, many of whom are now leaders in theoretical computer science.
*   **Editorial Leadership:** Served on the editorial board of the Cambridge University Press journal *Mathematical Structures in Computer Science*.
*   **International Research:** Held a long-term position at the French National Center for Scientific Research (CNRS) while maintaining strong ties to Italian academia.
*   **Global Recognition:** Featured in major international authority files including the Library of Congress, the German National Library (GND), and the National Diet Library of Japan.

## Body
### Early Life and Education
Giuseppe Longo was born on July 23, 1947, in Rome, Italy. He attended the University of Pisa, where he studied under Antonio Grasselli. His education in Pisa provided the foundation for his later work in the formalization of mathematical logic and its applications to the then-emerging field of computer science.

### Professional Affiliations
Longo’s professional career is primarily defined by his tenure at the National Center for Scientific Research (CNRS) in France. He is associated with the Department of Computer Science at the École Normale Supérieure (DI ENS) in Paris. His work at CNRS, an organization with over 30,000 employees, places him at the center of European research and development in the physical and natural sciences.

### Academic Lineage and Students
Longo has been a highly influential doctoral advisor. His students have gone on to hold significant positions in computer science:
*   **Roberto Di Cosmo:** Ph.D. student who became a notable Italian computer scientist (born 1963).
*   **Roberto M. Amadio:** Completed his Ph.D. at the Università di Pisa in 1991 under Longo's supervision.
*   **Giuseppe Castagna:** Completed his Ph.D. at Université Paris Diderot in 1994.
*   **Simone Martini:** An Italian computer scientist and university teacher (born 1959).
*   **Giorgio Ghelli and Andrea Asperti:** Both prominent Italian computer scientists born in 1961.

Other doctoral students include Antonio Bucciarelli, Roberto Bellucci, Chen Gang, Frédéric de Jaeger, and Martin Devautour.

### Research and Publications
Longo's research is cataloged extensively in scientific databases. He has a significant presence in the DBLP Computer Science Bibliography (ID: 44/3784) and the zbMATH database. His work is characterized by the application of mathematical structures to computer science, a field he has also supported through his editorial roles. He is recognized by the Library of Congress (ID: n83169453) and the Bibliothèque nationale de France for his published contributions to the field.

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Giuseppe Longo",
  "jobTitle": "Mathematician and Computer Scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "National Center for Scientific Research (CNRS)"
  },
  "nationality": {
    "@type": "Country",
    "name": "Italy"
  },
  "birthDate": "1947-07-23",
  "birthPlace": "Rome, Italy",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Pisa"
    }
  ],
  "knowsAbout": [
    "Mathematics",
    "Computer Science",
    "Mathematical structures in computer science"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q15526718",
    "https://en.wikipedia.org/wiki/Giuseppe_Longo"
  ],
  "description": "Italian mathematician and computer scientist known for his work at CNRS and his mentorship of prominent theoretical computer scientists."
}

## References

1. [Source](https://www.ailalogica.it/pdf/costituzione-aila.pdf)
2. BnF authorities
3. [Source](https://www.di.ens.fr/users/longo/)
4. [Source](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/information/editorial-board)
5. IdRef
6. Mathematics Genealogy Project
7. [Source](https://www.theses.fr/2011PA05T020)
8. Value Indefiniteness, Randomness and Unpredictability in Quantum Foundations
9. [Source](http://hdl.handle.net/2292/27774)
10. general catalog of BnF
11. Virtual International Authority File
12. [BnF authorities](https://catalogue.bnf.fr/ark:/12148/cb15126718w)
13. [SciGraph](https://scigraph.springernature.com/person.01306734600.38)
14. National Library of Israel Names and Subjects Authority File