# Davide Sangiorgi

> Italian computer scientist

**Wikidata**: [Q16875282](https://www.wikidata.org/wiki/Q16875282)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Davide_Sangiorgi)  
**Source**: https://4ort.xyz/entity/davide-sangiorgi

## Summary
Davide Sangiorgi is an Italian computer scientist known for his research on expressing mobility in process algebras. He works at the University of Bologna and has made significant contributions to the field of computer science through his development of first-order and higher-order paradigms for process calculi.

## Biography
- Born: 1964
- Nationality: Italian
- Education: PhD from University of Edinburgh (doctoral advisor: Robin Milner)
- Known for: Research on mobility in process algebras
- Employer(s): University of Bologna
- Field(s): Computer science

## Contributions
Davide Sangiorgi is best known for his doctoral thesis on "Expressing mobility in process algebras: first-order and higher-order paradigms," which forms the foundation of much of his research. His work has advanced the understanding of concurrent and distributed systems through formal modeling techniques that capture dynamic behavior of systems where components can move or change connections. His research bridges theoretical computer science with practical applications in system verification, providing essential tools for reasoning about complex distributed systems. As both a researcher and supervisor, he has influenced the development of process algebra theory while mentoring next-generation computer scientists.

## FAQs
### Q: Who was Davide Sangiorgi's doctoral advisor?
A: Davide Sangiorgi was advised by Robin Milner, a prominent British computer scientist known for his foundational work in process algebras and the Calculus of Communicating Systems (CCS).

### Q: Who has Davide Sangiorgi supervised as a doctoral advisor?
A: Sangiorgi has supervised several doctoral students, including Christine Röckl (who received her Dr. rer. nat. from Technische Universität München in 2001) and Jorge A. Perez.

### Q: What is Sangiorgi's primary contribution to computer science?
A: His primary contribution is in the development of process algebras that can express mobility, creating formalisms that allow for modeling systems with dynamic components, which is essential for understanding modern distributed computing systems.

## Why They Matter
Davide Sangiorgi's work has been fundamental in advancing the theoretical foundations of concurrent and distributed systems through his development of process algebras with mobility capabilities. His research has provided essential tools for reasoning about complex systems with dynamic components, influencing fields from software verification to network protocols. As a member of Academia Europaea since 2011 and through his supervision of doctoral students, he has helped shape the next generation of computer scientists. Without Sangiorgi's contributions, the field of process algebras would lack formalisms to handle mobility effectively, limiting our ability to analyze modern distributed systems where components dynamically join and leave.

## Notable For
- Development of process algebras with mobility capabilities
- Doctoral thesis on "Expressing mobility in process algebras: first-order and higher-order paradigms"
- Supervision of doctoral students including Christine Röckl
- Membership in Academia Europaea since 2011
- Collaboration with Robin Milner, a pioneer in the field of process calculi

## Body
### Early Life and Education
Davide Sangiorgi was born in 1964. He pursued his doctoral studies at the University of Edinburgh, where he was advised by Robin Milner, a prominent British computer scientist known for his foundational work in process algebras and the Calculus of Communicating Systems (CCS).

### Academic Career
Sangiorgi is currently affiliated with the University of Bologna as a computer scientist. His academic work spans both theoretical and applied aspects of computer science, with a particular focus on process algebras and formal methods.

### Research Focus
His primary research area is in expressing mobility in process algebras, developing both first-order and higher-order paradigms for this purpose. His doctoral thesis on this topic has become a foundational work in the field.

### Supervision and Mentoring
As an academic, Sangiorgi has supervised several doctoral students, including Christine Röckl and Jorge A. Perez. Christine Röckl herself is a computer scientist who received her Dr. rer. nat. from Technische Universität München in 2001.

### Professional Recognition
Sangiorgi has been recognized for his contributions to computer science through his membership in Academia Europaea since 2011, specifically in the Informatics section.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Davide Sangiorgi",
  "jobTitle": "Computer scientist",
  "worksFor": {"@type": "Organization", "name": "University of Bologna"},
  "nationality": {"@type": "Country", "name": "Italy"},
  "birthDate": "1964",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "University of Edinburgh"}],
  "knowsAbout": ["Computer science", "Process algebras", "Concurrency", "Mobility in computation"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q2018390",
    "http://www.cs.unibo.it/~sangio/"
  ],
  "description": "Italian computer scientist known for his work on expressing mobility in process algebras"
}

## References

1. Mathematics Genealogy Project
2. CiNii Research
3. [Source](https://www.ae-info.org/ae/User/Sangiorgi_Davide)
4. Czech National Authority Database
5. Virtual International Authority File
6. [E-Theses Online Service](http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.566460)