Robert Kurshan现在已经退休了
自2001年以来,他一直是Cadence公司的杰出工程师,直到2014年底。
Kurshan是新泽西州默里山贝尔实验室技术人员的杰出成员。1995年之前在数学研究中心工作,之后在计算机科学研究中心工作。
他于1983年开始正式验证工作,并与Zvi Har 'El、Ronald H. Hardin等人一起设计并建立了COSPAN验证系统。这项工作在《协调过程的计算机辅助验证》一书中有描述。COSPAN自1986年开始使用,并以FormalCheck商标进行商业化。这一直是Cadence形式化验证工具的基础,直到2005年它被Incisive形式化验证器所取代——这是Cadence Berkeley实验室的COSPAN和基于sat的技术的集成。
Kurshan于1968年获得华盛顿大学同调代数数学博士学位。
图书:Kurshan