# Arnaud Spiwack

> Ph.D. Chalmers Tekniska Högskola and École Polytechnique 2011

**Wikidata**: [Q102431244](https://www.wikidata.org/wiki/Q102431244)  
**Source**: https://4ort.xyz/entity/arnaud-spiwack

## Summary
Arnaud Spiwack is a computer scientist specializing in formal logic and verification. He is best known for his academic contributions to the field, having earned a joint Ph.D. from Chalmers Tekniska Högskola and École Polytechnique in 2011 under the supervision of prominent logicians Thierry Coquand and Benjamin Werner.

## Biography
- **Education:** Ph.D., Chalmers Tekniska Högskola and École Polytechnique (2011)
- **Known for:** Research in computer science and formal logic
- **Field(s):** Computer science

## Contributions
Arnaud Spiwack is a computer scientist whose work is centered on the intersection of formal logic and computational theory. He completed his doctoral studies in 2011, producing research through a prestigious joint program between Chalmers Tekniska Högskola in Sweden and École Polytechnique in France. His academic development was shaped by his doctoral advisors, Thierry Coquand—a renowned French mathematician and logician—and Benjamin Werner. 

Spiwack’s scholarly output is documented across major academic databases, including DBLP (author ID 58/6566) and the Mathematical Reviews (MR author ID 828327). His professional lineage is further preserved in the Mathematics Genealogy Project (ID 191201), which tracks the mentorship and evolution of mathematical and logical thought. He maintains an active digital presence through his English-language website, "assert-false.science," where he hosts his scientific work and research findings. His contributions are recognized within the industrial and service sectors of computer science, where formal methods are applied to ensure the reliability of complex systems.

## FAQs
### Q: Where did Arnaud Spiwack receive his Ph.D.?
A: Arnaud Spiwack received his Ph.D. in 2011 through a joint academic program between Chalmers Tekniska Högskola in Sweden and École Polytechnique in France.

### Q: Who were Arnaud Spiwack's doctoral advisors?
A: His doctoral research was supervised by Thierry Coquand, a French mathematician and logician, and Benjamin Werner, a computer scientist.

### Q: What are Arnaud Spiwack's primary research identifiers?
A: He is indexed in the DBLP computer science bibliography (58/6566), the Mathematics Genealogy Project (191201), and the Mathematical Reviews (828327).

## Why They Matter
Arnaud Spiwack is a significant figure in the academic community of computer science due to his connection to the development of formal verification and type theory. By training under Thierry Coquand—a key architect of the Calculus of Constructions—and Benjamin Werner, Spiwack is part of a critical lineage that has defined modern proof assistants and formal logic. 

His work bridges the gap between the Swedish and French schools of logic, contributing to the rigorous mathematical foundations required for software correctness. The presence of his work in major databases like DBLP and the Mathematics Genealogy Project underscores his role in the ongoing evolution of computer science as a formal discipline. Without the contributions of researchers like Spiwack, the field of formal methods would lack the academic continuity necessary to advance the security and reliability of modern computational infrastructure.

## Notable For
*   **Joint Ph.D. Recipient:** Earned a dual doctorate from Chalmers Tekniska Högskola and École Polytechnique in 2011.
*   **Academic Lineage:** Mentored by Thierry Coquand, a foundational figure in modern logic and computer science.
*   **Formal Logic Research:** Recognized for contributions to the industrial and service sectors of computer science.
*   **Digital Scholarship:** Maintains the English-language scientific repository "assert-false.science."

## Body
### Academic Background and Education
Arnaud Spiwack is a male computer scientist who completed his advanced academic training in the early 21st century. In 2011, he was awarded a Ph.D. following a successful defense of his research at two institutions: Chalmers Tekniska Högskola and École Polytechnique. This joint degree reflects a cross-border collaboration in high-level computational research.

### Mentorship and Influence
Spiwack's research was guided by two notable figures in the scientific community:
*   **Thierry Coquand:** A French mathematician and logician known for his work in computer science and engineering.
*   **Benjamin Werner:** A French computer scientist.

### Professional Identifiers and Records
Spiwack's career is well-documented in several international academic and professional databases:
*   **Mathematics Genealogy Project:** His entry (ID 191201) records his doctoral success and advisors.
*   **DBLP:** His contributions to computer science literature are tracked under author ID 58/6566.
*   **Mathematical Reviews:** He is identified as author 828327.
*   **LinkedIn:** He maintains a professional profile under the identifier `arnaudspiwack`.
*   **Personal Website:** His English-language site is located at `https://assert-false.science/arnaud/`.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Arnaud Spiwack",
  "jobTitle": "Computer scientist",
  "gender": "Male",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Chalmers Tekniska Högskola"
    },
    {
      "@type": "EducationalOrganization",
      "name": "École Polytechnique"
    }
  ],
  "knowsAbout": ["Computer science", "Formal logic", "Formal verification"],
  "sameAs": [
    "https://assert-false.science/arnaud/",
    "https://www.linkedin.com/in/arnaudspiwack",
    "https://dblp.org/pid/58/6566.html"
  ],
  "description": "A computer scientist who earned a joint Ph.D. from Chalmers Tekniska Högskola and École Polytechnique in 2011."
}

## References

1. Mathematics Genealogy Project