大学担任博士后研究员期间，他转到计算机科学专业。他的计算机科学着作侧重于时态逻辑和模型检查，特别是关于并发系统的公平性。1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。电脑协会（ACM）会士。魏茨曼科学研究学院数学博士。在斯坦福大学做博士后时转而研究计算机科学。