Thierry Coquand

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

CV and bibliography

How to reach me

Fax, Postal address, etc..



Old course

Research Interests

Articles or Notes that may be of interest

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