Thierry Coquand

Professor at the Computer Science and Engineering Department at University of Gothenburg.

CV and bibliography

How to reach me

• Email: coquand @ chalmers.se
• Phone: +46-31-772-1030
• Room: 6472

News

• Course in type theory, introduction to the Univalent Foundation lecture 1, lecture 2,lecture 3, lecture 4

Teaching

• Types for Programs and Proofs

• Logic in Computer Science

• Finite Automata and Formal Languages

Old course

• Axiomatic Set Theory

Research Interests

• Program Correctness
• Type Theory
• Formal Proofs
• Functional Programming
• Constructive Mathematics
• Formal Topology

Articles or Notes that may be of interest

• Formal Topology
• Constructive Algebra
• Type Theory
• Domain Theory
• Proof Theory
• Home Page for the One Week Course on Type Theory
• Course Notes
• Course Notes For Types Summer School 99
• Intuitionism
• Some remarks on measure theory
• Some remarks on the work of Jules Drach

Past event

MALOA course on constructive algebra (Fischbachau, September 2010)

a survey talk given at ESOP, on functional programming and constructive mathematics

Summer School and Conference Mathematics, Algorithms and Proofs (MAP), August 11-29, 2008, Abdus Salam International Centre for Theoretical Physics, Trieste. You can access to my lecture notes from here

At the 2007 MAP meeting in Leiden, Harold Edwards presented a new addition formula for elliptic curves (directly inspired from Euler and Gauss). See here for a recent development. (To Chalmers CS Dept. Welcome page.)