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

Teaching

• Ändliga automater och formella Språk

• Logik och diskret matematik

• Diskret matematik

• 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