フランク・フェニング

フランク・フェニング
プログラミング意味論の数学的基礎（ピッツバーグ、2004年5月）
生まれる
リュッセルスハイム・アム・マイン、ドイツ
教育ダルムシュタット工科大学カーネギーメロン大学
配偶者ナンシー・フェニング
受賞歴ACMフェロー（2015）
科学者としてのキャリア
機関カーネギーメロン大学
博士課程の指導教員ピーター・B・アンドリュース
博士課程の学生
Webサイトhttp://www.cs.cmu.edu/~fp/

フランク・フェニングはドイツ系アメリカ人のコンピュータサイエンス教授であり、哲学の非常勤教授であり、 2013年から2018年までカーネギーメロン大学のコンピュータサイエンス学部長を務めた。[ 1 ]

教育とキャリア

フェニングはドイツのリュッセルスハイムで育ち、ドイツのダルムシュタット工科大学で数学とコンピュータサイエンスを学びました。フルブライト奨学金を得てカーネギーメロン大学に進学し、後に同大学のコンピュータサイエンス学科の教授に就任しました。[ 2 ]

彼の研究分野は、プログラミング言語、論理と型理論、 論理フレームワーク、自動演繹、信頼できるコンピューティングなどです。彼はTwelfシステムの主要な著者の一人です。また、カーネギーメロン大学の学部生向け命令型プログラミング入門コースと、このコースで使用されているC0プログラミング言語 を開発しました。

栄誉と賞

2015年、彼は「自動定理証明とプログラミング言語の型の論理的基礎への貢献」により、計算機協会のフェローに任命されました。 [ 3 ] 2016年には、イリアーノ・セルベサートと共著した 論文「線形論理フレームワーク」でLICS Test of Time賞を受賞しました。[ 4 ]

私生活

フェニングは大学のスカッシュランキングでトップ5にランクされている、競技力の高いスカッシュ選手です。[ 5 ]

フェニングはシャロン・ニードルズと共演した実験映画にも出演している。[ 6 ] [ 7 ]

参考文献

  1. ^ “フランク・フェニング: カリキュラム履歴” . 2024 年 11 月 20 日。2024 年11 月 20 日に取得。
  2. ^プレスリリース: Frank Pfenningがカーネギーメロン大学のコンピュータサイエンス学部長に任命、カーネギーメロン大学、2013年、 2023年10月4日時点のオリジナルよりアーカイブ、 2024年12月30日取得。
  3. ^ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age、Association for Computing Machinery、2015年、2015年12月9日時点のオリジナルよりアーカイブ、2015年12月10日閲覧。。
  4. ^ 「LICS - アーカイブ」 . lics.siglog.org . 2019年9月27日閲覧。
  5. ^ “CMU Squash Ladder” . 2019年1月24日時点のオリジナルよりアーカイブ。2019年1月27日閲覧。
  6. ^ 「Frank Pfenning / Curriculum Vitae」 . www.cs.cmu.edu . 2021年2月17日閲覧。
  7. ^ Sharon Needles、2007年5月27日、2021年12月19日時点のオリジナルよりアーカイブ、 2021年2月17日閲覧。

P≟NP 

このコンピュータ科学者に関する伝記記事はスタブです。不足している情報を追加して、Wikipedia に貢献してください。

「 https://en.wikipedia.org/w/index.php?title=Frank_Pfenning&oldid=1335043931」より取得