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