Memorial Tributes Volume 24 (2022) / Chapter Skim
Currently Skimming:
EDMUND M. CLARKE
EDMUND M. CLARKE
Pages 44-49
The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.
From page 45... ...
BRYANT E DMUND MELSON CLARKE JR., formerly the FORE Systems University Professor of Computer Science at Carnegie Mellon University and cowinner of the 2007 ACM Turing Award, died December 22, 2020, of covid-19, after a long illness.
|
From page 46... ...
This limitation was overcome in 1987 when Ed's graduate student Ken McMillan recognized that the analysis required for model checking could be performed symbolically, without explicitly enumerating state values. Just as Pythagoras didn't have to prove that a2 + b2 = c2 by drawing and measuring a bunch of right triangles, a symbolic model checker can encode the possible states of a system in symbolic form and manipulate these representations algorithmically.
|
From page 47... ...
Ed, his graduate students, and his postdoctoral researchers remained at the forefront of model checking research. Starting in 2009, Ed led the NSF-sponsored Computational Models and Analysis for Complex Systems Center, which applied model checking and related methods for software verification to problems in the areas of pancreatic cancer modeling, atrial-fibrillation detection, distributed automotive control, and aerospace control software.
|
From page 48... ...
Their three sons have had successful careers themselves: James, director of Quantum Hardware at Intel Corporation in Portland, Oregon; Jonathan, a professor in the business school at Georgia Tech; and Jeffrey, an oncologist at Duke University Hospital. There are currently six grandchildren.
|
Key Terms
This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More
information on Chapter Skim is available.