Prakash Panangaden

Prakash Panangaden
Prakash Panangaden 2014
Född	( 1954-03-11 ) 11 mars 1954 Pune , Maharashtra , Indien
Nationalitet	Amerikansk/kanadensisk
Alma mater	IIT Kanpur University of Chicago University of Wisconsin–Milwaukee University of Utah
Känd för	Markov-processer , programmeringsspråksteori , samtidighetsteori och kvantfältteori i krökt rum-tid
Make	Laurie Hendren . (död 2019 <a i=1>). ​
Utmärkelser	LICS Test-of-Time Award (2017 och 2022), Fellow of the Royal Society of Canada (2013), Leo Yaffe Award for Outstanding Teaching (1999), Principal's Prize for Excellence in Teaching 2016, ACM Fellow (2020), Class of 1890 Utmärkt Undervisningspris 2022
Vetenskaplig karriär
Fält	Datavetenskap , fysik
institutioner	Cornell University , McGill University
Doktorand rådgivare	Leonard Parker
Hemsida	www .cs .mcgill .ca /~prakash

Prakash Panangaden är en amerikansk/kanadensisk datavetare känd för sin forskning inom programmeringsspråksteori , samtidighetsteori , Markov-processer och dualitetsteori . Tidigare arbetade han med kvantfältteori i krökt rum-tid och strålning från svarta hål. Han är grundande ordförande för ACM Special Interest Group on Logic and Computation ( ACM SIGLOG ) .

Biografi

Prakash Panangaden föddes i Pune, Indien den 11 mars 1954. Han gick i skolan vid Calcutta Boys' School , Kolkata. Han fick en doktorsexamen från University of Wisconsin–Milwaukee under ledning av Leonard Parker . Hans doktorsavhandling handlade om renormalisering av interagerande fält i krökt rumtid.

Prakash har framgångsrikt tagit examen 19 studenter och har totalt 41 akademiska ättlingar, varav 8 är kvinnor.

Han började på Institutionen för datavetenskap vid Cornell University 1985 som biträdande professor, där han arbetade i Nuprl -projektet och var medförfattare till en bok. Han flyttade till McGill University som docent vid School of Computer Science 1990 och befordrades till professor 1996.

Han har varit huvudtalare vid många konferenser, inklusive de två främsta konferenserna inom området – LICS och ICALP .

Utmärkelser

Under 2017 valde Test-of-Time Award Committee bestående av Christel Baier , Amy Felty (ordförande), Andrew Pitts och Nicole Schweikardt uppsatsen Bisimulation for Labeled Markov Processes (av Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden) som en av två artiklar från LICS 1997 som har haft störst genomslag under de 20 åren sedan dess publicering. 2013 valdes Prakash Panagaden till FRSC . Hans citat lyder: "Prakash Panangadens forskarkarriär har sträckt sig över datavetenskap, matematik och fysik. Han har arbetat med programmeringsspråk, probabilistiska system, kvantberäkning och relativitet. Han är särskilt känd för djupa kopplingar mellan domänteori och Markov-processer i kontinuerliga tillstånd där han och hans kollegor visade en slående logisk karaktäriseringssats. Han och Keye Martin upptäckte ett anmärkningsvärt sätt att rekonstruera rumtidstopologi från kausal struktur med hjälp av matematiska idéer från programmeringsspråk."

Han hedrades på sin 60-årsdag av sitt forskarsamhälle. Det hölls ett tredagars symposium, kallat PrakashFest, vid Oxford University och en Festschrift publicerades av Springer-Verlag. Sammanfattningen av Festschrift lyder: "Denna Festschrift-volym innehåller artiklar som presenterades vid en konferens, Prakash Fest, som hölls till ära av Prakash Panangaden, i Oxford, Storbritannien, i maj 2014, för att fira hans 60-årsdag. Prakash Panangaden har arbetat på en stor olika ämnen inklusive probabilistisk och samtidig beräkning, logik och dualitet och kvantinformation och beräkningar. Trots den enorma bredd i hans forskning har han gjort betydande och djupa bidrag. Till exempel introducerade han logik och en verkligt värdefull tolkning av logiken till fånga ekvivalens av probabilistiska processer kvantitativt."

1999 tilldelades han Leo Yaffe Award av Faculty of Science vid McGill University för utmärkt undervisning.

2016 belönades han med Principal's Prize for Excellence in Teaching från McGill University. 2022 belönades han med Class of 1890 Outstanding Teaching Award av fakulteten för teknik, McGill University. Han är också en ACM Fellow från 2020. 2022 belönades han återigen med det prestigefyllda LICS Test of Time Award för ett gemensamt arbete 2002 skrivet med Josée Desharnais (Laval), Vineet Gupta (Google) och Radha Jagadeesan (De Paul University). "Den metriska analogen av svag bisimulering för probabilistiska processer" ansågs vara en av de två mest inflytelserika tidningarna från det året efter 20 år.

externa länkar

• McGill University: Prakash Panangaden, School of Computer Science
• Google Scholar: Prakash Panangaden, Google Scholar