# Mariangiola Dezani-Ciancaglini

> Italian logician and theoretical computer scientist

**Wikidata**: [Q62559737](https://www.wikidata.org/wiki/Q62559737)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Mariangiola_Dezani-Ciancaglini)  
**Source**: https://4ort.xyz/entity/mariangiola-dezani-ciancaglini

## Summary
Mariangiola Dezani-Ciancaglini is an Italian logician and theoretical computer scientist, known for her contributions to formal systems and computational logic. She was educated at Radboud University and served as a doctoral advisor to several prominent computer scientists, including Adriana Beatriz Compagnoni and Viviana Bono.

## Biography
- Born: 1946
- Nationality: Italy
- Education: Radboud University
- Known for: Advancing formal systems and computational logic
- Employer(s): Radboud University
- Field(s): Logic, theoretical computer science

## Contributions
Mariangiola Dezani-Ciancaglini has made significant contributions to the field of theoretical computer science, particularly in the area of formal systems. She has served as a doctoral advisor to numerous researchers, including Adriana Beatriz Compagnoni and Viviana Bono, who have gone on to make their own mark in the field. Her work has influenced the development of computational logic and formal systems, providing a foundation for further research in these areas.

## FAQs
### Q: What is Mariangiola Dezani-Ciancaglini known for?
A: Mariangiola Dezani-Ciancaglini is known for her work in formal systems and computational logic, particularly as a doctoral advisor to several prominent computer scientists.

### Q: Where did Mariangiola Dezani-Ciancaglini study?
A: Mariangiola Dezani-Ciancaglini studied at Radboud University.

### Q: Who were some of Mariangiola Dezani-Ciancaglini's doctoral students?
A: Some of Mariangiola Dezani-Ciancaglini's doctoral students include Adriana Beatriz Compagnoni and Viviana Bono.

### Q: What is Mariangiola Dezani-Ciancaglini's nationality?
A: Mariangiola Dezani-Ciancaglini is Italian.

## Why They Matter
Mariangiola Dezani-Ciancaglini's work in formal systems and computational logic has had a lasting impact on the field. As a doctoral advisor to several influential researchers, she has played a crucial role in shaping the trajectory of theoretical computer science. Her contributions have provided a solid foundation for further advancements in the area, ensuring that her influence continues to be felt in academic and research circles.

## Notable For
- Served as a doctoral advisor to multiple prominent computer scientists.
- Contributed to the development of formal systems and computational logic.
- Educated at Radboud University, a prestigious institution in the Netherlands.
- Italian nationality, with a significant impact on theoretical computer science.

## Body
### Early Life and Education
Mariangiola Dezani-Ciancaglini was born in 1946. She pursued her education at Radboud University, where she laid the groundwork for her career in theoretical computer science.

### Academic Career
Mariangiola Dezani-Ciancaglini's academic career was marked by her contributions to formal systems and computational logic. She served as a doctoral advisor to several notable researchers, including Adriana Beatriz Compagnoni and Viviana Bono, who have made significant contributions to the field.

### Influence and Legacy
Mariangiola Dezani-Ciancaglini's work has had a lasting impact on theoretical computer science. Her research and mentorship have influenced the development of formal systems and computational logic, ensuring that her legacy continues to shape the field.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Mariangiola Dezani-Ciancaglini",
  "jobTitle": "Logician and Theoretical Computer Scientist",
  "worksFor": {"@type": "Organization", "name": "Radboud University"},
  "nationality": {"@type": "Country", "name": "Italy"},
  "birthDate": "1946",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "Radboud University"}],
  "knowsAbout": ["Logic", "Theoretical Computer Science"],
  "sameAs": ["https://www.wikidata.org/wiki/Q106654423", "https://en.wikipedia.org/wiki/Mariangiola_Dezani-Ciancaglini"],
  "description": "Italian logician and theoretical computer scientist known for her contributions to formal systems and computational logic."
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. Virtual International Authority File
4. CiNii Research
5. [Source](https://www.ae-info.org/ae/User/Dezani-Ciancaglini_Mariangiola)