Premios Turing

Judea Perl (2011)

Ganador del Premio Turing 2011, por su “contribución fundamental a la inteligencia artificial (IA) a través del desarrollo del cálculo de probabilidad y razonamiento causal”. Según la propia ACM: "El trabajo de Judea Pearl ha transformado la inteligencia artificial al crear un fundamento computacional representativo para el procesamiento de la información bajo el problema de la incertidumbre. El trabajo de Pearl va más allá de los fundamentos teóricos y a lo que se refiere a los sistemas expertos basados en reglas. Él ha identificado la incertidumbre como un problema nuclear que enfrentan los sistemas llamados inteligentes y ha desarrollado una interpretación algorítmica de la teoría de la probabilidad como una fundación efectiva para la representación y adquisición del conocimiento".

Perl dirige el "Cognitive Systems Laboratory", en la Universidad de California en Los Ángeles (UCLA), y se graduó en Física por Rutgers University y en Ingeniería Electrónica en Technion (Israel Institute of Technology). Además del actual galardón, es poseedor de los Premios Allan Newell, la Medalla Franklin, y el Harvey Prize in Science and Technology. Su obra "Causality: Models, Reasoning, and Inference" se considera un título de referencia sobre estos temas en la actualidad.

Leslie G. Valiant (2010)

Educado en el King's College de Cambridge, el Imperial College de Londres y la Universidad de Warwick, donde recibió su doctorado en ciencias de computación en 1974. Comenzó dando clases en la Universidad de Harvard en 1982 y actualmente es T. Jefferson Coolidge Professorde Ciencias de la Computación y Matemáticas Aplicadas en el Harvard School of Engineering and Applied Sciences. Antes de 1982 enseñó además en la Universidad Carnegie Mellon, en la Universidad de Leeds y en la Universidad de Edimburgo.

Valiant es reconocido mundialmente por su trabajo en Ciencias de la Computación. Entre sus principales contribuciones a la complejidad computacional, se encuentra su introducción a la notación Numeral-P-completo para explicar por qué los problemas de enumeración son intratables. También introdujo el modelo de machine learning PAC, que ayudó al desarrollo de esta teoría, y el concepto de algoritmos holográficos. Leslie Valiant

Recibió el Premio Nevanlinna en 1986, el Premio Knuth en 1997, y el premio otorgado por la EATCS en 2008. Es miembro de la Royal Society de Londres, de la American Association for Artificial Intelligence, y de la Academia Nacional de Ciencias de Estados Unidos.

Valiant recibió el Premio Turing "por sus transformadoras contribuciones a la teoría de la computación, incluyendo la teoría del aprendizaje probable, aproximadamente correcto, la complejidad de la enumeración y de la computación algebraica, y teorías de la computación paralela y distribuida."

Charles P. Thucker (2009)

En el sitio web oficial de la Asociación ACM Turing, se indica que el premio a Thucker le ha sido concedido por sus "Trabajos pioneros en el diseño y la realización de lo que después llegó a ser el primer ordenador personal (el ALTO, concebido y montado en los laboratorios Xerox PARC), así como por sus trabajos fundamentales en el desarrollo de redes como Ethernet, estaciones multiproceso, protocolos de coherencia de cachés y el 'Tablet PC'."

Durante sus muchos años como ingeniero y diseñador de sistemas en PARC, contribuyó prácticamente a todas las innovaciones que de allí salían (que eran muchas), inccluyendo los primeros entornos gráficos para un sistema operativo (X-Windows). Para una información más detallada sobre su extenso trabajo, ver la Nota de Prensa oficial.

Barbara Liskov (2008)

Es la segunda mujer (tras Frances Allen) en conseguir este premio, dotado en la actualidad con 250.000$. El comité de selección ha premiado su larguísima trayectoria de innovación en instituciones tan prestigiosas como el M.I.T. o la Universidad de Stanford, donde fue la primera mujer en obtener un doctorado (Ph.D.) en Informática. Está obteniendo el reconocimiento a su trabajo últimamente, ya que en 2002 fue nombrada por la revista "Discover" como una de las 50 mujeres más importantes de la ciencia y en 2004 era galardonada con el otro gran premio a nivel mundial relacionado con la computación: El John Von Neumann.

En la actualidad, lidera el grupo de metodología de la programaciónen el Laboratorio de Computer Science and Artificial Intelligencedel MIT . El premio es un reconocimiento a su trabajo de innovación en el campo de la abstracción de datos y la creación de arquitecturas software modulares así como su relación con el modelo de jerarquía de datos, que son hoy en día conceptos básicos de programación que se imparten en cualquier asignatura de introducción a la programación, uso de tipos abstractos de datos y programación orientada a objetos, y que están soportados por muchos de los lenguajes más habituales como Ada, C++, Java o C#. El premio también distingue sus trabajos en los fundamentos de la computación distribuida.

Edmund Clarke, E. Allen Emerson y Joseph Sifakis (2007)

Concedido, según la academia, por su "original y continuado esfuerzo de investigación en el proceso de control de calidad conocido como Model Checking. Sus investigaciones transformaron esta técnica, pasando de ser un concepto teórico a una tecnología altamente efectiva de verificación, que permite a los ingenieros de hardware y software encontrar de forma eficiente los errores en sistemas complejos.

Clarke es el Profesor FORE Systems de Ciencias de la Computación en la Universidad Carnegie Mellon. Emerson trabaja como profesor en la Universidad de Texas, Austin. Sifakis nació en Creta y estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble

Frances Allen (2006)

Pionera en el campo de la optimización de compiladores. Algunos de sus logros consisten en trabajos originales sobre compiladores, optimización de código y paralelización. A principios de los 80, formó el grupo Parallel TRANslation (PTRAN) para estudiar temas relacionados con la compilación para máquinas paralelas. PTRAN fue considerado uno de los grupos de investigación punteros en el mundo, de entre los que trabajaban en paralelismo. Su trabajo en estos proyectos culminó con la introducción de algoritmos y tecnologías que forman la base teórica de la optimización automática de programas, ampliamente usados en muchos compiladores comerciales desarrollados por la industria.

La influencia de Allen en la comunidad de IBM fue reconocida con su nombramiento como IBM Fellow, siendo ella la primera mujer en recibir este honor. También fue la presidenta de la Academia IBM de Tecnología. La Academia juega un importante papel en la corporación, proporcionando liderazgo tecnológico, avanzando nuestra comprensión de importantes áreas técnicas, y fortaleciendo la comunicación entre profesionales. En 1997, Allen fue admitida en el Salón de la Fama WITI. Se retiró de IBM en 2002.

A principios de 2007, se convirtió en la primera mujer en recibir el Premio Turing de la ACM. Los motivos son sus "contribuciones que mejoraron fundamentalmente el rendimiento de los programas de computador y aceleraron el uso de sistemas de computación de alto rendimiento."

Peter Naur (2005)

Peter Naur nació en Dinamarca, donde se doctoró en Astronomía, hasta que en 1959 comenzó a preocuparse por la incipiente Informática de aquellos días, trabajando en el Instituto Danés de Computacióny más tarde en la Universidad de Copenhague.

Más adelante, su colaboración con John Backus(premio en 1977), y A.J. Perlis(primer premio Turing), dio lugar a la creación de uno de los primeros lenguajes de programación, el ALGOL 60.Igualmente, en colaboración con Backus, crearía la forma BNF, mecanismo de descripción formal de los lenguajes de programación, aunque -muy modesto- el prefiere llamarlo actualmente la "Forma Normal Backus", eximiendo su nombre.

Robert Kahn y Vinton Cerf (2004)

Robert Khannació en 1938 en Nueva York, y fue el ideólogo principal de la arquitectura abierta de redes, que más tarde permitiría a redes de diferente naturaleza conectarse entre sí, mediante protocolos de comunicación. Kahn lideró junto a Vinton Cerfla creación del protocolo TCP/IP , el estándar actual de comunicación en Internet. Se encargó de la puesta en marcha del programa de Internet de la Agencia de Proyectos de Investigación Avanzados para la Defensa de los Estados Unidos (DARPA).Asimismo, ha desarrollado el concepto de infraestructura de objeto digital como elemento intermedio clave de la Infraestructura de Información Nacional, que proporciona un marco para la interoperabilidad de sistemas de información heterogéneos. Actualmente, Kahn preside la Corporation for National Research Initiatives. Es miembro de la Academia Nacional de Ingeniería y del Comité Asesor sobre Tecnologíasde la Información del presidente de los Estados Unidos.

Vinton Cerf, nacido en 1943 en Connecticut (Estados Unidos), se graduó en Matemáticas en la Universidad de Stanfordy se doctoró en Informática en la de California. Su trabajo, junto a Kahn, tenía por objeto conectar ordenadores con independencia del tipo de conexión –estaciones de radios, satélites y líneas telefónicas– para la red militar ARPANET . Entre 1982 y 1986 diseñó el MCI MAIL, primer servicio de e-mail conectado a Internet. Entre sus últimos trabajos figura un proyecto de Internet interplanetaria, cuya denominación abreviada es InterPlanetNet. En la actualidad es vicepresidente de Internet Architecture and Technology de la WorldCom Corporation

Alan Key (2003)

Es el creador del primer sistema gráfico para ordenadores personales, (el vetusto X-Windowspara UNIX y coautor del lenguaje SmallTalk, además de colaborar en la creación de la red ARPANET, precursora de Internet. Kay trabajó para el famoso Centro de Investigación de Xerox(PARC ) en Palo Alto (California) y posteriormente para Appley Walt Disney. Profundamente implicado con la investigación en nuevos métodos de enseñanza, actualmente es Presidente de Viewpoints Research Institute, Inc.,y Senior Fellow en los Hewlett Packard Labs

Ronald Rivest, Adi Shamir y Leonard Adleman (2002)

Rivest, Shamir y Adleman, fueron premiados en 2002 principalmente, por ser los creadores del famoso algoritmo de encriptación RSA. Rivest , es Viterbi Professor of Computer Scienceen MIT y un gran especialista en criptografía. (También es autor de los algoritmos RC2, RC3, RC4 y RC6), así como de las funciones criptográficas tipo hash MD4 y MD5 y fundador del Cryptography and Information Security Group. Adi Shamir, es otro criptógrafo eminente. Además de su descrubrimiento del RSA, es inventor de la técnica del secret sharing, así como del Criptoanálisis Diferencialy otras numerosas contribuciones. Adlemanes Profesor de Informática y Biología Molecular en la Universidad de Shouthern California. En el 94, su artículo "Molecular Computation of Solutions To Combinatorial Problemsestablecía las bases de la utilización experimental del DNA como sistema computacional, posibilidad que está dando origen a numerosas investigaciones.

Ole-Johan Dahl y Kristen Nygaard (2001)

Dahl y Nygaard fueron los creadores del concepto de Programación Orientada a Objetosy expresaron esas ideas mediante la creación de los primeros lenguajes orientados a objetos Simula Iy Simula 67 . Ambos trabajaban en el Norwegian Computing Center de Oslo . El compilador de Simula I se financió por UNIVACy estuvo listo en Enero de 1965.

Más tarde, el antes citado Allan Kay, utilizó la versión 67 para desarollar su primer modelo de SmallTalky B. Stroutstrup aplicaría esos mismos principios en la creación del lenguaje C++.

Andrew Chi-Chih Yao (2001)

El profesor Yao recibió el premio por sus contribuciones a la Teoría de la Computación, Criptografía, Comunicacionesy 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.

Frederick Phillips Brooks (1999)

Brooks es Kenan Professor of Computer Scienceen la Universidad de North Carolina,y ha enseñado previamente en la U. de Twente y en Columbia. Se hizo popular por encargarse del diseño principal de los sistemas IBM/360, pero en sus trabajos teóricos ayudo a separar los conceptos de hardware y software permitiendo su desarrollo independiente.

Así mismo, fue un pionero en las primeras aplicaciones gráficas de ordenador e hizo importantes aportaciones en lo que ahora se conoce como "Ciclo de vida de las aplicaciones", estableciendo formas adecuadas de desarrollo de software en grupo. Ha publicado docenas de libros y artículos de divulgación. Actualmente investiga en gráficos de síntesis y en procesamiento del lenguaje natural.

James Gray (1998)

James Gray está doctorado por la Universidad de Berkeleyy es ante todo un investigador de primera línea. Trabajó en los departamentos de Research de IBMen las áreas de almacenamiento y transmisión de información. Ha publicado cientos de artículos relacionados con esos temas, y en la actualidad aborda algunos de los proyectos más ambiciosos de los que hayamos tenido noticia.

En concreto está tratando de aglutinar todo el conocimiento universal sobre Astronomía en una gigantesca base de datos (puede verse más información al respecto en SkyServer). En la actualidad trabaja para el División de Research en Microsoftquien le reconoció como Distinguished Engineer (honor que comparte con eminencias como Anders Hejlsberg, Dave Cutler, Marc Lucovsky, Butler Lampson, Brad Lovering o Charles Simonyi) y tuvimos ocasión de hablar con él el pasado Tech-Ed 2004, en Amsterdam, donde nos comentó algo de sus investigaciones en otro proyecto, el " World Wide Telescope". En otros proyectos relacionados con Internet 2 , dirige uno de los equipos que está intentando transferir la información producida en algunos de los grandes aceleradores de partículas (CERN), en ratios de transferencia de más de 1 Gb/seg. Dirige además el Bay Area Research Center (BARC) de Microsoft.Puede accederse a información sobre su trabajo más reciente en la siguiente página de Microsoft Research

Nota: Desgraciadamente, el profesor Gray desapareció en el mar a comienzos de 2007, y todos los esfuerzos por encontrar el barco en que viajaba han sido en vano. Se le da por fallecido.

Douglas Engelbart (1997)

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.

Amir Pnueli (1996)

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 Aplicadaa 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.

Manuel Blum (1995)

Nacido en Caracas (Venezuela), se doctoró en M.I.T., y fue galardonado por sus trabajos en la "Teoría de la complejidad computacional", y sus aplicaciones en la Criptografíay la comprobación de programas. Creador de varios generadores de números pseudoaleatorios, al lado de otras curiosidades como los conjuntos de cifras escritas gráficamente y distorsionadas para que sólo un humano pueda entenderlas, que se utilizan en Internet para excluir a los robots de búsqueda (Completely Automated Public Turing Test). En la actualidad, trabaja como Bruce Nelson Professor of Computer Scienceen Carnegie Mellon University. Ha publicado más de una docena de libros sobre autómatas y criptografía. Actualmente, dirige un proyecto denominado Center for ALgorithm ADaption, DIssemination and INtegration(proyecto Aladdin ). El objetivo es obtener algoritmos de forma simple adaptados a las necesidades puntuales de los usuarios.

Edward Feigenbaum y Raj Reddy (1994)

Feigenbaumes actualmente director del Laboratorio de Sistemas del Conocimientoen la Universidad de Stanford . Coautor de una docena de libros sobre IA, y concecorado con todos los galardones posibles en EE.UU, ha colaborado en proyectos universitarios y estatales, siempre en relación con el tema. sus investigaciones en este campo han sido especialmente relevantes en asociación con aplicaciones médicas.

Reddy, es de orígen hindú (se licenció en Madrás , y más tarde se doctoro en la Univ. de Stanford). Actualmente es profesor en la School of Computer Scienceen la Universidad Carnegie Mellon, Sus intereses principales se centran en la Interacción Hombre-Máquina, y la Inteligencia Artificial , donde colaboró con Feigenbaum en varios proyectos. Se les considera los padres de la "Inteligencia Artificial Aplicada" en Estados Unidos.

Juris Hartmanis y Richard E. Stearns (1993)

Jarmanis es natural de Letonia, aunque pronto viajó a EE.UU. donde se doctoró en Matemáticas por el Instituto de Tecnología de California (Caltech). Más adelante trabajó en la U. de Cornell, donde ayudó a fundar el Dpto. de Ciencias de la Computación, y en la General Electric Co . dondé colaboró en el establecimiento de varios de los principios informáticos utilizados hoy en día.

Por su parte, Stearns, es en la actualidad profesor emérito de Informática en la Univ. de Albanyy ha publicado varios libros en solitario y junto a Jartmanis, sobre Teoría de la Complejidad Computacional , que clasifica los problemas por la cantidad de recursos de cómputo necesarios para resolverlos. En 1965 definieron el concepto de complejidad formal respecto al tiempo en máquinas de Turing, demostrando que existe una jerarquía de clases de complejidad.

Butler W. Lampson (1992)

Distinguished Engineeren Microsoft, y Profesor de Ingeniería Electrónica en el M.I.T., Lampson pasó también por los centros de investigación de Xerox (PARC)y Digital Research Center. Ha trabajado en arquitectura de ordenadores, redes de área local, lenguajes de descripción de páginas, proceso de transacciones, seguridad y varios lenguajes de programación. Ha sido merecedor de una larga lista de premios y entre las patentes de su invención cabe destacar controladores de la posición del cursor, generadores de caracteres, sistemas de procesamiento eletrónico de imágenes, sistemas de gestión de versiones de software y un largo etcétera. Autor, además de más de 60 publicaciones (entre artículos y libros), se le considera uno de los autores principales de Ethernet, así como del Lenguaje Modula 2+

Robin Milner (1991)

El premio le fue concedido por 3 contribuciones que se citan explícitamente: la creación de LCF(prime?a implementación real que hacía uso de las funciones computables mediante Lógica de Scott), y que dió lugar al llamado Automated Theorem Proving, proceso mediante el cual un ordenador puede validar la autenticidad de un un teorema particular. la creación del lenguaje ML(del que existe un compilador para .NET Framework), que incorpora por primera vez, inferencia polimórfica de tipos, junto a un sistema de gestión estructurada de excepciones (principio la estructura try-catch-finally) y por una Teoría General de la Concurrencia y su tratamiento, llamada CCS (Calculus for Communicating Systems). EsteGúltimo tiene una importancia crucial en el desarrollo de comunicaciones para dispositivos móviles. Se graduó en el famoso King's College de Cambridge(R. Unido ), donde permanece en la actualidad, tras haber pasado por las Universidades de Stanfordy Edimburgo. Es autor de innumerables libros y artículos sobre estos temas.

Fernando J. Corbató (1990)

Fernando J. Corbató ha sido investigador en el M.I.T. desde su graduación en Física en el año 1952 hasta su retirada. El premio le fue otorgado por sus aportaciones a la teoría y práctica de sistemas a gran escala basados en compartición de recursos y tiempo de proceso. Hizo la primera demostración de este tipo en 1961, y con esta experiencia, desarrolló posteriormente el sistema Multics, que fue adoptado por Honeywell, y resultó ser la inspiración directa para que un tiempo después, Ken Thomson ideara el sistema Unix, y sigue sirviendo de modelo para el diseño de muchos de los sistemas operativos actuales.

Su obra "The Compatible Time-Sharing System: A Programmer's Guide " es un clásico que describe el uso del primer sistema a tiempo compartido en M.I.T.

William V. Kahan (1989)

Es el maestro indiscutible del cálculo numérico. Se define a si mismo como "una vida dedicada a la computaión en coma flotante", a la que ha hecho importantes contribuciones teorico-prácticas, y por las que se le concedió el Premio Turing.

De origen canadiense, se graduó en Matemáticas por la Universidad de Toronto , aunque ha ejercido de profesor de Matemáticas e Informática en la U. de Berkeley (California). Kahan fue contratado por Intel para el diseño del procesador 8087. Su trabajo desembocó en la creación del estándar IEEE 754, ampliamente utilizado hoy en día.

Ivan S. Sutherland (1988)

Alumno del prestigioso M.I.T., donde se doctoró, fue Fletcher Jones Professor of Computer Scienceen Caltechy en la Univ. de Harvard, para posteriormente, acceder al cargo de Vice-Presidente y Fellow de Sun Microsystems. Su principal aportación, se vincula al mundo de los gráficos para ordenador, del que se le considera uno de los pioneros, siendo uno de los directores del proyecto Silicon Structures . Posteriormente, trabajó en Harvard, en gráficos tridimensionales, en los principios de lo que hoy se conoce como "realidad virtual".

Su tesis doctoral "Sketchpad: A Man-machine Graphical Communications System."es considerada como la primera interfaz de usuario gráfica que se conoce.

John Cocke (1987)

Es el padre de la arquitectura RISC. Trabajó para a IBMdurante 36 años, durante los cuales desarrolló la mayor parte de los trabajos que le hicieron merecedor de estos y otros premios que poseyó (falleció en 2002). No sólo ayudo en el diseño de las nuevas arquitecturas tendentes a obtener mejores rendimientos, sino que extendió esos conceptos a la teoría de compiladores , siendo, igualmente, el precursor de muchos conceptos asociados con la "optimización de código", consiguiendo niveles comparablesa a los obtenidos mediante programas en código máquina. De hecho, elaboró el concepto de la arquitectura a partir del estudio de la organización del rendimiento de las CPU, respecto a la tecnología existente para optimización en los compiladores. También hizo aportaciones fundamentales al software de diseño de circuitos, consiguiendo que los diseños VLSI(Very Large Scale Integration) fueran realizados en un tiempo sustancialmente menor grcias a sus simuladores lógicos. Cocke se había doctorado en Matemáticas por la U. de Duke, y alterno sus trabajos para IBM con algunos periodos como profesor en M.I.T . y la U. de Nueva York.

John E. Hopcroft y Robert E. Tarjan (1986)

Hopcroft ha sido profesor de Computer Science en Stanford University y miembro de una docena de academias científicas norteamericanas. Actualmente trabaja en al U. de Cornell . Ha publicado varias obras sobre algoritmos y Teoría de Autómatas , así como en el campo de estructuras de datos. También es autor de obras clásicas sobre Teoría de Compiladores, junto a J.D. Ullman, and A.V. Aho.

Tarjan es Licenciado en Computer Science (U. de Stanford ) y posteriormente, doctorado en Matemáticas por CalTech, es uno de los pocos que ha sido galardonado con premios equivalentes en las dos ramas de su atención (el Nevanlinna Prize in Information Science , en 1983) que otorga el Comité Fields de Matemáticas a trabajos asociados en Infomática, y además el Premio Turing. (Cuenta, además con otra docena de galardoines a nivel mundial). Su campo de trabajo fundamental es la Algorítmica, donde ha hecho significativas aportaciones. Su obra Data Structures and Network Algorithms, es un clásico fundamental en su género. Además, ha publicado casi 200 artículos sobre Algorítmica y Matemáticas aplicadas a la Informática. Destacan igualmente, sus estudios en Teoría de Grafos, que tanta aplicación tienen hoy dia en las comuicaciones.

Richard Karp (1985)

Karp fue galardonado por sus "continuas contribuciones a la Teoría de Algoritmos, incluyendo el desarrollo de algoritmos optimizados para su uso en redes, problemas de optimización combinada, así como de la introducción del término "eficiencia algorítmica", y especialmente, por sus trabajos en Teoría no determinista de compleción de problemas, esto es, cuando el problema no puede ser abordado en su totalidad debido a su magnitud computacional, y la solución se obtiene mediante aproximaciones. Graduado en Harvard , desde 1994 se encuentra en Berkeley, donde es Senior Research Scientist en el International Computer Science Institute. Autor de numerosas obras, ha sido también uno de los pioneros en la investigación aplicada a la Genómica, como atestigua una de sus obras: "Mathematical Challenges from Genomics and Molecular Biology"

Niklaus Wirth (1984)

Nacido en Suiza, estudia Ingeniería Electrónica en Zurich, y posteriormente se doctora en Berkeley , en 1963. Wirth es autor de innumerables obras sobre computación, e inventor del lenguaje PASCAL,habiendo hecho significantes aportaciones a Teoría de Compiladores, Programación Estructurada , y Teoría de Algoritmos. En 1985, junto a un colaborador crea el lenguaje Oberon, una evolución del Pascal, y previamente había trabajado en el diseño del lenguaje Modula. Existen compiladores de ambos lenguajes para .NET Framework.

Hasta su retiro, en Abril/1999, fue profesor de informática en ETH (Zurich).

Ken Thompson y Dennis Ritchie (1983)

Thompsony Ritchiefueron galardonados por el desarrollo de la Teoría de Sistemas Operativos, y implementación real en el S.O: UNIX, que vio la luz en 1969. Más adelante, Ritchiesería el autor (junto a Brian Kernighan) de una obra clásioca, el Lenguaje C , escrito originalmente para UNIX, en 1972, y reescrito más tarde para todas las plataformas conocidas. Autores de numerosos libros de divulgación Thompson está retirado, mientras Ritchie sigue trabajando el Dpto. de Investigación en Informática de Lucent Technology's

Stephen A. Cook (1982)

Al igual que Karp, Stephen Cook, realizó importantísimas aportaciones a la teoría no determinista de resolución de problemas, cuya noción formal, estableció en un histórico documento, que presentó en el ACM SIGACT Symposium on the Theory of Computing, titulado, "The Complexity of Theorem Proving Procedures", allá por el año 1971. Infinidad de trabajos posteriores se han basado en estas ideas, desde la resolución de problemas de criptografía, hasta la optimización de algoritmos para juegos de ajedrez, Teoría de Grafos, etc.

Doctorado en la Univ. de Hardvard, actualmente es profesor en la Univ. de Toronto, donde reside. Otras áreas de su interés han sido la Semántica de Lenguajes de Programación, la Computación Paralela, y la interacción entre Lógicay Teoría de la Complejidad.

Edgard F. Codd (1981)

Nacido en el Reino Unido, a Codd (recientemente fallecido) se le considera el padre de la Teoría de Bases de Datos Relacionales. Estudió Matemáticas y Química en la Universidad de Oxford, trasladándose a Nueva York en 1948 para trabajar con IBM, y más tarde a Ottawa, hasta que finalmente se trasladó al Almaden Research Center de IBM. En 1970 publica el primero de sus artículos fundamentales: "A Relational Model of Data for Large Shared Data Banks", si bien, para su disgusto, IBM no se mostraba proclive a su implementación inmediata. Sin embargo, Larry Ellison , utilizó sus ideas para la creación de la base de datos Oracle . Codd, continuó trabajando en sus teorías, que más adelante se verían plasmadas formalmente en las conocidas "formas normales " para el diseño de bases de datos, una de las cuales (Boyce-Codd ) lleva ese nombre en su honor. Igualmente, Codd acuñó el término OLAP (On-Line Analytical Processing, estaleciendo las doce leyes que lo rigen).

Anthony R. Hoare (1980)

Recientemente nombrado Caballero por la Reina de Inglaterra, por sus contribuciones a la Ciencia de la Computación, Tony Hoare es conocido sobre todo por ser el autor del algoritmo QuickSort , ampliamente utilizado hoy en día por casi todos los entornos de desarrollo. Estudió Filosofía en Oxford, y Matemáticas y Estadística (bajo la escuela de Kolmogorov) en la Universidad del Estado, en Moscú, donde para demostrar una de sus propuestas de ordenación de palabras, ideó el famoso algoritmo.

En los años 60 dirigió el equipo que creó el primer compilador comercial para el lenguaje ALGOL 60, utilizando por primera vez el propio lenguaje ALGOL en la construcción del compilador, costumbre que sería seguida posteriormente creadores de otros lenguajes, como C, C++ o Java. Actualmente, trabaja para el Microsoft Research Centeren Cambridge.

Kenneth Iverson (1979)

Nacido en Alberta (Canada), se doctoró en Matemáticasen la U. de Harvard, dondé fue profesor hasta 1960. Desarrolló una nueva notación para operaciones con arrays numéricos e IBMcreó un intérprete para ejecutar expresiones que utilizaban esa notación. Más tarde, ya trabajando en IBM, desarrollo el lenguaje APL(A Programming Language), que solucionaba problemas sintácticos de tipo algebraico. También realizó notables aportaciones a la Teoría de Lenguajes de Programación. Ejerció como profesor en la Universidad de Harvard, allí durante varios años. Más adelante desarrollo el Lenguaje de programación J. (Ver J Language), que posee las mismas características de elegancia que APL, sin la utilización de algunos caracteres extraños que hacían algo molesta su utilización.

Robert W. Floyd (1978)

Recientemente fallecido. Donald Knuth, uno de los más grandes teóricos de la informática, decía de él que es, probablemente, la persona que más le influyó en su trabajo. Con 22 años, tenía una doble licenciatura en Matemáticas y Física, y era profesor titular en la U. de Stanforda los 27.

Sus aportaciones más relevantes las hizo en el campo de la Teoría de Grafos , así como en Analizadores Sintácticos(Parsers ), aunque es especialmente recordado por su trabajo "Assigning Meanings to Programs", que sentó las bases de la verificación de programas mediante el uso de aserciones lógicas. Inventó docenas de algoritmos y técnicas de programación que todavía están en uso hoy en dia. Nunca se doctoró, por que según sus palabras "no tenía tiempo para detalles académicos". No obstante, al menos una docena de sus artículos se consideran superiores en calidad a cualquier tesis doctoral típica de su tiempo.

John Backus (1977)

Empleado de IBM, fué el creador del primer lenguaje de alto nivel conocido: FORTRAN,en el año 1950, aunque no estuvo comercialmente disponible hasta 1957. También es el autor de la FormaBackus-Naurpara expresar sin ambiguedades la descripción sintactica de un lenguaje informático. Como resultado colateral, su equipo de trabajo y él mismo, idean el primer Parser (Analizador Sintáctico) y comienzan a tratar con los conceptos de lenguaje compilado y optimización de código. Cuando se completó el compilador ocupaba 25.000 líneas de código máquina. También ideó un lenguaje de programación funcional, llamado FP que proporciona una aproximación matemática a la programación. Una versión más actual de su lenguaje dispone de un compilador para .NET Framework .

Michael O. Rabin y Dana S. Scott (1976)

Obtuvieron conjuntamente el premio por su artículo conjunto "Finite Automata and Their Decision Problem", que introdujo la idea de máquinas no-deterministas, concepto que ha desmotrado posteriormente se de importancia crucial. Rabin estaba doctorado en Princetony trabaja actualmente en Harvard. Otra de sus aportaciones consiste en la creación de un algoritmo que permite determinar con mínimo margen de error si un número es primo. Por su parte, Scottes profesor de Informática, Filosofíay Lógica Matemáticaen la U. de Carnegie-Mellon , habiéndose doctorado en Princeton. Además, se le considera el padre de la llamada Teoría de Dominios, una rama de la más amplia Teoría de Orden matemática que encontró posteriores aplicaciones en la Informática.

Herbert A. Simon y Allen Newell (1975)

Es difícil resumir la vida de Simon. No sólo obtuvo el Premio Turing , sino también el Premio Nobel de Economía en 1978, "por sus trabajos pioneros dentro de la toma de decisiones en organizaciones económicas", el John Von Neumanny una larga lista adicional. Prácticamente todas las áreas que resultaban de su interés tienen aportaciones suyas. Permaneció activo en su trabajo en la Univ. Carnegie-Mellonhasta unas pocas semanas antes de su fallecimiento, en Febrero de 2001. Para algunos es considerado uno de los padres de la Inteligencia Artificial, que comenzó en 1955 con Logic Theorist, un programa que era capaz de encontrar pruebas de teoremas geométricos. Trabajador incansable, se le considera igualmente uno de los pioneros de la "Psicología Cognitiva", y era según palabras de sus propios alumnos "mucho más que el mejor profesor que nadie pueda tener". Otras áreas en las que hizo aportaciones fundamentales, son la Epistemología (fundamentos y métodos del conocimiento científico) y Sistemas de Procesamiento de la Información. Para más datos sobre su impresionante obra puede consultarse su página Web.

Allen Newellcolaboró con Simon en la creación de Logic Theorist , y obtuvo el premio por sus contribuciones a la Inteligencia Artificial , la Psicología del Aprendizaje Humano(básico en IA), y el procesameinto de listas. Profesor en Carnegie Mellon University , como Simon, había trabajado en la RAND Corp. donde realizó experimentos de simulación incluyendo los principios de los modernos algoritmos que se usan en los juegos de ajedrez y muchos otros programas relacionados con la IA. A su muerte, su amigo Simon escribio una pequeña biografía científica de Newell, explicando la evolución de su pensamiento.

Donald Knuth (1974)

Uno de los grandes teóricos de la Informática. Pocos libros habrán tenido tanta transcendencia como su archifamoso "The Art of Computer Programming ", que todavía sigue actualizando, y donde establece los fundamentos matemáticos de la Algorítmica, tal y como hoy la conocemos e incluso diseña una prueba para comprobar la "aleatoriedad" (randomness) de los generadores de números aleatorios, que lleva su nombre (Prueba espectral de Knuth ). Respecto a esta obra, el propio Bill Gatesuna vez afirmó: "yo intenté leerlo cuando estaba en el último curso de la carrera, pero reconozco que no pasé de las primeras 40 páginas. No obstante, creo que es imprescindible y se lo exijo a todos nuestros ingenieros. Es más, si lo has leído quiero tu currículum".

Knuthse doctoró en CalTechy es Profesor Emérito en Stanford , Doctor Honoris-Causa por más de 10 universidades en todo el mundo, y poseedor de una docena de premios científicos adicionales. Es, también, autor de los sistemas TeX(para preparación de documentos -especialmente científicos- y MF(para el diseño de alfabetos), ampliamente utilizados en ediciones de tipo científico por todo el mundo. El Prof. Knuth trabaja y vive todavía en el campus de Stanford.

Charles Bachman (1973)

Bachmanes en cierto sentido algo inusual dentro de los premios Turing, ya que pasó la mayor parte de su vida trabajando para la empresa privada, en lugar de ser un hombre de academia. Trabajo en Dow Chemicaly General Electric, donde desarrolló el "Integrated Data Store ", uno de las primeros sistemas de gestión de bases de datos que se conocen. Más tarde, se unió a Cullinan Information Systems, donde desarrollo algunas de las primeras herramientas CASEy realizó ingeniería inversa de viejas bases de datos de mainframes. Sus debates con el Dr. Codd fueron famosos, pues el preconizaba otra aproximación a las bases de datos, conocida como BB.DD. de Navegación. Más tarde fundó Bachman Information Systems, para popularizar algunas de las ideas sobre herramientas CASE que él mismo fue depurando con los años.

Edsger W. Dijkstra (1972)

Fue uno de los elementos más influyentes de la generación fundacional de la Informática. Trabajo en Diseño de Algoritmos y Programas, Lenguajes de Programación , Sistemas Operativos, Procesamiento distribuido yEspecificación y Verificación formal. De cualquier forma, este físico holandés, será siempre recordado por sus aportaciones a la Programación Estructurada y a la Computación Distribuida. Recibió un gran número de honores a lo largo de su vida, hasta su fallecimiento en 2002, y tuvo también sus detractores, debido a sus opiniones sobre algunos lenguajes de programación (En el documento " How do we tell truths that might hurt?" arremete contra FORTRAN , COBOL, PL/I-al que denomina 'enfermedad fatal'-, APLe incluso contra algunas compañías, como IBM). Terminó sus días en la Universidad de Tejas (Austin), como profesor.

John McCarthy (1971)

Se le considera el pionero, junto al propio Turing, Simon y Newell de la Inteligencia Artificial, cuyo primer lenguaje, LISP, inventó en 1958. Previamente había trabajado ya en I.A e incluso había propuesto la posibilidad de que los ordenadores trabajasen en red. Junto a Minsky,Rochestery Von Neumann , promovió el primer proyecto conocido de Inteligencia Artificial, en 1958. Al año siguiente, publica su artículo " Programs with Common Sense", uno de los primeros que se conoce sobre la lógica de la I.A. Profesor emérito en Stanford University , ha publicado además docenas de articulos sobre temas relacionados, así como en Teoría Matemática de la Computación, Minería de Datos, e incluso otros, más populares, pero no menos profundos, tales como " Partial Formalizations at the Lemmings Game", sobre el popular juego. En la actualidad, continua su labor de investigación en Stanford.

Fallecido recientemente (Oct.2011)

J.H. Wilkinson (1970)

De origen británico, se licenció y doctoró en Matemáticas por la Universidad de Cambridge, a temprana edad. Durante la II Guerra Mundial, trabajó para el Dpto. de Investigación en Matemáticas del Ministerio de Suministros Británico. Más adelante, jugó un papel crucial en el desarrollo del ordenador ACE, uno de los primeros que se construyeron, tras lo cual, se centró en la forma de aplicar los ordenadores a la resolución de problemas científicos, desarrollando varios métodos numéricos necesarios para estas tareas y siendo también el creador de algunos de los primeros programas para Matemáticas hechos en FORTRAN. Tras sus trabajos en el NPL (National Physical Laboratory), aceptó una oferta de la U. de Stanford,como profesor de Informática.

Marvin Minsky (1969)

Para muchos, se le considera el padre de la Robótica, especialmente por sus trabajos y publicaciones en M.I.T Media Lab, donde trabaja y enseña como Toshiba Professor of Media Arts and Sciences. Sus trabajos, en realidad, son mucho más extensos, abarcando la Inteligencia Artificial, Psicología Cognitiva, Redes Neuronales y la Teoría de Máquinas de Turing y funciones recursivas. En el 1961, resolvió el problema Emil Post ("Tag") demostrando que cualquier ordenador puede ser simulado por una máquina con sólo dos registros y 3 instrucciones. En el 1959 construyo la primera máquina basada en Redes Neuronales, y más tarde, fundó -junto a John McCarthy- el MIT Artificial Intelligence Laboratory. Algunas de sus publicaciones, tales como " Steps Towards Artificial Intelligence", " Matter, Mind, and Models"o " A Framework for Representing Knowledge" se consideran fundamentales en cada disciplina que abordan. Una lista más o menos detallada de sus obras, condecoraciones y patentes puede encontrarse en su página del MIT.

Richard Hamming (1968)

Doctor en Matemáticas por la Universidad de Illinois, durante el periodo de la guerra, formó parte del famoso "Manhattan Project ", sobre el desarrollo de la bomba atómica, tras lo cual, se incorporó a los Bell Telephone Laboratories, donde trabajó junto a Shannon y Tuckey. Sus trabajos más conocidos tienen que ver con el código de corrección de errores, cuyos artículos (año 1950) establecieron una nueva rama dentro de la Informática. A mediados de los 50, trabajó en el diseño de uno de los primeros ordenadores IBM, modelo 650, estableciendo la necesidad de la creación de lo que más tarde se llamarían lenguajes de alto nivel. También realizó importantes aportaciones al Análisis Numérico, Integración de Ecuaciones Diferenciales, Teoría de la Información y Codificación, y Estadística y Probabilidad. Falleció en Monterrey (California) en 1998.

Maurice V. Wilkes (1967)

Se doctoró en Física por la Univ. de Cambridge, con una tesis sobre la propagación de ondas de radio en la ionosfera. Fue el primer director del University of Cambridge Computer Laboratory, durante el desarrollo de EDSAC, uno de los primeros ordenadores digitales y probablemente el primero en almacenar su programa de forma interna. En 1955, desarrolló el concepto de "Microprogramación", mediante el cual una CPU puede ser controlada por un tipo especializado de memoria (ROM). También se le atribuyen la autoría de los conceptos de etiqueta simbólica, macro , y librería de rutinas, estableciendo el camino a la programación mediante lenguajes de alto nivel. Finalmente, trabajó en sistemas operativos multiusuario y en Informática Distribuida. en la década de los 70 wilkes trabajó en Hasler A.G. compañía suiza, donde estableció algunos principios aplicables a la Telefonía digital.

A.J. Perlis (1966)

Alan Perlisrecibió el primer Premio Turing, por su influencia en las Técnicas de Programación Avanzada, y la construcción de compiladores . Licenciado en Química y doctorado en Matemáticas en el M.I.T , fué uno de los desarrolladores del lenguaje ALGOL 60(Algorithmic Language). Fue el primer director del Dpto. de Informática en Carnegie-Mellon University. Más adelante escribió un documento conocido como "Epigramas de Perlis", que circuló profusamente por los medios universitarios relacionados con la informática, donde resume algunas de sus impresiones tras muchos años de trabajo pionero en este campo, como su famoso "solo hay dos formas de escribir programas libres de errores, pero solo funciona la tercera". Modificaciones de estos pensamientos dieron lugar a lo que más tarde se ha conocido como "Leyes de Murphy".