Чарльз Э. Лейзерсон
Чарльз Э. Лейзерсон | |
|---|---|
 Чарльз Э. Лейзерсон | |
| Рожденный | 10 ноября 1953 г. [1] |
| Национальность | Американский |
| Альма-матер | Университет Карнеги-Меллон Йельский университет |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Массачусетский технологический институт |
| Диссертация | Эффективные по площади вычисления СБИС (1981) |
| Докторантура | ХТ Кунг Джон Бентли |
Чарльз Эрик Лейзерсон (1953 г.р.) — ученый-компьютерщик и профессор ( Массачусетского технологического института MIT). Он специализируется на теории параллельных вычислений и распределенных вычислений .
Образование
[ редактировать ]Лейзерсон получил степень бакалавра наук в области компьютерных наук и математики в Йельском университете в 1975 году и степень доктора компьютерных наук в Университете Карнеги-Меллона в 1981 году, где его консультантами были Джон Бентли и Х.Т. Кунг . [2] Лейзерсона Диссертация » «Вычисление СБИС с эффективным использованием площади получила первую премию ACM за докторскую диссертацию в 1982 году.
Трудовая карьера
[ редактировать ]В 1981 году он поступил на факультет Массачусетского технологического института Эдвина Сибли Вебстера . , где в конечном итоге стал профессором кафедры электротехники и информатики [3] До этого он был заместителем директора и главным операционным директором Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института , а также руководителем исследовательской группы теории вычислений. Он называет себя директором факультета MIT-Air Force AI Accelerator, который предназначен для достижения фундаментальных достижений в области искусственного интеллекта для улучшения операций Департамента ВВС, а также для решения более широких социальных потребностей. [3]
Мыслящие машины
[ редактировать ]В 1980-е годы Лейерсон находился в отпуске из Массачусетского технологического института в корпорации Thinking Machines . [3] где он изобрел сеть межсетевых связей «толстое дерево» , универсальную аппаратно-сетевую сеть, используемую во многих суперкомпьютерах, включая Connection Machine CM5, в которой он был сетевым архитектором.
СБИС и методы кэширования
[ редактировать ]Он помог стать пионером в разработке теории СБИС, включая метод повторной синхронизации с Джеймсом Б. Саксом и систолические массивы с Х. Т. Кунгом . Он придумал понятие алгоритмов, не обращающих внимания на кэш , которые представляют собой алгоритмы, которые не имеют параметров настройки размера кэша или длины строки кэша, но, тем не менее, используют кэш почти оптимально.
Язык программирования Cilk
[ редактировать ]Он разработал язык Cilk для многопоточного программирования, который использует для планирования доказуемо хороший алгоритм кражи работы . В его биографии перечислены две всемирно признанные шахматные программы, основанные на Силке: StarSocrates и Cilkchess. [3]
- См. Cilk для получения подробной информации о языке программирования.
После этого он стал основателем и техническим директором стартапа Cilk Arts, Inc., занимающегося разработкой основанной на Cilk технологии для многоядерных вычислительных приложений. Компания была приобретена Intel в 2009 году, после чего Лейерсон инициировал движение OpenCilk с открытым исходным кодом. [3] [4]
Лейерсон получил множество исследовательских наград в 2013 и 2014 годах за работу Силка (см. Ниже).
Умный
[ редактировать ]Ранее он был директором по исследованиям и директором по системной архитектуре в компании Akamai Technologies в Бостоне , которая разрабатывала сети распространения контента в конце 1990-х годов. Компания выросла из исследований, проведенных в Массачусетском технологическом институте, где его доктор философии. студент Роберт Блюмоф был исполнительным вице-президентом. [5]
Учебники
[ редактировать ]Лейзерсон был соавтором учебника по стандартным алгоритмам «Введение в алгоритмы» вместе с Томасом Х. Корменом , Рональдом Л. Ривестом и Клиффордом Стейном . признала эту книгу «Лучшей профессиональной и научной книгой 1990 года по информатике и обработке данных» Лейерсон упоминает, что Ассоциация американских издателей . [3]
Награды и почести
[ редактировать ]- 1981 Премия за докторскую диссертацию Фонда Фанни и Джона Герца . [6]
- 1982 года Премия ACM за докторскую диссертацию за докторскую степень. диссертация «Эффективные по площади вычисления СБИС»
- В 1985 году Национальный научный фонд наградил его президентской премией молодого исследователя .
- избрана В 2007 году Маргарет Маквикар научным сотрудником факультета Массачусетского технологического института, что является высшим признанием в Массачусетском технологическом институте за преподавание на бакалавриате. [7]
- 2013 года Премия Пэрис Канеллакис от ACM вместе со своим аспирантом Робертом Д. Блюмофом за «вклад в надежные параллельные и распределенные вычисления», в частности за планирование с кражей работы и исследования Силка. [8]
- в области образования в 2014 году Премия Тейлора Л. Бута от Компьютерного общества IEEE «за вклад в образование в области информатики во всем мире посредством написания популярного учебника по алгоритмам и разработки курсов по алгоритмам и параллельному программированию». [9]
- 2014 года Премия Кена Кеннеди от Компьютерного общества ACM-IEEE за «непреходящее влияние на параллельные вычислительные системы и их внедрение в массовое использование посредством научных исследований и разработок». Его также отметили за «выдающееся наставничество лидеров и студентов в области информатики». [5]
- Избран членом Ассоциации вычислительной техники (ACM), Американской ассоциации содействия развитию науки (AAAS), Института инженеров по электротехнике и электронике (IEEE) и Общества промышленной и прикладной математики (SIAM).
Личная жизнь
[ редактировать ]Его отцом был Марк Лейзерсон, профессор экономики Йельского университета . [10]
Ссылки
[ редактировать ]- ^ Резюме
- ^ Чарльз Эрик Лейзерсон в проекте «Математическая генеалогия»
- ↑ Перейти обратно: Перейти обратно: а б с д и ж Чарльз Лейерсон: биография с сайта mit.edu, последнее посещение 9 февраля 2024 г.
- ^ Программирование на Cilk с сайта cilk.mit.edu, последнее посещение 8 февраля 2024 г.
- ↑ Перейти обратно: Перейти обратно: а б ACM, Компьютерное общество IEEE выражает благодарность Чарльзу Э. Лейзерсону за достижения в области параллельных вычислительных систем , пресс-релиз на сайте acm.org от 12 сентября 2014 г.
- ^ Чарльз Лейзерсон, доктор философии, стипендиат Hertz, 1977 г. , сайт Hertzfoundation.org, последний раз доступ осуществлялся 8 февраля 2024 г.
- ↑ MacVicar Day празднует обучение, профессора Массачусетского технологического института , пресс-релиз The Tech, 6 марта 2007 г.
- ↑ Чарльз Лейзерсон получает премию ACM Kanellakis , пресс-релиз csail.mit.edu от 16 апреля 2014 г.
- ^ 2014 Booth Award , пресс-релиз IEEE Computer Society от 25 февраля 2014 г.
- ↑ Марк Лейзерсон: известный экономист-международник , некролог Йельского университета от 30 августа 2002 г.
Внешние ссылки
[ редактировать ]
- Американские ученые-компьютерщики
- Американские ученые-теоретики-компьютерщики
- Факультет Массачусетского технологического института
- Члены Ассоциации вычислительной техники 2006 г.
- Живые люди
- Исследователи распределенных вычислений
- Выпускники Йельского университета
- Выпускники Университета Карнеги-Меллон
- 1953 года рождения
- Американские главные технологи