蒂埃里·科昆
教授计算机科学与工程系在哥德堡大学.
简历和参考书目
如何联系我
- 电子邮件:
coquand@chalmers.se公司
- 电话:+46-31-772-1030
- 房间:6472
传真、邮寄地址等。.新闻
教学
老球场
研究兴趣
- 程序正确性
- 类型理论
- 正式证明
- 函数式编程
- 建构数学
- 形式拓扑
可能感兴趣的物品或票据
过去的事件
构造代数MALOA课程(Fischbachau,2010年9月)
调查谈话在ESOP上给出了函数编程和构造数学
暑期学校和会议数学、算法和证明(MAP),2008年8月11日至29日,阿卜杜斯·萨拉姆国际理论物理中心,的里雅斯特。您可以从访问我的课堂笔记在这里
2007年MAP会议在莱顿,哈罗德·爱德华兹提出了一个新的椭圆加法公式曲线(直接受欧拉和高斯启发)。请参见在这里最近的发展。(Chalmers CS部门欢迎页面)