Edmund Clarke Pioneered Methods For Detecting Software, Hard

Edmund M. Clarke, University Professor Emeritus
Edmund M. Clarke, University Professor Emeritus at Carnegie Mellon University and co-recipient of the 2007 Turing Award – computer science's equivalent of the Nobel Prize – died Dec. 22 of COVID-19, following a long illness.
Clarke, together with his Harvard University graduate student, E. Allen Emerson, and, working separately, Joseph Sifakis of the University of Grenoble, developed an automated method for detecting design errors in computer hardware and software. Called model checking, it is widely used and has helped to improve the reliability of complex computer chips, systems and networks. The Association for Computing Machinery (ACM) awarded the Turing to the three scientists for this achievement.

Related Keywords

Portland , Oregon , United States , Lebanon , E Allen Emerson , Joseph Sifakis , Farnam Jahanian , Randale Bryant , Jonathan Clarke , James Clarke , Jeffrey Clarke , Ted Clarke , Edmundm Clarke , Harryh Goode , Carnegie Mellon University , Carnegie Mellon School Of Computer Science , Lebanon United Methodist Church Food Pantry , University Professor Emeritus At Carnegie Mellon , Association For Computing Machinery , Cornell University , Franklin Institute , School Of Computer Science , University Of Grenoble , Harvard University , Founders University Professor Of Computer Science , University Professor , Computer Science Department , Duke University , University Professor Emeritus , Nobel Prize , Computing Machinery , Carnegie Mellon , Martial Hebert , Science Department , Computer Aided Verification , Formal Methods , Founders University Professor , Computer Science , Newell Award , Memorial Award , Automated Deduction , Distinguished Contributions , Bower Award , Laughlin Memorial Chapel , Liberty Ave , Martha Clarke Endowed Graduate Fellowship , போர்டிலந்ட் , ஓரிகந் , ஒன்றுபட்டது மாநிலங்களில் , லெபனான் , ஏ ஆலன் எமர்சன் , ரேண்டேல் பிரையண்ட் , ஜொனாதன் கிளார்க் , ஜேம்ஸ் கிளார்க் , ஜெஃப்ரி கிளார்க் , எட் கிளார்க் , கார்னகி மெலந் பல்கலைக்கழகம் , கார்னகி மெலந் பள்ளி ஆஃப் கணினி அறிவியல் , லெபனான் ஒன்றுபட்டது முறை தேவாலயம் உணவு சரக்கறை , பல்கலைக்கழகம் ப்ரொஃபெஸர் எமரிட்டஸ் இல் கார்னகி மெலந் , சங்கம் க்கு கணினி இயந்திரங்கள் , கார்னெல் பல்கலைக்கழகம் , பிராங்க்ளின் நிறுவனம் , பள்ளி ஆஃப் கணினி அறிவியல் , பல்கலைக்கழகம் ஆஃப் க்ரிநோபல் , ஹார்வர்ட் பல்கலைக்கழகம் , நிறுவனர்கள் பல்கலைக்கழகம் ப்ரொஃபெஸர் ஆஃப் கணினி அறிவியல் , பல்கலைக்கழகம் ப்ரொஃபெஸர் , கணினி அறிவியல் துறை , டியூக் பல்கலைக்கழகம் , பல்கலைக்கழகம் ப்ரொஃபெஸர் எமரிட்டஸ் , நோபல் ப்ரைஸ் , கணினி இயந்திரங்கள் , கார்னகி மெலந் , தற்காப்பு ஹெபர்ட் , அறிவியல் துறை , கணினி உதவிபெற்ற சரிபார்ப்பு , முறையான முறைகள் , நிறுவனர்கள் பல்கலைக்கழகம் ப்ரொஃபெஸர் , கணினி அறிவியல் , ந்யூயெல் விருது , நினைவகம் விருது , போவர் விருது , சிரிப்பு நினைவகம் தேவாலயம் , சுதந்திரம் அவே , மார்த்தா கிளார்க் வழங்கப்பட்டது பட்டதாரி கூட்டுறவு ,