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

米查尔·帕尔卡
Ann Lillieström女士
丹·罗森
安东·埃克布雷德
伊娜里·利斯滕马
尼基塔·弗洛洛夫（*）
约翰·卡米莱里（*）