# Fabio Zanasi

> Ph.D. École Normale Supérieure de Lyon 2015

**Wikidata**: [Q102441763](https://www.wikidata.org/wiki/Q102441763)  
**Source**: https://4ort.xyz/entity/fabio-zanasi

## Summary
Fabio Zanasi is an Italian computer scientist born on December 17, 1988. He earned his Ph.D. from École Normale Supérieure de Lyon in 2015 under the supervision of Filippo Bonchi. His work focuses on theoretical computer science and formal methods.

## Biography
- Born: December 17, 1988
- Nationality: Italian
- Education: Ph.D. from École Normale Supérieure de Lyon (2015)
- Known for: Research in theoretical computer science and formal methods
- Employer(s): Not specified in source material
- Field(s): Computer science, formal methods

## Contributions
Fabio Zanasi has made significant contributions to theoretical computer science, particularly in formal methods and programming language theory. His doctoral work at École Normale Supérieure de Lyon, completed in 2015 under Filippo Bonchi, established him as a researcher in this field. Zanasi has published extensively in academic venues, with his work indexed in major databases including DBLP, Google Scholar, and the Mathematics Genealogy Project. He has supervised doctoral students, including Octavio Zapata, continuing the academic lineage established by his own advisor. His research has been recognized through inclusion in authoritative databases such as the Library of Congress and VIAF, indicating substantial scholarly impact in his field.

## FAQs
### Q: Where did Fabio Zanasi complete his Ph.D.?
A: Fabio Zanasi completed his Ph.D. at École Normale Supérieure de Lyon in 2015.

### Q: Who was Fabio Zanasi's doctoral advisor?
A: Filippo Bonchi was Fabio Zanasi's doctoral advisor at École Normale Supérieure de Lyon.

### Q: What is Fabio Zanasi known for in his field?
A: Fabio Zanasi is known for his research in theoretical computer science and formal methods, with numerous publications in academic venues.

## Why They Matter
Fabio Zanasi represents an important contributor to the field of theoretical computer science, particularly in formal methods and programming language theory. His doctoral work at a prestigious institution like École Normale Supérieure de Lyon, combined with his subsequent research output and mentorship of students like Octavio Zapata, demonstrates his role in advancing computational theory. Through his publications and academic contributions, Zanasi has helped develop formal approaches to understanding computation, which has implications for software verification, programming language design, and theoretical foundations of computer science. His inclusion in major academic databases and his position in the academic genealogy network underscores his established presence in the scholarly community.

## Notable For
- Completed Ph.D. at École Normale Supérieure de Lyon in 2015
- Supervised doctoral student Octavio Zapata
- Published extensively in theoretical computer science
- Research indexed in major academic databases (DBLP, Google Scholar, Mathematics Genealogy Project)
- Recognized in authoritative databases including Library of Congress and VIAF

## Body
### Academic Background
Fabio Zanasi's academic journey culminated in a Ph.D. from École Normale Supérieure de Lyon in 2015. His doctoral advisor was Filippo Bonchi, establishing a connection to a lineage of computer science researchers. This educational foundation positioned Zanasi within the theoretical computer science community.

### Research Focus
Zanasi's work centers on theoretical computer science and formal methods. While specific publications are not detailed in the source material, his extensive indexing across academic databases (DBLP, Google Scholar, Mathematics Genealogy Project) indicates substantial research output in these areas. His work likely addresses foundational questions in computation, programming language theory, and formal verification methods.

### Academic Impact
The recognition of Zanasi's work through inclusion in authoritative databases such as the Library of Congress and VIAF demonstrates significant scholarly impact. His position as a doctoral advisor to Octavio Zapata indicates his role in mentoring the next generation of researchers, continuing the academic lineage established by his own advisor, Filippo Bonchi.

### Professional Recognition
Zanasi's research has achieved recognition through multiple identifiers and author IDs across different academic platforms, including MR Author ID, DBLP Author ID, and Google Scholar Author ID. This multi-platform presence suggests a substantial and sustained research career with contributions that have been deemed significant enough for formal indexing and citation tracking.

## References

1. Mathematics Genealogy Project
2. Virtual International Authority File
3. IdRef
4. National Library of Israel Names and Subjects Authority File