| Пракаш Панангаден | |
|---|---|
 Пракаш Панангаден в 2014 году | |
| Рожденный | 11 марта 1954 г. |
| Национальность | Американский / канадский |
| Альма-матер | IIT Канпурский университет Чикагского университета Висконсин - Университет Милуоки Юты |
| Известен | Марковские процессы , языки программирования , теория параллелизма и квантовая теория поля в искривленном пространстве-времени |
| Награды | Премия LICS Test-of-Time (2017), член Королевского общества Канады (2013), Премия Лео Яффе за выдающееся преподавание (1999) |
| Научная карьера | |
| Поля | Компьютерные науки , Физика |
| Учреждения | Корнельский университет , Университет Макгилла |
| Докторант | Леонард Паркер |
| Веб-сайт | www |
Пракаш Панангаден - американско-канадский ученый-компьютерщик, известный своими исследованиями в области языков программирования , теории параллелизма , марковских процессов и теории двойственности . Ранее он работал над квантовой теорией поля в искривленном пространстве-времени и излучением черных дыр. Он является председателем-основателем Специальной группы ACM по логике и вычислениям ( ACM SIGLOG ). [1]
Биография [ править ]
Пракаш Панангаден родился в Пуне, Индия, 11 марта 1954 года. Он учился в школе Калькуттской школы для мальчиков в Калькутте. Он получил докторскую степень в Университете Висконсин-Милуоки под руководством Леонарда Паркера . [2] Его докторская диссертация была посвящена перенормировке взаимодействующих полей в искривленном пространстве-времени. [3]
Пракаш успешно окончил 14 студентов и имеет в общей сложности 36 академических потомков. [4]
Он присоединился к факультету компьютерных наук Корнельского университета в 1985 году в качестве доцента, где работал в проекте Nuprl и был соавтором книги. [5] Он перешел в Университет Макгилла в качестве доцента в Школе компьютерных наук в 1990 году и был повышен до профессора в 1996 году. [6]
Он был основным докладчиком на многих конференциях, в том числе на двух ведущих конференциях в этой области - LICS [7] и ICALP . [8]
Награды [ править ]
В 2017 году, тест-оф-времени премия Комитет , состоящий из Кристел Байер , Эй Felty (председатель), Эндрю Питтс и Николь Schweikardt выбрали бумагу бисимуляции для меченых марковских процессов (Ричард Blüte, Жозе Desharnais Аббаса Эдалат, пракэш панангаден) как одна из двух статей LICS 1997, оказавших наибольшее влияние за 20 лет с момента ее публикации. [9] В 2013 году Пракаш Панагаден был избран FRSC . [10]Его цитата гласит: «Исследовательская карьера Пракаша Панангадена охватывает информатику, математику и физику. Он работал над языками программирования, вероятностными системами, квантовыми вычислениями и теорией относительности. Он особенно известен глубокими связями между теорией предметной области и марковскими процессами с непрерывным состоянием, где он и его коллеги доказали поразительную теорему о логической характеризации. Он и Кей Мартин открыли замечательный способ восстановления топологии пространства-времени на основе причинной структуры, используя математические идеи из языков программирования ».
Исследовательское сообщество отметило его 60-летие. В Оксфордском университете проводился трехдневный симпозиум под названием PrakashFest [11], и Springer-Verlag опубликовал Festschrift. [12]Резюме Festschrift гласит: «Этот том Festschrift содержит доклады, представленные на конференции Prakash Fest, проведенной в честь Пракаша Панангадена в Оксфорде, Великобритания, в мае 2014 года, чтобы отпраздновать его 60-летие. Пракаш Панангаден работал над большим множество тем, включая вероятностные и параллельные вычисления, логику и двойственность, а также квантовую информацию и вычисления. Несмотря на огромную широту своих исследований, он внес значительный и глубокий вклад. Например, он представил логику и интерпретацию логики с действительными значениями в количественно зафиксировать эквивалентность вероятностных процессов ».
В 1999 году он был награжден премией Лео Яффе факультетом естественных наук Университета Макгилла за выдающиеся достижения в преподавании. [13]
Ссылки [ править ]
- ^ Ассоциация вычислительной техники. "Правление SIG" . Проверено 5 апреля 2015 .
- ^ Проект "Математическая генеалогия". "Научная генеалогия Леонарда Эмануэля Паркера" . Проверено 29 июля 2015 .
- ^ Пракаш Панангаден (1980). «Распространители и перенормировка квантовой теории поля в искривленных пространствах-времени». Bibcode : 1980PhDT ........ 34P . Цитировать журнал требует
|journal=( помощь ) - ^ Проект "Математическая генеалогия". "Научная генеалогия Пракаша Панангадена" . Проверено 30 июля 2015 .
- ^ Констебль; и другие. (1986). «Реализация математики с помощью системы разработки доказательств Nuprl» . Проверено 30 июля 2015 .
- ^ «Школа компьютерных наук Макгилла: список преподавателей» . Проверено 30 июля 2015 .
- ^ "LICS Приглашенный доклад" . LICS . Проверено 26 июля 2015 .
- ^ "Приглашенная беседа ICALP 2006" . EATCS . Проверено 26 июля 2015 .
- ^ http://delivery.acm.org/10.1145/3130000/3129175/p10-award.pdf?ip=128.16.15.55&id=3129175&acc=ACTIVE%20SERVICE&key=BF07A2EE685417C5%2ED93309013A15C57B%2EF4DFF1440884D1DA%2E4D4702B0C3E38B35&__acm__=1538754649_af5f473a61f7e0b2727037dd99ed3849
- ^ Королевское общество Канады. «Список новых стипендиатов класса 2013 года» (PDF) . Проверено 5 апреля 2015 .
- ↑ Департамент компьютерных наук Оксфордского университета (23 мая 2014 г.). «ПракашФест» . Проверено 5 апреля 2015 .
- ^ "Горизонты разума: дань уважения Пракашу Панангадену" . Springer-Verlag . Проверено 5 апреля 2015 .
- ^ Факультет естественных наук Университета Макгилла. «Премия Лео Яффе за выдающиеся успехи в преподавании» . Проверено 5 апреля 2015 .
Внешние ссылки [ править ]
- Университет Макгилла: Пракаш Панангаден, Школа компьютерных наук
- Ученый Google: Пракаш Панангаден, ученый Google
