Роберт Харпер (ученый-компьютерщик)

От / / Оставьте комментарий

Роберт Харпер (специалист по компьютерам) Роберт Уильям Харпер-младший — профессор компьютерных наук в Университете Карнеги-Меллона.  Харпер внес значительный вклад в […]

Carnegie Mellon University faculty, Computer scientist stubs, Living people, Programming language researchers, Живые люди, Исследователи языка программирования, Незавершённые статьи по информатике, преподаватели Университета Карнеги-Меллона

Роберт Харпер (специалист по компьютерам)

  • Роберт Уильям Харпер-младший — профессор компьютерных наук в Университете Карнеги-Меллона. 
  • Харпер внес значительный вклад в разработку языка программирования ML и логической платформы LF. 
  • В 2005 году он был назван стипендиатом ACM за вклад в разработку систем типов для языков программирования. 
  • В 2021 году Харпер получил награду ACM SIGPLAN за достижения в области языков программирования. 
  • Он также получил несколько премий за свои научные достижения, включая премию Саймона и премию Аллена Ньюэлла. 
  • Харпер является автором нескольких книг по программированию и языкам программирования. 
  • В 2003-2008 годах он вел ток-шоу Left Out на WRCT-FM совместно с коллегой Дэнни Слейтором. 

Полный текст статьи:

Роберт Харпер (ученый-компьютерщик) — Википедия, бесплатная энциклопедия

Похожие статьи:

  1. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  2. Ассоциация вычислительной техники Ассоциация производителей вычислительной техники ACM — крупнейшее в мире научное и образовательное компьютерное сообщество, основано в...
  3. Постоянный ток Постоянный ток История постоянного тока Постоянный ток был открыт в 1800 году Алессандро Вольта.  Андре-Мари Ампер...
  4. Переменный ток Переменный ток Основы переменного тока Переменный ток — это электрический ток, который изменяется по величине и...
  5. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  6. Дэвид Паттерсон (ученый-компьютерщик) Дэвид Паттерсон (специалист по компьютерам) Биография и карьера Денниса Ритчи Деннис Ритчи — американский инженер-программист, известный...
  7. Консервативное ток-радио Консервативное ток-радио Консервативное ток-радио в США Консервативное ток-радио в США имеет долгую историю, начиная с 1950-х...
  8. Роберт Кан (ученый-компьютерщик) Роберт Кан (специалист по информатике) Ранние годы и образование Роберт Кан родился в 1939 году в...
  9. Дэвид Харпер (биолог) Дэвид Харпер (биолог) Профессиональная деятельность Дэвида Харпера Старший преподаватель эволюционной биологии в Университете Сассекса, Англия  Читает...
  10. Джон К. Рейнольдс Джон К. Рейнольдс Образование и карьера Джона Рейнольдса Получил образование в Университете Пердью и Гарвардском университете ...
  11. Харпер (издатель) Харпер (издатель) Harper — американский издательский дом, основанный в 1817 году и являющийся флагманом издательства HarperCollins. ...
  12. Харпер (издатель) Харпер (издатель) История Harper Основана в 1817 году в Нью-Йорке Джеймсом Харпером и его братьями.  В...
  13. Джон Хьюз (ученый-компьютерщик) Джон Хьюз (специалист по информатике) Биография Джона М. Хьюза Хьюз — специалист в области компьютерных наук...
  14. Ассоциация по развитию искусственного интеллекта Ассоциация содействия развитию искусственного интеллекта Организация и цели AAII — это международная ассоциация, занимающаяся исследованиями в...
  15. Метод бесконечных элементов Метод бесконечных элементов Основные разделы математики и их особенности Естественные науки: включают инженерное искусство, астрономию, физику,...
  16. Адель Голдберг (ученый-компьютерщик) Адель Голдберг (специалист по компьютерам) Биография Адель Голдберг Адель Голдберг — американский программист, разработчик языка программирования...
  17. Роберт С. Бартон Роберт С. Бартон Биография Роберта С. Бартона Американский ученый, пионер в области компьютерных архитектур и языков...
  18. Роберт В. Флойд Роберт У. Флойд Биография Роберта У. Флойда Американский математик, известный своими работами в области компьютерных наук. ...

Оставьте комментарий

Прокрутить вверх