Eugene H Spafford - Profile and Journalist Details
Find journalists that align with your industry, location and vision. Unlock Eugene H Spafford's full journalist profile, including location, coverage topics, current employer, biography and preferences. Sign up today and start building journalist relationships that fuel your startup's growth.
Get connected with journalists today
Eugene H Spafford
Verified
Editor-in-Chief, Computers & Security
West Lafayette
Beats
Current Affairs , Law, Social Affairs, History , International Relations, Geopolitics
royal families socialites
Content
By Eugene H Spafford Verified, Simson Garfinkel, R. Colin Johnson, Mark Halper Verified| Communications of the ACM Verified E. Allen Emerson was the first graduate student of Edmund M. Clarke at Harvard University. After discussing several ideas for Allen’s dissertation, they identified a promising candidate: verifying a finite-state system against a formal specification. According to Martha Clarke, Edmund’s widow, it was during a walk across Harvard Yard that they decided to call it “model checking.” Emerson received his Ph.D. in applied mathematics for this work in 1981.
By Simson Garfinkel, Eugene H Spafford Verified, R. Colin Johnson, Alex Williams Verified| Communications of the ACM Verified In the 1980s, there was a debate in the field of high-performance computing: Was it possible to create a supercomputer by connecting thousands of general-purpose processors, or as predicted by Amhdal’s Law, would significant speedups be impossible because at least 1% of any computation would necessarily be sequential?
By Eugene H Spafford Verified, Simson Garfinkel, R. Colin Johnson, Mark Halper Verified| Communications of the ACM Verified E. Allen Emerson was the first graduate student of Edmund M. Clarke at Harvard University. After discussing several ideas for Allen’s dissertation, they identified a promising candidate: verifying a finite-state system against a formal specification. According to Martha Clarke, Edmund’s widow, it was during a walk across Harvard Yard that they decided to call it “model checking.” Emerson received his Ph.D. in applied mathematics for this work in 1981.
Company Info
Computers & Security