プラカシュ・パナンガデン | |
|---|---|
2014年のパナンガーデン | |
| 生まれる | 1954年3月11日 |
| 国籍 | アメリカ/カナダ |
| 母校 | インド工科 大学カンプール校 シカゴ 大学 ウィスコンシン 大学ミルウォーキー校 ユタ大学 |
| 知られている | マルコフ過程、プログラミング言語理論、並行性理論、曲がった時空における量子場理論 |
| 配偶者 | [1] |
| 受賞歴 | カナダ王立協会フェロー(2013) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス、物理学 |
| 機関 | コーネル大学、マギル大学 |
| 博士課程の指導教員 | レナード・パーカー |
| Webサイト | www.cs.mcgill.ca/~prakash |
プラカシュ・パナンガデンは、プログラミング言語理論、並行性理論、マルコフ過程、双対性理論の研究で知られるアメリカ/カナダのコンピュータ科学者です。以前は、曲がった時空における量子場理論やブラックホールからの放射について研究していました。彼は、 ACM Special Interest Group on Logic and Computation ( ACM SIGLOG ) の創設議長です。[2]
バイオグラフィー
プラカシュ・パナンガデンは1954年3月11日にインドのプネーで生まれました。彼はコルカタのカルカッタ・ボーイズ・スクールに通いました。彼はウィスコンシン大学ミルウォーキー校でレオナルド・パーカーの指導の下で博士号を取得しました。[3] 彼の博士論文は、曲がった時空における相互作用場の再正規化に関するものでした。[4]
プラカシュ氏は19名の卒業生を輩出しており、卒業生は合計41名で、そのうち8名は女性である。[5]
彼は1985年にコーネル大学コンピュータサイエンス学部の助教授に就任し、Nuprlプロジェクトに携わり、共著で本を執筆した。[6]彼は1990年にマギル大学コンピュータサイエンス学部の准教授に就任し 、1996年に教授に昇進した。[7]
彼は、この分野の2つのトップカンファレンスであるLICS [8]とICALP [9]を含む多くのカンファレンスで基調講演を行っています。
受賞歴
2017年、 Christel Baier、Amy Felty(委員長)、Andrew Pitts、Nicole SchweikardtからなるTest-of-Time賞委員会は、論文「ラベル付きマルコフ過程のバイシミュレーション」(Richard Blute、Josee Desharnais、Abbas Edalat、Prakash Panangaden著)を、LICS 1997の発表以来20年間で最も影響力のあった2つの論文のうちの1つに選びました。[10] 2013年、Prakash PanagadenはFRSCに選出されました。[11] 彼の引用文には次のように書かれている。「プラカシュ・パナンガデンの研究経歴は、コンピュータサイエンス、数学、物理学にまたがっている。彼はプログラミング言語、確率システム、量子計算、相対性理論に取り組んできた。彼は特に、ドメイン理論と連続状態マルコフ過程との深い関係で知られており、そこで彼と彼の同僚は驚くべき論理的特徴付け定理を証明した。彼とキー・マーティンは、プログラミング言語の数学的アイデアを使用して因果構造から時空トポロジーを再構築する驚くべき方法を発見した。」
彼は60歳の誕生日に研究コミュニティから栄誉を受けた。オックスフォード大学で3日間のシンポジウム「PrakashFest」が開催され[12] 、Springer-Verlagから記念論文集が出版された[13] 。 記念論文集の要約には、「この記念論文集には、2014年5月に英国オックスフォードでPrakash Panangadenの60歳の誕生日を祝うために開催された会議「Prakash Fest」で発表された論文が収録されている。Prakash Panangadenは、確率的および並行計算、論理と双対性、量子情報と計算など、さまざまなトピックに取り組んできた。彼の研究は広範囲に及ぶが、彼は重要かつ深い貢献を果たしてきた。たとえば、彼は確率的プロセスの同値性を定量的に捉えるために論理と論理の実数値解釈を導入した。」と書かれている。
1999年に彼はマギル大学理学部から優れた教育に対してレオ・ヤッフェ賞を受賞した。[14]
2016年にマギル大学から優秀な教育に対する校長賞を受賞した。[15] 2022年にマギル大学工学部から1890年優秀教育賞を受賞した。[16] 2020年からはACMフェローでもある。[17] 2022年にジョゼ・デシャルネ(ラヴァル)、ヴィニート・グプタ(グーグル)、ラダ・ジャガディサン(デポール大学)と書いた2002年の共同論文で、権威あるLICS Test of Time賞を再び受賞した。「確率過程の弱双模倣の計量類似体」は、20年後にその年の最も影響力のある2つの論文のうちの1つとみなされた。[18]
参考文献
- ^ レノックス、RB(2019年5月29日)。「ローリー・ヘンドレン教授の逝去」マギル大学理学部。
- ^ Association for Computing Machinery. 「SIG Governing Board」. 2015-04-05閲覧。
- ^ 数学系譜プロジェクト。「レナード・エマニュエル・パーカーの科学的系譜」 。 2015年7月29日閲覧。
- ^ Prakash Panangaden (1980). 「曲がった時空における量子場理論の伝播子と繰り込み」. Bibcode :1980PhDT.......34P.
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ 数学系譜プロジェクト。「Prakash Panangaden 科学的系譜」。2015年7月30日閲覧。
- ^ Constable; et al. (1986). 「Nuprl Proof Development System による数学の実装」2015-07-30閲覧。
- ^ 「マギル大学コンピュータサイエンス学部:教員リスト」。2015年7月30日閲覧。
- ^ 「LICS招待講演」LICS . 2015年7月26日閲覧。
- ^ 「招待講演 ICALP 2006」 EATCS . 2015年7月26日閲覧。
- ^ Panangaden, Prakash (2017年7月28日). 「2017 LICS test-of-time award」. ACM SIGLOG News . 4 (3): 10. doi : 10.1145/3129173.3129175 . S2CID 41881342.
- ^ カナダ王立協会。「2013年度新フェロー一覧」(PDF)。2015年4月5日閲覧。
- ^ オックスフォード大学コンピューターサイエンス学部 (2014 年 5 月 23 日)。「PrakashFest」。2015 年 4 月 5 日閲覧。
- ^ 心の地平。プラカシュ・パナンガデンへのトリビュート。コンピュータサイエンスの講義ノート。第8464巻。シュプリンガー出版。2014年。doi :10.1007/ 978-3-319-06880-0。ISBN 978-3-319-06879-4. S2CID 8932348 . 2015年4月5日閲覧。
- ^ マギル大学理学部。「レオ・ヤッフェ優秀教育賞」。2015年4月5日閲覧。
- ^ マギル大学。「優れた教育に対する校長賞」。2022年6月30日閲覧。
- ^ マギル大学工学部。「1890年卒業生優秀教育賞」 。 2022年6月30日閲覧。
- ^ Association for Computing Machinery. 「ACM Fellowship」 . 2022年6月30日閲覧。
- ^ マギル大学コンピューターサイエンス学部。「プラカシュ・パナンガデン教授が2022年度LICSテスト・オブ・タイム賞を受賞」 。 2022年7月14日閲覧。
外部リンク
- マギル大学:プラカシュ・パナンガデン、コンピュータサイエンス学部
- Google Scholar: Prakash Panangaden、Google Scholar
