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

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