Loading article…
ケネス・L・マクミランは、形式手法、論理、プログラミング言語の分野で研究しているアメリカのコンピュータ科学者です。テキサス大学オースティン校のコンピュータサイエンス学部の教授であり、同校のアドミラル・BR・インマン・センテニアル・チェア・イン・コンピューティング理論を担当しています。 [1]
キャリア
マクミランは1992年にカーネギーメロン大学でエドモンド・M・クラークの指導の下、博士号を取得した。[2]彼は論文研究中にシンボリックモデル検査を発明したとされており、これにより1992年のACM博士論文賞を受賞した。これは、ACM（計算機協会）が授与する最高の博士論文賞である。 [3]彼はまた、1998年のACMパリカネラキス理論と実践賞を、ランダルブライアント、エドモンドクラーク、E・アレンエマーソンと共同で受賞した。[4]マクミランはその後、ベル研究所、ケイデンスバークレー研究所で働き、レドモンドのマイクロソフトリサーチの主任研究員を務めた後、 [5] 2021年にテキサス大学オースティン校の教員となった。[6]
研究
マクミランは形式手法におけるいくつかの影響力のある研究分野の先駆者です。二分決定図に基づく記号モデル検査に関する彼の最初の研究は、モデル検査器のSMV/nuSMVファミリーの作成に結実しました。[7]彼はまた、無限状態システムのモデル検査におけるクレイグ補間に基づく技術の先駆者でもあります。[8]彼はまた、制約付きホーン節（CHC）解決[9]とIVy分散システム検証ツール[10]に関する研究でも知られています。
受賞歴
- 2014年 - POPL最も影響力のある論文賞[11]
- 2010年 - LICSテストオブタイム賞[12]
- 1998年 - CMUアレン・ニューウェル賞[13]
- 1998年 - CAV賞[14]
- 1998 - ACM パリ・カネラキス賞
- 1996年 - SRC技術優秀賞[15]
- 1992年 - ACM博士論文賞
サービス
マクミランは現在、国際コンピュータ支援検証会議（CAV）の運営委員会の委員を務めている。 [16]
参考文献
- ^ 「Ken McMillan | コンピュータサイエンス学部」。テキサス大学オースティン校コンピュータサイエンス学部：教員および研究者。
- ^ 「ケネス・マクミラン - 数学系譜プロジェクト」。数学系譜プロジェクト。アメリカ数学会 (AMS) 。 2023年6月21日閲覧。
- ^ 「Kenneth McMillan - ACM Awards」。awards.acm.org。Association for Computing Machinery 。 2023年6月21日閲覧。
- ^ 「Kenneth L. McMillan - ACM Awards」。awards.acm.org。Association for Computing Machinery (ACM) - Paris Kanellakis Award 。 2023年6月21日閲覧。
- ^ 「WayBackMachine - Kenneth McMillan at Microsoft Research」。Microsoft。2019年3月26日時点のオリジナルよりアーカイブ。2019年3月26日閲覧。
- ^ Twitter https://twitter.com/UTCompSci/status/1365040812359176193?lang=en . 2023年6月21日閲覧。
{{cite web}}:欠落または空|title=(ヘルプ) - ^ 「SMVモデルチェッカー無料ダウンロード」。SMVモデルチェッカー無料ダウンロード。 2023年6月21日閲覧。
- ^ McMillan, KL (2006). 「補間による遅延抽象化」。コンピュータ支援検証。コンピュータサイエンスの講義ノート。第 4144 巻。pp. 123–136。doi :10.1007/ 11817963_14。ISBN 978-3-540-37406-0。
{{cite book}}:|journal=無視されました (ヘルプ) - ^ Bjorner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey (2015). 「プログラム検証のためのホーン節ソルバー」。ソフトウェア検証のためのホーン節ソルバー。コンピュータサイエンスの講義ノート。第 2 巻。pp. 24–51。doi : 10.1007/ 978-3-319-23534-9_2。ISBN 978-3-319-23534-9。
{{cite book}}:|journal=無視されました (ヘルプ) - ^ Padon, Oded; McMillan, Kenneth; Aurojit, Panda; Mooly, Sagiv; Sharon, Shoham (2016). 「Ivy: インタラクティブな一般化による安全性検証」ACM SIGPLAN Notices . 51 (6): 614–630. doi :10.1145/2980983.2908118.
- ^ 「最も影響力のある POPL 論文賞」。ACM SIGPLAN。
- ^ 「LICS - アーカイブ」.
- ^ 「CMU アレン・ニューウェル研究優秀賞 - 過去の受賞者」 カーネギーメロン大学. 2023年6月21日閲覧。
- ^ 「CAV 賞」。コンピュータ支援検証に関する国際会議。
- ^ 「Technical Excellence Award - SRC」。Semiconductor Research Corporation 。 2023年6月21日閲覧。
- ^ 「International Conference on Computer Aided Verification」. i-cav.org . 2023年6月21日閲覧。