Edmund Melson Clarke, Jr. (Newport News, – 22 de dezembro de 2020) foi um cientista da computação estadunidense.
Ao lado do Ernest Allen Emerson e do Joseph Sifakis, foi laureado com o Prêmio Turing de 2007, pelo desenvolvimento da verificação de modelos.
Morreu em 22 de dezembro de 2020, aos 75 anos, de COVID-19.
Ligações externas
Categoria:Prêmio Turing Categoria:Fellows da ACM Categoria:Fellows do Instituto de Engenheiros Eletricistas e Eletrônicos Categoria:Doutores honoris causa da Universidade Técnica de Viena Categoria:Professores da Universidade Carnegie Mellon Categoria:Professores da Universidade Duke Categoria:Professores da Universidade Harvard Categoria:Cientistas da computação dos Estados Unidos Categoria:Alunos da Universidade da Virgínia Categoria:Alunos da Universidade Duke Categoria:Alunos da Universidade Cornell Categoria:Mortes por COVID-19 na Virgínia