Description
Author: Robert P. Kurshan
Publisher: Springer
Published: 10/01/2021
Pages: 366
Binding Type: Paperback
Weight: 1.19lbs
Size: 9.21h x 6.14w x 0.80d
ISBN13: 9783030767082
ISBN10: 3030767086
BISAC Categories:
- Business & Economics | Industries | Financial Services
- Business & Economics | Insurance | Risk Assessment & Management
- Business & Economics | Investments & Securities | General
About the Author
Robert P. Kurshan was a Distinguished Member of Technical Staff in Math Research at Bell Laboratories Research, Murray Hill, NJ, (US) until his retirement in 2001. After that, he took a position as a Senior Fellow at Cadence Design Systems, retiring in 2015.
He worked at Bell Labs since receiving his Ph.D in mathematics in 1968, from the University of Washington (US) in homological algebra. He is author of over 80 technical publications, holds 27 patents in communications, digital filtering and verification, and is the author of the book Computer-Aided Verification of Coordinating Processes (Princeton Univ. Press, 1994), which is based on a course he gave at U. C. Berkeley. He has edited numerous other books. From 2005 through 2014, he was Editor-in-Chief of Springer's Formal Methods in System Design journal.