Анил Мадхавапедди
Ирландский учёный-компьютерщик

Анил Мадхавапедди
Анил Мадхавапедди
Гражданствоирландский
Альма-матер
Научная карьера
Поля
УчрежденияКембриджский университет
Докер
ТезисСоздание высокопроизводительных, статически типобезопасных сетевых приложений  (2006)
научный руководительЭнди Хоппер и Дэвид Гривз
Веб-сайтhttps://www.cst.cam.ac.uk/people/avsm2

Анил Мадхавапедди — профессор планетарных вычислений на кафедре компьютерных наук и технологий Кембриджского университета , научный сотрудник Пембрук-колледжа в Кембридже и научный сотрудник Дж. М. Кейнса. [1] Он является директором-основателем Кембриджского центра углеродных кредитов, [2] целью которого является распределение средств, полученных от продажи углеродных кредитов, проверяемым образом. [3]

Образование

Мадхавапедди окончил Имперский колледж Лондона в 1999 году [ нужна ссылка ] и получил докторскую степень в области компьютерных наук в Кембриджском университете в 2006 году за исследования в области языков программирования и операционных систем под руководством Энди Хоппера и Дэвида Гривза. [4]

Исследования и преподавание

Мадхавапедди является автором Real World OCaml, второе издание которого было опубликовано в октябре 2022 года издательством Cambridge University Press [5] , а более раннее издание — в 2013 году издательством O'Reilly Media [6] . RWO использовался в качестве текста в таких курсах по информатике, как COS326 в Принстоне [7] , CS6110 в Корнелле [8] и CIS 120 в Пенсильвании [9]. В Кембридже Анил преподает курс «Основы информатики» [10] в рамках программы Computer Science Tripos , которая вводит функциональное программирование . Среди прошлых преподавателей этого курса — Лоуренс Полсон , Алан Майкрофт и Аманда Пророк.

Мадхавапедди в основном исследует языки программирования и операционные системы . Он является одним из главных создателей библиотек операционных систем Unikernel , [11] [12] [13] и исследовал параллелизм [14] и системы эффектов [15] для функциональных языков, таких как OCaml .

Последний проект Мадхавапедди — это совместная работа со Шринивасаном Кешавом и Эндрю Балмфордом по проверяемым углеродным кредитам для экологических решений [16] , которые рассматриваются как альтернатива криптовалютным токенам [17].

Промышленность

Мадхавапедди внес значительный вклад в программное обеспечение с открытым исходным кодом, такое как MirageOS , [18] [19] [20] OCaml , [21] Docker , Xen [22] и OpenBSD . [23] [24] В настоящее время он является членом совета Tezos Foundation [25] [26] и консультативного совета OpenUK. [27] Он стал соучредителем Unikernel [28] Systems в 2015 году, которая была приобретена Docker в 2016 году [29] [30] , где он работал в качестве сопровождающего Docker , внедряя такие технологии, как HyperKit, [31] VPNKit [32] и DataKit [33], которые сделали Docker для рабочего стола возможным. [34] [35]

Мадхавапедди был старшим сопровождающим OCaml с 2011 года, где он помог разработать OCaml Package Manager , [36] экосистему инструментов, [37] [38], а также поддержку многоядерного параллелизма и обработчиков эффектов в OCaml 5.0. [39] Он опубликовал более 150 программных библиотек для OCaml. [40]

В 2003 году [41] совместно с Эбеном Аптоном и другими он стал соучредителем компании High Energy Magic Ltd , которая стала одним из первых разработчиков интерактивных штрихкодов для камерофонов [42] [43] , а затем вышла на рынок под названием ShotCodes .

Мадхавапедди также входил в основную команду проекта Horde с 1999 по 2008 год, [44] где он помогал разрабатывать клиент веб-почты IMP и просмотрщик Chora CVS. [45]

В 1998 году он работал над наземными системами обработки данных Mars Polar Lander [46] [47] , а затем в NetApp над развертыванием первых сетей доставки контента с использованием NetCache [48].

  • Персональный сайт
  • Страница факультета Кембриджского университета
  • Страница факультета колледжа Пембрук

Ссылки

  1. ^ Мату, Шакира (27 октября 2020 г.). «Стипендии имени Дж. М. Кейнса». www.cshss.cam.ac.uk .
  2. ^ Мадхавапедди, Анил (2 ноября 2021 г.). «Профессор Анил Мадхавапедди». 4c.cst.cam.ac.uk .
  3. ^ Нун, Грег (17 марта 2022 г.). «Может ли криптовалюта спасти планету?». Tech Monitor . Получено 8 февраля 2023 г.
  4. ^ Мадхавапедди, Анил (2010). Создание высокопроизводительных, статически типобезопасных сетевых приложений. cl.cam.ac.uk (диссертация). Кембриджский университет.
  5. ^ Мадхавапедди, Анил; Мински, Ярон (сентябрь 2022 г.). Real World OCaml (2-е изд.). Кембридж: Cambridge University Press . ISBN 9781009129220.
  6. ^ Мински, Ярон; Мадхавапедди, Анил; Хики, Джейсон (декабрь 2013 г.). Real World OCaml (1-е изд.). O'Reilly Media . ISBN 9781449323912.
  7. ^ "COS 326: Функциональное программирование (осень 2016 г.)". www.cs.princeton.edu .
  8. ^ "CS 6110: Ресурсы". www.cs.cornell.edu .
  9. ^ «Ресурсы CIS120». www.cis.upenn.edu .
  10. ^ "Кафедра компьютерных наук и технологий – Страницы курса 2019–2020: Основы компьютерных наук". www.cl.cam.ac.uk . Получено 27 января 2020 г. .
  11. ^ Madhavapeddy, Anil; Scott, David J. (15 декабря 2013 г.). «Unikernels: Rise of the Virtual Library Operating System». ACM Queue . 11 (11): 30– 44. doi : 10.1145/2557963.2566628 . ISSN  1542-7730. S2CID  29494014. Получено 9 января 2023 г.
  12. ^ Мадхавапедди, Анил; Мортье, Ричард; Ротсос, Харалампос; Скотт, Дэвид; Сингх, Балрадж; Газаньер, Томас; Смит, Стивен; Хэнд, Стивен; Кроукрофт, Джон (16 марта 2013 г.). «Unikernels: библиотечные операционные системы для облака». ACM SIGARCH Computer Architecture News . 41 (1): 461– 472. doi : 10.1145/2490301.2451167 . ISSN  0163-5964 . Получено 9 января 2023 г.
  13. ^ Мадхавапедди, Анил; Леонард, Томас; Скьегстад, Магнус; Газаньер, Томас; Шитс, Дэвид; Скотт, Дэйв; Мортье, Ричард; Чаудхри, Амир; Сингх, Балрадж; Ладлам, Джон; Кроукрофт, Джон; Лесли, Ян (4 мая 2015 г.). «Джитсу: вызов unikernels точно в срок». Труды 12-й конференции USENIX по проектированию и внедрению сетевых систем . NSDI'15. США: Ассоциация USENIX. стр.  559–573 . ISBN 978-1-931971-21-8.
  14. ^ Сиварамакришнан, KC; Долан, Стивен; Белый, Лео; Джаффер, Садик; Келли, Том; Саху, Анмол; Паримала, Судха; Дхиман, Атул; Мадхавапедди, Анил (3 августа 2020 г.). «Модернизация параллелизма в OCaml». Труды ACM по языкам программирования . 4 (ICFP): 113–1–113:30. arXiv : 2004.11663 . дои : 10.1145/3408995 . S2CID  216144811 . Проверено 9 января 2023 г.
  15. ^ Сиварамакришнан, К. К.; Долан, Стивен; Уайт, Лео; Келли, Том; Джаффер, Садик; Мадхавапедди, Анил (18 июня 2021 г.). «Модернизация обработчиков эффектов на OCaml». Труды 42-й Международной конференции ACM SIGPLAN по проектированию и внедрению языков программирования . PLDI 2021. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр.  206–221 . arXiv : 2104.00250 . doi : 10.1145 /3453483.3454039. ISBN 978-1-4503-8391-2.
  16. ^ "Кембриджский центр углеродных кредитов (4C)". 4c.cst.cam.ac.uk .
  17. ^ Дханеша, Нил (26 мая 2022 г.). «Новый криптопроект соучредителя WeWork Адама Ньюмана звучит как афера внутри аферы». Vox .
  18. ^ Роберт Блюман (май 2014 г.). «Анил Мадхавапедди об операционной системе Mirage Cloud и языке OCaml». веб-сайт (подкаст).
  19. ^ «Интервью с Анилом Мадхавапедди и Ричардом Мортье, MirageOS: компиляция функциональных библиотек операционных систем». archive.fosdem.org .
  20. ^ Рэндал Шварц (июль 2014 г.). "FLOSS Weekly 302 OpenMirage". веб-сайт (подкаст).
  21. ^ "Управление OCaml.org". OCaml .
  22. ^ Курт, Ларс (23 февраля 2017 г.). «MirageOS от проекта Xen расширяет свою экосистему в последнем выпуске».
  23. ^ "статистика openbsd". oxide.org .
  24. ^ "OpenBSD: Инновации". www.openbsd.org .
  25. ^ "О фонде Tezos". Фонд Tezos .
  26. ^ «Анил Мадхавапедди - член совета Фонда Тезос» . ОРГ .
  27. ^ «Консультативный совет по устойчивому развитию». OpenUK.
  28. ^ MSV, Джанакирам. «Unikernels — блестящий новый объект в облаке». Forbes . Получено 8 февраля 2023 г.
  29. ^ «Docker приобретает Unikernel Systems, поскольку он смотрит дальше контейнеров». Techcrunch . Январь 2016 г.
  30. ^ «Почему присоединение Unikernel Systems к Docker имеет большой смысл? - Высокая масштабируемость -». highscalability.com .
  31. ^ "moby/hyperkit". 2 января 2023 г. – через GitHub.
  32. ^ «Сетевые устройства с поддержкой VPN для HyperKit». 3 января 2023 г. – через GitHub.
  33. ^ «Улучшение Docker с помощью Unikernels: знакомство с HyperKit, VPNKit и DataKit». www.docker.com . Docker. 18 мая 2016 г.
  34. ^ Ярон Мински (ноябрь 2021 г.). «Что такое операционная система?». веб-сайт (подкаст). Jane Street Capital .
  35. ^ Функциональные внутренности Docker для Mac и Windows на YouTube
  36. ^ "opam - Менеджер пакетов для OCaml". 24 февраля 2023 г. – через GitHub.
  37. ^ "OCaml Labs". anil.recoil.org .
  38. ^ "Семинар пользователей и разработчиков OCaml 2012". OCaml .
  39. ^ "Темы с тегом multicore-monthly". OCaml .
  40. ^ "Пакеты OCaml · Результат поиска". OCaml .
  41. ^ ltd, проверка компании. "HIGH ENERGY MAGIC LIMITED. Бесплатная сводка бизнеса, взятая из официальной информации о компаниях. Бесплатные оповещения. Зарегистрирована как 04752113". Проверка компании .
  42. ^ «Снимки с камеры телефона соединяют точки». New York Times . Октябрь 2004 г.
  43. ^ "From the Prawn of Time". Wired . Июнь 2004.
  44. ^ «Команда — Проект Орда». www.horde.org .
  45. ^ «Авторы - Хора - Проект Орда». www.horde.org .
  46. ^ "Зеркало сайта Mars Polar Lander 1998". Институт космических исследований .
  47. ^ Доэрти, Н.; А. Мадхавапедди. Применение ускорения распределенного веб-сайта: Mars Polar Lander (PDF) (технический отчет). NetApp .
  48. ^ Мадхавапедди, А.; А. Кривелли. Как построить сеть доставки контента (PDF) (технический отчет). NetApp .
Взято с "https://en.wikipedia.org/w/index.php?title=Anil_Madhavapeddy&oldid=1225695071"