
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ía y 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 Science en
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.
Feigenbaum es actualmente director del
Laboratorio de Sistemas del Conocimiento en 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 Science en 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.
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 Albany y 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.