Prakash Panangaden - Prakash Panangaden - Wikipedia

Prakash Panangaden
Prakash-panangaden.jpg
Prakash Panangaden v roce 2014
narozený(1954-03-11)11. března 1954
Pune, Maharashtra, Indie
NárodnostAmeričan / Kanaďan
Alma materIIT Kanpur
University of Chicago
University of Wisconsin – Milwaukee
University of Utah
Známý jakoMarkovovy procesy, programovací jazyky, teorie souběžnosti a kvantová teorie pole v zakřivený časoprostor
OceněníCena LICS Test-of-Time Award (2017), Člen Královské společnosti v Kanadě (2013), Leo Yaffe Award for Outstanding Teaching (1999)
Vědecká kariéra
PolePočítačová věda, Fyzika
InstituceCornell University, McGill University
Doktorský poradceLeonard Parker
webová stránkawww.cs.mcgill.ca/ ~ prakash

Prakash Panangaden je Američan / Kanaďan počítačový vědec známý pro svůj výzkum v programovací jazyky, teorie souběžnosti, Markovovy procesy a teorie duality. Dříve pracoval kvantová teorie pole v zakřiveném časoprostoru a záření z černých děr. Je zakládajícím předsedou ACM Zvláštní zájmová skupina pro logiku a výpočet (ACM SIGLOG ).[1]

Životopis

Prakash Panangaden se narodil v roce Pune, Indie dne 11. března 1954. Získal titul PhD University of Wisconsin – Milwaukee pod dohledem Leonard Parker.[2] Jeho disertační práce byla o renormalizaci interakčních polí v zakřiveném časoprostoru.[3]

Prakash úspěšně absolvoval 14 studentů a má celkem 36 akademických potomků.[4]

Nastoupil na Katedru informatiky v Cornell University v roce 1985 jako asistent profesora, kde pracoval v Nuprl projektu a spoluautorem knihy.[5] Přestěhoval se do McGill University jako docent v Škola informatiky v roce 1990 a v roce 1996 byl povýšen na profesora.[6]

Byl hlavním řečníkem na mnoha konferencích, včetně dvou špičkových konferencí v oboru - LICS[7] a ICALP.[8]

Ocenění

V roce 2017 se Výbor pro ocenění Test-of-Time Award skládal z Christel Baier „Amy Felty (předsedkyně), Andrew Pitts a Nicole Schweikardt vybrali papír Bisimulace pro značené Markovovy procesy (Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) jako jeden ze dvou příspěvků z LICS 1997, který měl největší dopad za 20 let od jeho vydání[9]. V roce 2013 byl zvolen Prakash Panagaden FRSC.[10]Jeho citace zní: „Prakash Panangadenova výzkumná kariéra trvala v počítačových vědách, matematice a fyzice. Pracoval na programovacích jazycích, pravděpodobnostních systémech, kvantovém výpočtu a relativitě. Známý je zejména hlubokým propojením mezi doménovou teorií a Markovovými procesy v kontinuálním stavu, kde pracuje a jeho kolegové prokázali pozoruhodnou teorému logické charakterizace. On a Keye Martin objevili pozoruhodný způsob rekonstrukce topologie časoprostoru z kauzální struktury pomocí matematických nápadů z programovacích jazyků. “

Byl oceněn na své 60. narozeniny jeho výzkumnou komunitou. Na Oxfordské univerzitě se konalo třídenní sympozium s názvem PrakashFest[11]a Festschrift publikoval Springer-Verlag.[12]Shrnutí Festschrift zní: „Tento svazek Festschrift obsahuje příspěvky prezentované na konferenci Prakash Fest, která se konala na počest Prakash Panangaden v Oxfordu ve Velké Británii v květnu 2014, k oslavě jeho 60. narozenin. Prakash Panangaden pracoval na velkém řada témat včetně pravděpodobnostních a souběžných výpočtů, logiky a duality a kvantových informací a výpočtů. Navzdory enormní šíři svého výzkumu významně a hluboce přispěl. Například zavedl logiku a reálnou interpretaci logiky pro kvantitativně zachytit ekvivalenci pravděpodobnostních procesů. “

V roce 1999 mu byla Přírodovědeckou fakultou udělena cena Leo Yaffe McGill University za vynikající výsledky ve výuce.[13]

Reference

  1. ^ Sdružení pro výpočetní techniku. „Správní rada SIG“. Citováno 2015-04-05.
  2. ^ Matematický genealogický projekt. „Vědecká genealogie Leonarda Emanuela Parkera“. Citováno 2015-07-29.
  3. ^ Prakash Panangaden (1980). "Propagátoři a renormalizace kvantové teorie pole v zakřivených časoprostorech". Bibcode:1980PhDT ........ 34P. Citovat deník vyžaduje | deník = (Pomoc)
  4. ^ Matematický genealogický projekt. "Prakash Panangaden vědecká genealogie". Citováno 2015-07-30.
  5. ^ Strážník; et al. (1986). „Implementace matematiky s vývojovým systémem Nuprl Proof“. Citováno 2015-07-30.
  6. ^ „McGill School of Computer Science: seznam členů fakulty“. Citováno 2015-07-30.
  7. ^ „LICS pozvaná přednáška“. LICS. Citováno 2015-07-26.
  8. ^ „Invited Talk ICALP 2006“. EATCS. Citováno 2015-07-26.
  9. ^ 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
  10. ^ Royal Society of Canada. „Class of 2013 List of New Fellows“ (PDF). Citováno 2015-04-05.
  11. ^ Katedra informatiky, Oxford University (23. května 2014). "PrakashFest". Citováno 2015-04-05.
  12. ^ „Horizons of the Mind: A Tribute to Prakash Panangaden“. Springer-Verlag. Citováno 2015-04-05.
  13. ^ Přírodovědecká fakulta, McGill University. „Cena Leo Yaffe za vynikající výsledky ve výuce“. Citováno 2015-04-05.

externí odkazy