Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Arnaud Spiwack

Registered user since Thu 2 Nov 2017

Name: Arnaud Spiwack

Bio: Arnaud Spiwack spend the first 10 years of his working life in Academia, between Chalmers university in Gothenburg, Sweden, and École Polytechnique, Inria, and Mines ParisTech, in the Paris area. He spent this time researching dependent types, computer-verified proof, and sequent calculus. During his time in Academia, Arnaud got involved in the development of the Coq Proof Assistant, where he, in particular, re-engineered Coq’s tactic engine and gave it an abstract interface. After leaving Academia, he remained a member of the core development team of the Coq Proof Assistant. He is now a senior architect at Tweag I/O, and is working at making the world better typed.

Country: France

Affiliation: Tweag I/O

Personal website: http://assert-false.net/arnaud/

Research interests: Programing Languages, Formal Methods

Contributions

HIW 2020 Implementation of linear types
Show activities from other conferences

ICFP 2020-profile
View general profile