Thierry Coquand

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

How to reach me

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

News

Mini-workshop in Oberwolfach on constructive homological algebra (9-13 Nov)

MAP meeting in Monastir (Tunisia) on the formalization of mathematics (14-18 Dec)

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

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.)