rss 2.0

ACM / A.M. Turing Award

Andrew Chi-Chih Yao (2000)

image El profesor Yao recibió el premio por sus contribuciones a la Teoría de la Computación, Criptografía, Comunicaciones y Generación de pseudonúmeros aleatorios. Nacido en China, se doctoró en Física por la Universidad de Harvard, y más adelante, en Informática por la Univ. de Illinois. Ha sido muchos años profesor de informática en Princeton, donde continua sus investigaciones sobre algoritmos. Ultimamente, ha estado profundizando en los principios de la computación cuántica y sus aplicaciones a algoritmos de ese tipo en problemas de comunicación.
24/02/2008 12:43:00 Publicado el por sigfrido Categoría Comentarios 0

Douglas Engelbart (1997)

image A Engelbart se le conoce como "el Padre de la Interactividad", principalmente por la invención del ratón. (Ver figura adjunta). Doctorado en Berkeley, es, ante todo un inventor, con trabajos pioneros en muchos otros campos, como la "computación conectada" (creó una de las primeras comunidades de usuarios, via ARPANet). los dispositivos táctiles o el correo electrónico. También hizo contribuciones fundamentales a los conceptos de procesamiento "outline ", hypermedia, teleconferencias, diseño asistido por ordenador, arquitectura distribuida y llamadas a procedimientos remotos. Ha publicado 25 libros y más de 20 patentes, a sus 77 años continua trabajando en Logitech.
24/02/2008 12:42:47 Publicado el por sigfrido Categoría Comentarios 0

Amir Pnueli (1996)

image Ammir Pnueli es reconocido principalmente por sus trabajos en lógica y su aplicación a la Informática. Doctor en Matemática Aplicada en el Instituto Weizmann de Israel, donde contnúa su trabajo, pasó previamente por el Watson Research Center, en Yorktown (USA) y por la Univ. de Stanford. El premio le fue cocedido literalmente por "sus contribuciones fundamentales a la Lógica Aplicada a la Informática y por sus trabajos fundamentales sobre a la verificación de sistemas y programas".

Creador del sistema Statecharts, junto a David Harel, un lenguaje visual para la especificación, modelado y prototipado de sistemas reactivos. Actualmente, trabaja en la verificación automática de sistemas multi-proceso.

24/02/2008 12:42:27 Publicado el por sigfrido Categoría Comentarios 0