Prakash_Panangaden
Prakash Panangaden は、プログラミング言語理論、同時実行理論、マルコフ プロセス、双対性理論の研究で知られるアメリカ/カナダのコンピューター科学者です。以前は、曲がった時空における場の量子理論とブラック ホールからの放射に取り組んでいました。彼は、 ACM Special Interest Group on Logic and Computation ( ACM SIGLOG )の創設議長です。
プラカシュ パナンガーデン
2014 年のパナンガーデン
生まれる( 1954-03-11 )1954 年 3 月 11 日
プネ、マハラシュトラ州、インド
国籍
アメリカ人/カナダ人
母校
IIT カンプール大学 シカゴ大学 ウィスコンシン大学ミルウォーキー大学 ユタ大学
で知られている
マルコフ過程、プログラミング言語理論、並行性理論、湾曲時空における場の量子理論
配偶者
ローリー・ヘンドレン
（2019年に死去 )
受賞歴
カナダ王立協会フェロー（2013)
科学者のキャリア
田畑
コンピュータサイエンス、物理学
機関
コーネル大学、マギル大学
博士顧問
レナード・パーカー
Webサイト
www .cs .mcgill .ca /~prakash
コンテンツ
1 バイオグラフィー
2 受賞歴
3 参考文献
4 外部リンク
バイオグラフィー
プラカシュ・パナンガデンは、1954 年 3 月 11 日にインドのプネーで生まれました。彼はコルカタのカルカッタ男子学校に通いました。彼は、レナード・パーカーの指導の下、ウィスコンシン大学ミルウォーキー校で博士号を取得しました。彼の博士論文は、湾曲した時空における相互作用場の繰り込みに関するものでした。
プラカシュは 19 人の学生を無事に卒業させ、合計 41 人の学者の子孫がおり、そのうち 8 人が女性です。
彼は 1985 年にコーネル大学のコンピュータ サイエンス学部に助教授として入社し、そこでNuprlプロジェクトに取り組み、書籍を共著しました。彼は 1990 年にコンピュータ サイエンス学部の准教授としてマギル大学に移り、1996 年に教授に昇進しました。
彼は、この分野の 2 つのトップカンファレンスであるLICS とICALPを含む、多くのカンファレンスで基調講演者を務めています。
受賞歴
2017 年、クリステル バイアー、エイミー フェルティ (委員長)、アンドリュー ピッツ、ニコール シュヴァイカードで構成されるテスト オブ タイム賞委員会は、論文『ラベル付きマルコフ過程のバイシミュレーション』 (Richard Blute、Josee Desharnais、Abbas Edalat、Prakash Panangaden 著) を次の賞に選びました。 LICS 1997 の 2 つの論文のうちの 1 つで、出版以来 20 年間で最も大きな影響を与えました。 2013 年、プラカシュ パナガデンはFRSCに選出されました。彼の引用文には次のように書かれています:「プラカシュ・パナンガデンの研究キャリアはコンピュータサイエンス、数学、物理学に及びます。彼はプログラミング言語、確率システム、量子計算、相対性理論に取り組んできました。彼は特に領域理論と連続状態の間の深いつながりで知られています。」マルコフ プロセスでは、彼と同僚が驚くべき論理的特徴付け定理を証明しました。彼とキー マーティンは、プログラミング言語の数学的アイデアを使用して、因果構造から時空トポロジーを再構築する驚くべき方法を発見しました。」
彼は60歳の誕生日を迎え、研究コミュニティから表彰されました。オックスフォード大学で PrakashFest と呼ばれる 3 日間のシンポジウムが開催され、Festschrift が Springer-Verlag から出版されました。フェストシュリフトの要約には次のように書かれている：「このフェストシュリフトの巻には、2014年5月にイギリスのオックスフォードでプラカシュ・パナンガーデンの60歳の誕生日を祝って開催されたプラカシュ・パナンガーデンを記念して開催されたカンファレンス、プラカシュ・フェストで発表された論文が含まれている。プラカシュ・パナンガーデンはこれまで働いてきた」確率論的計算と同時計算、論理と二重性、量子情報と計算を含む多種多様なトピックに関して研究を行っています。研究の範囲が膨大であるにもかかわらず、彼は重要かつ深い貢献を行っています。たとえば、論理と実数値の解釈を導入しました。確率過程の等価性を定量的に捉えるロジック。」
1999 年には、優秀な教育功績を称え、マギル大学理学部よりレオ・ヤッフェ賞を受賞しました。
2016 年にマギル大学から優秀教育学長賞を受賞しました。 2022 年にマギル大学工学部から 1890 年度優秀教育賞を受賞しました。彼は 2020 年から ACM フェローでも 2022 年には、Josée Desharnais (Laval)、Vineet Gupta (Google)、および Radha Jagadeesan (デポール大学）。「確率過程に対する弱いバイシミュレーションの計量的類似物」は、20 年を経たその年の最も影響力のある 2 つの論文のうちの 1 つとみなされました。
参考文献
^ レノックス、RB （2019 年 5 月 29 日)。「ローリー・ヘンドレン教授の逝去」。マギル理学部。
^ コンピューティング機械協会。「SIG理事会」。2015 年 4 月 5 日に取得。
^ 数学系譜プロジェクト。「レナード・エマニュエル・パーカーの科学的系図」。2015 年 7 月 29 日に取得。
^ プラカシュ・パナンガデン (1980)。「湾曲した時空における場の量子理論の伝播体と繰り込み」。Bibcode : 1980PhDT….34P。
^ 数学系譜プロジェクト。「プラカシュ・パナンガデンの科学的系図」。2015 年 7 月 30 日に取得。
^ 巡査; 他。（1986年）。「Nuprl 証明開発システムによる数学の実装」。2015 年 7 月 30 日に取得。
^ “マギル・スクール・オブ・コンピュータ・サイエンス: 教員リスト” . 2015 年 7 月 30 日に取得。
^ “LICS 招待講演” . リックス。2015 年 7 月 26 日に取得。
^ “招待講演 ICALP 2006” . EATCS 。2015 年 7 月 26 日に取得。
^ パナンガデン、プラカシュ （2017 年 7 月 28 日)。「2017 LICS テスト・オブ・タイム賞」。ACM SIGLOG ニュース。4 (3): 10.土井: 10.1145/3129173.3129175。S2CID 41881342。 ^ カナダ王立協会。「2013年度新入生名簿」（PDF）。2015 年 4 月 5 日に取得。
^ オックスフォード大学コンピューターサイエンス学部 （2014 年 5 月 23 日)。「プラカシュフェスト」。2015 年 4 月 5 日に取得。
^ 心の地平線: プラカシュ・パナンガーデンへのトリビュート。コンピューターサイエンスの講義ノート。Vol. 8464. スプリンガー・フェルラーク。2014.土井：10.1007/978-3-319-06880-0。ISBN 978-3-319-06879-4。S2CID 8932348 。2015 年 4 月 5 日に取得。
^ マギル大学理学部。「教育優秀賞レオ・ヤッフェ賞」。2015 年 4 月 5 日に取得。
^ マギル大学。「教育優秀校長賞」受賞。2022-06-30に取得。
^ マギル大学工学部。「1890 年卒業優秀教育賞」。2022-06-30に取得。
^ コンピューティング機械協会。「ACMフェローシップ」。2022-06-30に取得。
^ マギル大学コンピューターサイエンス学部。「プラカシュ・パナンガデン教授が2022年のLICSテスト・オブ・タイム賞を受賞」. 2022-07-14に取得。
外部リンク
マギル大学: Prakash Panangaden、コンピューター サイエンス学部
Google Scholar: Prakash Panangaden、Google Scholar ·