Catarina Coquand

How to reach me

Email: catarina@cs.chalmers.se
Phone: +46-31-772-1067
Room: 2437

Fax, Postal address, etc..

IT-program

I'm responsible for the last year of the IT-program, we are now finalizing the suggestions for the fourth year, comments are wellcome.

Research Interests

I am currently implementing an interactive theorem prover Agda.

Program Correctness
Type Theory
Formal Proofs

Pedagogik

Articles that may be of interest

(To Chalmers CS Dept. Welcome page.)

Last modified: Mon Sep 18 13:51:09 MET DST 2000