Чарльз Эрик Лейзерсон (родился в 1953 году) — компьютерный учёный и профессор Массачусетского технологического института (MIT). Он специализируется на теории параллельных вычислений и распределённых вычислениях .
Лейзерсон получил степень бакалавра наук в области компьютерных наук и математики в Йельском университете в 1975 году и степень доктора философии в области компьютерных наук в Университете Карнеги — Меллона в 1981 году, где его научными руководителями были Джон Бентли и Х. Т. Кунг . [2] Диссертация Лейзерсона « Вычисления на СБИС с эффективным использованием площади» получила первую премию ACM Doctoral Dissertation Award в 1982 году.
Он присоединился к факультету Массачусетского технологического института в 1981 году, где в конечном итоге стал профессором кафедры электротехники и компьютерных наук имени Эдвина Сибли Вебстера. [3] До этого он был заместителем директора и главным операционным директором Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института и руководителем исследовательской группы по теории вычислений. Он называет себя директором факультета MIT-Air Force AI Accelerator, который призван внести фундаментальные изменения в искусственный интеллект для улучшения операций Департамента ВВС, а также решать более широкие общественные потребности. [3]
В 1980-х годах Лейерсон находился в отпуске в Массачусетском технологическом институте и работал в корпорации Thinking Machines Corporation [3] , где он изобрел сеть межсоединений Fat-Tree — универсальную аппаратную сеть межсоединений, используемую во многих суперкомпьютерах, включая Connection Machine CM5, для которой он был сетевым архитектором.
Он помог стать пионером в разработке теории СБИС, включая метод ресинхронизации цифровой оптимизации с Джеймсом Б. Саксом и систолические массивы с Х. Т. Кунгом . Он придумал понятие алгоритмов, забывающих о кэше , которые представляют собой алгоритмы, не имеющие параметров настройки для размера кэша или длины строки кэша, но тем не менее использующие кэш почти оптимально.
Он разработал язык Cilk для многопоточного программирования, который использует доказуемо хороший алгоритм перехвата работы для планирования. В его биографии перечислены две всемирно признанные программы для игры в шахматы, основанные на Cilk, StarSocrates и Cilkchess. [3]
После этого он стал основателем и главным технологом стартапа Cilk Arts, Inc., разрабатывающего технологию на основе Cilk для многоядерных вычислительных приложений. Компания была приобретена Intel в 2009 году, после чего Лейерсон инициировал движение OpenCilk с открытым исходным кодом. [3] [4]
В 2013 и 2014 годах Лейерсон получил несколько исследовательских наград за работу в Силке (см. ниже).
Ранее он был директором по исследованиям и директором по системной архитектуре в Akamai Technologies в Бостоне , компании, которая разрабатывала сети распространения контента в конце 1990-х годов. Компания выросла из исследований, проведенных в MIT, и где его аспирант Роберт Блюмофе был исполнительным вице-президентом. [5]
Лейзерсон был соавтором учебника по стандартным алгоритмам « Введение в алгоритмы» вместе с Томасом Х. Корменом , Рональдом Л. Ривестом и Клиффордом Стайном . Лейзерсон упоминает, что эта книга была признана «Лучшей профессиональной и научной книгой 1990 года по информатике и обработке данных» Ассоциацией американских издателей . [3]
Его отцом был Марк Лейзерсон, профессор экономики в Йельском университете . [10]