# Gilles Dowek

> French computer scientist (1966–2025)

**Wikidata**: [Q3106201](https://www.wikidata.org/wiki/Q3106201)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Gilles_Dowek)  
**Source**: https://4ort.xyz/entity/gilles-dowek

## Summary  
Gilles Dowek (20 December 1966 – 21 July 2025) was a French computer scientist, programmer, philosopher and university teacher. He was known for his research spanning informatics, programming languages, logic and philosophy, and for mentoring a generation of doctoral students.

## Biography  
- **Born:** 20 December 1966, 14th arrondissement of Paris, France  
- **Died:** 21 July 2025, 5th arrondissement of Paris, France  
- **Nationality:** French  
- **Education:** École polytechnique; Paris Diderot University  
- **Known for:** Advancing formal methods in computer science and bridging logic with programming language theory  
- **Employer(s):** Member of the organization identified by Q2994198 (from 15 February 2021) and university teaching positions (specific institutions not listed)  
- **Field(s):** Informatics, programming languages, logic, philosophy  

## Contributions  
Gilles Dowek authored a substantial body of scholarly work that linked logic, type theory, and programming language design. His research contributed to the formal verification of software and the development of proof assistants, tools that allow mathematicians and engineers to certify the correctness of algorithms. Dowek supervised at least eight doctoral theses, including those of César Muñoz, Micaela Mayero, Olivier Hermant, Florent Kirchner, Denis Cousineau, Bruno Lopes, Pierre Néron, and Bruno Bernardo, thereby shaping future leaders in theoretical computer science. He was a doctoral student of Gérard Huet, a prominent figure in the field, and continued that lineage through his own mentorship. From 2021 onward, Dowek was a member of the French public institution identified by Q2994198, reflecting his engagement with national scientific policy and outreach. His interdisciplinary approach combined rigorous logical foundations with philosophical inquiry, influencing curricula and research agendas across European computer‑science departments.

## FAQs  
### Q: When and where was Gilles Dowek born?  
A: He was born on 20 December 1966 in the 14th arrondissement of Paris, France.  

### Q: What were Gilles Dowek’s main areas of research?  
A: His work spanned informatics, programming languages, logic, and philosophy, focusing on formal methods and proof assistants.  

### Q: Who supervised Gilles Dowek’s doctoral studies?  
A: His doctoral advisor was the French computer scientist Gérard Huet.  

## Why They Matter  
Gilles Dowek’s interdisciplinary research helped integrate logical rigor into practical programming language design, advancing the reliability of software systems. By developing and promoting proof‑assistant technologies, he contributed to a paradigm where computer‑verified proofs become standard in both academic and industrial contexts. His mentorship produced a cadre of scholars who continue to expand the fields of type theory and formal verification, ensuring the longevity of his intellectual legacy. Moreover, his involvement with national scientific bodies underscored his commitment to shaping public policy around computing and education, influencing how informatics is taught and applied in France and beyond.  

## Notable For  
- Pioneering contributions to formal methods and proof‑assistant research.  
- Supervising a notable cohort of doctoral students who have become prominent researchers.  
- Being a doctoral student of Gérard Huet, linking him to a distinguished lineage in computer science.  
- Membership in the French public institution Q2994198 from February 2021, reflecting his role in national scientific affairs.  
- Combining expertise in computer science with philosophy, enriching interdisciplinary discourse.  

## Body  

### Early Life and Education  
- Attended École polytechnique, one of France’s elite engineering schools.  
- Completed further studies at Paris Diderot University, earning advanced degrees in computer science.  

### Academic Career  
- Served as a university teacher, delivering courses in informatics, programming languages, and logic.  
- Conducted research that bridged theoretical computer science and philosophical foundations.  

### Research Focus  
- **Informatics & Programming Languages:** Developed theories that improve language design and compiler correctness.  
- **Logic & Type Theory:** Advanced the use of dependent types and constructive logic in software verification.  
- **Philosophy:** Explored the philosophical implications of formal reasoning and computation.  

### Mentorship  
- Guided at least eight PhD candidates, fostering expertise in formal methods and type theory.  
- His students have continued to publish influential work, extending his academic impact.  

### Professional Affiliations  
- Joined the organization identified by Q2994198 on 15 February 2021, contributing to policy and outreach initiatives.  

### Legacy  
- Dowek’s interdisciplinary approach set a precedent for integrating logical rigor into everyday programming practice.  
- His publications and teaching materials remain reference points for graduate courses in formal methods.  

## Schema Markup  
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Gilles Adrien Dowek",
  "jobTitle": "Computer scientist",
  "nationality": {
    "@type": "Country",
    "name": "France"
  },
  "birthDate": "1966-12-20",
  "deathDate": "2025-07-21",
  "birthPlace": "Paris, France",
  "deathPlace": "Paris, France",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "École polytechnique"
    },
    {
      "@type": "EducationalOrganization",
      "name": "Paris Diderot University"
    }
  ],
  "knowsAbout": [
    "Informatics",
    "Programming languages",
    "Logic",
    "Philosophy"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Gilles_Dowek",
    "https://fr.wikipedia.org/wiki/Gilles_Dowek"
  ],
  "description": "French computer scientist (1966–2025) known for his work on formal methods, programming language theory, and logic."
}

## References

1. [Source](https://www.lemonde.fr/disparitions/article/2025/07/21/gilles-dowek-informaticien-engage-et-vulgarisateur-est-mort_6622858_3382.html)
2. [Fichier des personnes décédées](https://deces.matchid.io/id/YpgAPxe6y3T8)
3. [BnF authorities](https://catalogue.bnf.fr/ark:/12148/cb12099604h)
4. datos.bne.es
5. Czech National Authority Database
6. [Source](http://www.sudoc.fr/044203799)
7. Mathematics Genealogy Project
8. general catalog of BnF
9. [Source](https://viaf.org/viaf/data/viaf-20230206-links.txt.gz)
10. Virtual International Authority File
11. [Source](https://www.legifrance.gouv.fr/jorf/texte_jo/JORFTEXT000043134504)
12. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0001-6253-935X/external-identifiers/958875)
13. National Library of Israel Names and Subjects Authority File