Thierry Coquand

Professor at the Computing Science Department at Göteborg University.

How to reach me

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

News

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.

At the last 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.

Teaching

• 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