El Premio a la Tesis Doctoral de la ACM de 1982 reconoció a Charles E. Leiserson por su tesis titulada Area-Efficient VLSI Computation, marcando una contribución temprana al estudio del diseño de circuitos integrados. Desde ese periodo, ha mantenido una carrera en el Instituto Tecnológico de Massachusetts, centrándose en la teoría de la computación paralela y el desarrollo de arquitecturas de software de alto rendimiento.
Fundación académica e investigación
Leiserson obtuvo su Licenciatura en Ciencias en informática y matemáticas en la Universidad de Yale en 1975. Completó su doctorado en la Universidad Carnegie Mellon en 1981, asesorado por Jon Bentley y H. T. Kung. Tras incorporarse al profesorado del Instituto Tecnológico de Massachusetts, ascendió al puesto de profesor Edwin Sibley Webster. Sus funciones de liderazgo en la universidad incluyeron servir como director del grupo de investigación de Teoría de la Computación y director asociado del Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT.
Arquitectura de hardware y algoritmos
Durante la década de 1980, Leiserson trabajó con Thinking Machines Corporation, donde diseñó la red de interconexión fat-tree. Esta arquitectura se convirtió en una característica estándar en varios sistemas de supercomputación, notablemente la Connection Machine CM5. Su investigación en la teoría VLSI resultó en el desarrollo de matrices sistólicas y el método de retiming para la optimización de circuitos digitales. Además, estableció el concepto de algoritmos cache-oblivious, que permiten a los sistemas funcionar eficientemente sin requerir ajustes manuales para configuraciones específicas de caché de memoria.
Programación paralela y contribuciones a la industria
Leiserson creó el lenguaje de programación Cilk para facilitar el desarrollo de software multihilo, utilizando un algoritmo de robo de trabajo para la programación. La tecnología apoyó aplicaciones de ajedrez como Cilkchess y StarSocrates. Fundó Cilk Arts, Inc., que Intel adquirió en 2009. Su experiencia en la industria también incluye servir como director de investigación y arquitectura de sistemas para Akamai Technologies en Boston. Además, fue coautor del texto académico Introduction to Algorithms, que recibió un premio por logro profesional y académico en 1990.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Honores profesionales
A lo largo de su carrera, Leiserson ha recibido numerosas distinciones por sus contribuciones académicas y prácticas. Fue galardonado con el Premio Presidencial al Investigador Joven en 1985 y fue nombrado Miembro de la Facultad Margaret MacVicar del MIT en 2007. En 2013, recibió el Premio Paris Kanellakis por su trabajo en Cilk y computación paralela, seguido por el Premio Ken Kennedy en 2014. Posee el estatus de miembro en la Asociación Estadounidense para el Avance de la Ciencia, la Sociedad de Matemáticas Industriales y Aplicadas y la Asociación de Maquinaria Computacional.
Datos rápidos
- Nacimiento: 1953, Oslo - Ciudadanía: Estados Unidos - Educación: Universidad de Yale, Universidad Carnegie Mellon - Empleador: Instituto Tecnológico de Massachusetts - Conocido por: Introduction to Algorithms, lenguaje de programación Cilk - Membresías: ACM, AAAS, IEEE, SIAM
Preguntas frecuentes de los lectores
### ¿Qué es el lenguaje de programación Cilk?
Cilk es un lenguaje desarrollado por Leiserson para la programación multihilo que utiliza un algoritmo de robo de trabajo para una programación eficiente de tareas.
### ¿Qué contribución hizo Leiserson al hardware de supercomputación?
Inventó la red de interconexión fat-tree, que sirvió como arquitectura de red para la Connection Machine CM5.
