フランク・フェニング

フランク・フェニング
プログラミング意味論の数学的基礎（ピッツバーグ、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日閲覧。

外部リンク

• 公式ウェブサイト、CMU