Charles Eric Leiserson (nacido en 1953) es informático y profesor en el Instituto Tecnológico de Massachusetts (MIT). Se especializa en la teoría de la computación paralela y la computación distribuida .
Leiserson recibió una licenciatura en informática y matemáticas de la Universidad de Yale en 1975 y un doctorado en informática de la Universidad Carnegie Mellon en 1981, donde sus asesores fueron Jon Bentley y HT Kung . [2] La disertación de Leiserson , Computación VLSI de área eficiente , ganó el primer Premio de Tesis Doctoral ACM en 1982.
Se unió a la facultad del Instituto de Tecnología de Massachusetts en 1981, donde finalmente se convirtió en profesor Edwin Sibley Webster del Departamento de Ingeniería Eléctrica y Ciencias de la Computación. [3] Antes de esto, fue director asociado y director de operaciones del Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT y director del grupo de investigación de Teoría de la Computación. Se enumera a sí mismo como director de la facultad del Acelerador de IA de la Fuerza Aérea del MIT, que está diseñado para lograr avances fundamentales en inteligencia artificial para mejorar las operaciones del Departamento de la Fuerza Aérea y al mismo tiempo abordar necesidades sociales más amplias. [3]
Durante la década de 1980, Leierson estaba de licencia en el MIT en Thinking Machines Corporation , [3] donde inventó la red de interconexión fat-tree , una red de interconexión universal de hardware utilizada en muchas supercomputadoras, incluida la Connection Machine CM5, para la cual fue red. arquitecto.
Ayudó a ser pionero en el desarrollo de la teoría VLSI, incluido el método de optimización digital de retiming con James B. Saxe y matrices sistólicas con HT Kung . Concibió la noción de algoritmos ajenos a la caché , que son algoritmos que no tienen parámetros de ajuste para el tamaño de la caché o la longitud de la línea de la caché, pero que, sin embargo, utilizan la caché de forma casi óptima.
Desarrolló el lenguaje Cilk para programación multiproceso, que utiliza un algoritmo de robo de trabajo demostrablemente bueno para la programación. Su biografía enumera dos programas de ajedrez reconocidos internacionalmente basados en Cilk, StarSocrates y Cilkchess. [3]
Después de esto, fue fundador y director de tecnología de la startup Cilk Arts, Inc., desarrollando tecnología basada en Cilk para aplicaciones informáticas multinúcleo . La empresa fue adquirida por Intel en 2009, tras lo cual Leierson inició el movimiento de código abierto OpenCilk. [3] [4]
Leierson recibió múltiples premios de investigación en 2013 y 2014 por el trabajo de Cilk (ver más abajo).
Anteriormente fue director de investigación y director de arquitectura de sistemas de Akamai Technologies en Boston , una empresa que desarrolló redes de distribución de contenidos a finales de los años 1990. La empresa surgió de la investigación realizada en el MIT, y donde su Ph.D. El estudiante Robert Blumofe fue vicepresidente ejecutivo. [5]
Leiserson fue coautor del libro de texto de algoritmos estándar Introducción a los algoritmos junto con Thomas H. Cormen , Ronald L. Rivest y Clifford Stein . Leierson menciona que este fue elegido "Mejor libro profesional y académico de 1990 en informática y procesamiento de datos" por la Asociación de Editores Estadounidenses . [3]
Su padre era Mark Leiserson, profesor de economía en la Universidad de Yale . [10]