Robert Kurshan
Robert P. Kurshan (* 1943 ) is an American computer scientist.
Kurshan received his PhD in mathematics (homological algebra) in 1968 under James Jans at the University of Washington . He then went to Bell Laboratories in Murray Hill, New Jersey , where he was at the Mathematics Research Center and, from 1995, at the Computer Science Research Center and became a Distinguished Member of the Technical Staff.
He worked at Bell Labs on periodic sequences, digital filters, approximation theory and from 1983 on formal verification. With Zvi Har'El, Ronald H. Hardin and others, he developed the verification system COSPAN, which has been available since 1986 and is marketed as FormalCheck. The system is based on the theory presented in his book.
In 2005 he received the Paris Kanellakis Prize for Formal Verification of Reactive Systems with Gerard Holzmann , Moshe Y. Vardi and Pierre Wolper . He founded the International Conference on Computer Aided Verification with the Turing Prize winner Joseph Sifakis , Edmund M. Clarke and Amir Pnueli .
Fonts
- Computer-aided verification of coordinating processes: the automata-theoretical approach, Princeton University Press 1994
Web links
- Biography in Berkeley
- Robert Kurshan in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Kurshan, Robert |
| ALTERNATIVE NAMES | Kurshan, Robert P. |
| BRIEF DESCRIPTION | American computer scientist |
| DATE OF BIRTH | 1943 |