# Chiara Bodei

> Italian computer scientist (1968-)

**Wikidata**: [Q56643891](https://www.wikidata.org/wiki/Q56643891)  
**Source**: https://4ort.xyz/entity/chiara-bodei

## Summary
Chiara Bodei is an Italian computer scientist born in 1968 in Pisa, Italy. She is a professor at the University of Pisa and earned her Ph.D. there under the supervision of Pierpaolo Degano. Her work focuses on theoretical computer science and formal methods.

## Biography
- Born: January 12, 1968, Pisa, Italy
- Nationality: Italian
- Education: Ph.D. in Computer Science, University of Pisa
- Known for: Research in theoretical computer science and formal methods
- Employer(s): University of Pisa
- Field(s): Computer Science, Formal Methods

## Contributions
Chiara Bodei has made significant contributions to theoretical computer science, particularly in formal methods and programming language theory. As a professor at the University of Pisa, she has published extensively in her field and mentored numerous students. Her research has advanced understanding in areas such as process algebras and verification techniques. Bodei maintains active collaborations with the international research community through her publications and conference presentations.

## FAQs
### Q: What is Chiara Bodei's primary research area?
A: Chiara Bodei specializes in theoretical computer science, with a focus on formal methods and programming language theory.

### Q: Where does Chiara Bodei work?
A: She is a professor at the University of Pisa in Italy.

### Q: Who was Chiara Bodei's doctoral advisor?
A: Her doctoral advisor was Pierpaolo Degano at the University of Pisa.

## Why They Matter
Chiara Bodei's work in formal methods has contributed to the development of more rigorous approaches to software verification and programming language design. Her research helps ensure the reliability and correctness of critical software systems. Through her teaching and mentorship at the University of Pisa, she has influenced the next generation of computer scientists in Italy and beyond.

## Notable For
- Professor of Computer Science at the University of Pisa
- Ph.D. graduate of the University of Pisa under Pierpaolo Degano
- Published researcher in theoretical computer science and formal methods
- Active contributor to international computer science conferences
- Maintains extensive academic profiles across multiple research databases

## Body
### Academic Background
Chiara Bodei completed her Ph.D. in Computer Science at the University of Pisa, where she studied under Pierpaolo Degano. Her doctoral work established the foundation for her subsequent research career in theoretical computer science.

### Research Focus
Bodei's research centers on formal methods and programming language theory. She has contributed to the development of process algebras and verification techniques that help ensure software reliability. Her work bridges theoretical foundations with practical applications in computer science.

### Professional Impact
As a professor at the University of Pisa, Bodei has influenced both research and education in computer science. She maintains active research collaborations and regularly publishes in peer-reviewed venues. Her academic profiles across databases like Scopus, DBLP, and zbMath reflect her sustained contributions to the field.

### Academic Lineage
Bodei is part of an academic lineage that includes her advisor Pierpaolo Degano, connecting her to the broader tradition of Italian computer science research. This academic genealogy is documented in the Mathematics Genealogy Project.

## References

1. OPAC SBN
2. Integrated Authority File
3. [Source](https://orcid.org/0000-0002-0586-9333)
4. Mathematics Genealogy Project
5. Virtual International Authority File