エドムンド・クラーク
2007年 - ACMチューリング賞(アレン・エマーソン、ジョセフ・シファキスと共に)
2014年 - バウアー賞