Edmund M. Clarke

Edmund M. Clarke

Edmund M. Clarke

Edmund Melson Clarke, Jr. (*27 de julio de 1945) es un informático teórico estadounidense, principalmente reconocido por haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.

Clarke es el Profesor FORE Systems de Ciencias de la Computación en la Universidad Carnegie Mellon. Junto con E. Allen Emerson y Joseph Sifakis, fue el ganador de 2007 del Premio Turing de la Association for Computing Machinery.

Enlaces externos

Obtenido de "Edmund M. Clarke"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Edmund M. Clarke — 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist… …   Deutsch Wikipedia

  • Edmund M. Clarke — Edmund Melson Clarke, Jr. (born July 27,1945) is a 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 …   Wikipedia

  • Edmund Clarke — Edmund Melson Clarke, Jr. (* 27. Juli 1945) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik Professor an der Carnegie… …   Deutsch Wikipedia

  • Edmund Lenihan — (born 1950), also known as Eddie Lenihan, is an Irish author, storyteller, lecturer and broadcaster. [cite book| last = Lenihan| first = Eddie| authorlink =| coauthors = Carolyn Eve Green| title = Meeting the Other Crowd | subtitle = The Fairy… …   Wikipedia

  • Clarke (Familienname) — Clarke ist ein englischer Familienname. Herkunft und Bedeutung Der Name ist eine Variante von Clark (neuenglisch clerk) und entspricht damit in etwa dem deutschen Namen Schreiber. Varianten Clark, Clerke Bekannte Namensträger Inhaltsverzeichnis A …   Deutsch Wikipedia

  • Clarke — Family name A scribe or clerk, the occupation from which the name derives Meaning Clerk, scribe, secretary …   Wikipedia

  • Clarke (surname) — This article is about surname Clarke. For other uses, see Clarke. Clarke Family name Meaning clerk Region of origin Ireland Related names Clark Clarke is an Irish surname from …   Wikipedia

  • Clarke (name) — Family name name =Clarke imagesize= caption= pronunciation = meaning = clerk region = Ireland origin = related names =Clark footnotes =Clarke is an Irish surname from County Galway that spread to County Donegal and County Dublin. The name is… …   Wikipedia

  • Edmund Kean — Saltar a navegación, búsqueda Edmund Kean interpretando a Sir Giles Overreach en la obra de Massinger A New Way to Pay Old Debts ( Nuevo modo de pagar antiguas deudas ), 1816 Edmund Kean (17 de marzo de 1787 – 15 de …   Wikipedia Español

  • Edmund Kean — (March 17, 1789 ndash; May 15, 1833) was an English actor, regarded in his time as the greatest ever. For many years he lived at Keydell House, Horndean.Early lifeKean was born in London. His father was probably Edmund Kean, an architect’s clerk …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”