科恩·克莱森

计算机科学教授
查尔默斯工业大学
瑞典哥德堡

+46-31-7725424
科恩•查尔默斯•塞

教学

函数式程序设计概论

研究

自动推理
函数式程序设计
软件测试
模型检查
基于SAT的算法

酒吧|代码
当前

2014年FMCAD
2014年IJCAR
2014年CAV

学生

米哈尔·帕卡
安·莉莉斯特伦
丹·罗森
安东·埃克布拉德
伊纳里·李斯坦马
尼基塔·弗洛洛夫(*)
约翰·卡米莱里(*)

(*)共同监督