Premio Turing 2007

Fuente: Barrapunto.

La ACM ha anunciado el Premio Turing 2007, que ha sido otorgado a Edmund M. Clarke, E. Allen Emerson y Joseph Sifakis por su trabajo pionero en un método automatizado para encontrar errores de diseño en software y hardware.