罗伯特·P·库尔尚

Robert Kurshan是杰出的技术人员位于新泽西州默里山贝尔实验室。自1968年获得数学博士学位以来，他一直在那里工作，James Jans领导下的华盛顿大学的同调代数。1995年之前，他在数学研究中心工作，此后然后在计算机科学研究中心。在贝尔实验室，他研究周期序列、数字滤波和近似理论，在他开始正式验证工作之前1983年。他著有60多篇技术出版物，持有8篇通信、数字滤波和验证方面的专利《协调过程的计算机辅助验证》一书的作者（普林斯顿大学出版社，1994年）。在验证工作中，他设计并建造了COSPAN验证系统与Zvi Har'El、Ronald H.Hardin、，以及其他一些基于这本书中发展的理论。COSPAN自1986年开始使用（并不断开发），最近已在FormalCheck商标下商业化。

电子邮件地址：k@research.bell-labs.com