Charles Eric Leiserson (nacido en 1953) es un científico informático y profesor del 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 Ciencias de la Computación y Matemáticas de la Universidad de Yale en 1975 y un doctorado en Ciencias de la Computación 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 Disertación Doctoral ACM en 1982.
Se incorporó a la facultad del Instituto Tecnológico 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 incluye como director de la facultad del Acelerador de IA de la Fuerza Aérea del MIT, que está diseñado para realizar 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 estuvo de licencia en el MIT en Thinking Machines Corporation , [3] donde inventó la red de interconexión de árbol gordo , una red de interconexión universal de hardware utilizada en muchas supercomputadoras, incluida la Connection Machine CM5, para la que fue arquitecto de red.
Ayudó a desarrollar la teoría VLSI, incluido el método de resincronización de la optimización digital con James B. Saxe y las matrices sistólicas con HT Kung . Concibió la noción de algoritmos ajenos a la memoria caché , que son algoritmos que no tienen parámetros de ajuste para el tamaño de la memoria caché o la longitud de la línea de caché, pero que, sin embargo, utilizan la memoria caché de manera casi óptima.
Desarrolló el lenguaje Cilk para programación multiproceso, que utiliza un algoritmo de robo de trabajo comprobadamente bueno para la planificación. Su biografía enumera dos programas de ajedrez reconocidos internacionalmente basados en Cilk, StarSocrates y Cilkchess. [3]
Posteriormente, fue fundador y director de tecnología de la empresa emergente Cilk Arts, Inc., que desarrolla 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 contenido a fines de la década de 1990. La empresa surgió de la investigación realizada en el MIT, y donde su estudiante de doctorado Robert Blumofe era vicepresidente ejecutivo. [5]
Leiserson fue coautor del libro de texto de algoritmos estándar Introduction to Algorithms junto con Thomas H. Cormen , Ronald L. Rivest y Clifford Stein . Leierson menciona que este fue elegido el "Mejor libro académico y profesional de 1990 sobre 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]