| LC control no. | n 91023249 |
|---|---|
| Descriptive conventions | rda |
| Personal name heading | Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 |
| Variant(s) | Clarke, E. M., Jr. (Edmund Melson), 1945-2020 Clarke, Edmund Clarke, E. M., 1945- |
| Birth date | 1945-07-27 |
| Death date | 2020-12-22 |
| Found in | DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991: CIP t.p. (E.M. Clarke) data sheet (b. 7-27-45) DIMACS Workshop on Computer Aided Verification (1990 : Ctr. for Discr. Math. and Theor. Comp. Science). Computer-aided verification, c1991: CIP t.p. (E.M. Clarke) verso (Edmund M. Clarke; Carnegie-Mellon Univ., Pittsburgh, PA) Logics of Programs Workshop (1983 : Carnegie Mellon University). Logics of Programs Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6-8, 1983, 1984: CIP t.p. (Edmund Clarke) t.p. verso (of IBM Research, Yorktown Heights, N.Y.) Carnegie Mellon University, School of Computer Science WWW Home page, Aug. 11, 1998: faculty pages (Edmund M. Clarke, FORE Systems Professor of Computer Science; under Selected Publications: Logic of Programs: Workshop, Yorktown Heights, NY, May 1981) Wikipedia, viewed March 30, 2018 (Edmund M. Clarke; Edmund Melson Clarke, Jr. (born July 27, 1945) is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University; Clarke received a B.A. degree in mathematics from the University of Virginia, Charlottesville, VA, in 1967, an M.A. degree in mathematics from Duke University, Durham NC, in 1968, and a Ph.D. degree in Computer Science from Cornell University, Ithaca NY in 1976) Model checking, 2018: ECIP t.p. (Edmund M. Clarke, Jr.) Carnegie Mellon University School of Computer Science, Dec. 23, 2020: Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (Edmund M. Clarke, University Professor Emeritus at Carnegie Mellon University and co-recipient of the 2007 Turing Award ... died Dec. 22) <https://www.cs.cmu.edu/news/edmund-clarke-pioneered-methods-detecting-software-hardware-errors> |
| Invalid LCCN | n 82237891 |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
