インサップ・リーは、米国ペンシルベニア大学コンピュータ・情報科学科のセシリア・フィットラー・ムーア教授です。また、 PRECISEセンターの所長兼共同設立者でもあります。
リーは1977年にノースカロライナ大学チャペルヒル校で数学の学士号を取得し、1983年にウィスコンシン大学マディソン校でコンピュータサイエンスの修士号と博士号を取得しました。同年、ペンシルバニア大学に助教授として着任しました。リーの研究は主にサイバーフィジカルシステム（CPS）、リアルタイムコンピューティング、高信頼性医療機器、形式手法とツール、ランタイム検証に焦点を当てています。最近の仕事の多くはCPSセキュリティ、特に医療機器に関するものです。リーはACM、[1] 、 IEEE、[2]、AAASのフェローでもあります。[3]
賞と栄誉
- IEEEサイバーフィジカルシステム技術委員会（TCCPS）2023年度優秀リーダーシップ賞。サイバーフィジカルシステムを科学分野として確立し、コミュニティの継続的な成長に多大な貢献をした功績、医療サイバーフィジカルシステムにおける先駆的な研究とリーダーシップに対して。[4]
- AAASフェロー、2022年。リアルタイム構成スケジューリングと実行時検証の理論と実装への基礎的貢献に対して。[5]
- 2022年ACM SIGBED初開催優秀リーダーシップ賞。サイバーフィジカルシステム、組み込みシステム、リアルタイムシステムにおけるACMとIEEEコミュニティの相互交流を促進するリーダーシップに対して。
- IEEE終身フェロー、2021年1月1日。
- ランタイム検証テスト・オブ・タイム賞[6]は、 ENTCS 2001論文「Jav-MaC: Javaプログラム用ランタイム保証ツール」(Oleg Sokolsky、Sampath Kannan、Moonzoo Kim、Mahesh Viswanathanと共著)に対して2019年に授与されました。
- ペンシルバニア大学ペレルマン医学大学院学部長特別客員教授、2019年1月17日。
- ACMフェロー、2017年。合成リアルタイムスケジューリングと実行時検証に対する理論的かつ実践的な貢献に対して。
- 2014～2015 年、NRC の 21 世紀サイバーフィジカルシステム教育委員会委員。
- 感謝板、未来創造科学部、韓国、2013年8月9日。
- IEEE TC-RTS優秀技術業績・リーダーシップ賞[7] 、 2008年12月発行。
- 2007年にCIMITが医療機器「PnP」相互運用性チーム（リーダー：Julian Goldman、Dave Arney、Insup Lee、他）に授与したヘルスケアイノベーションに関するエドワード・M・ケネディ賞[8] 。
- 大統領科学技術諮問委員会 (PCAST) ネットワークおよび情報技術 (NIT) 技術諮問グループ (TAG) メンバー、2006 ～ 2007 年。
- 2004 年から 2006 年まで IEEE コンピュータ協会著名訪問者プログラム (DVP) の DVP スピーカー。
- IEEE フェロー、2001 年、リアルタイム システムの仕様言語および検証ツールへの貢献に対して。
元博士課程学生
| 名前 | 論文 | 卒業日 | 注記 |
|---|---|---|---|
| デビッド・スミトリー | 再構成可能なネットワークで相互接続されたプロセッサの活用 | 1987年5月 | |
| エイミー・ズワリコ | 時間依存プロセスの通信のための代数モデル | 1988年5月 | |
| リチャード・ガーバー | 共有リソースの通信：分散リアルタイムシステムのモデル | 1991年8月 | 1992年、最優秀CIS博士論文に対してモリス・アンド・ドロシー・ルビノフ賞を受賞 |
| ビクター・ウルフ | リアルタイム同時実行のサポート | 1991年8月 | スーザン・B・デイビッドソンと共同アドバイザー |
| ロバート・キング | 分散ロボット向けリアルタイムカーネルの設計、実装、評価 | 1991年12月 | |
| パトリス・ブレモン・グレゴワール | 密な時間と優先度を持つ共有リソースの通信プロセス代数 | 1994年5月 | |
| ハネネ・ベッド・アブダラ | GCSR: リアルタイムシステムの仕様定義、改良、分析のためのグラフィカル言語 | 1996年8月 | スーザン・B・デイビッドソンと共同アドバイザー |
| ダンカン・クラーク | リアルタイム制約のテスト | 1996年12月 | |
| カン・イニェ | 状態空間探索に基づくリアルタイムシステム解析 | 1997年5月 | |
| クァク・ヒファン | リアルタイムスケジューリング問題のパラメトリック解析へのプロセス代数的アプローチ | 2000年2月 | |
| マヘシュ・ヴィスワナタン | ソフトウェアシステムの実行時分析の基礎 | 2000年9月 | サムパス・カンナンと共同アドバイザー
2001年、CIS最優秀博士論文としてモリス・アンド・ドロシー・ルビノフ賞を受賞 |
| キム・ムンジュ | 実行時形式解析のための情報抽出 | 2001年12月 | サムパス・カンナンと共同アドバイザー |
| 王佳 | 侵入検知および対応のための損失感知決定ルール | 2004年7月 | 統計部のLinda Zhao氏と共同でアドバイス |
| シン・インシク | リアルタイム組み込みシステムのための構成フレームワーク | 2006年8月 | 2006年、CIS最優秀博士論文としてモリス・アンド・ドロシー・ルビノフ賞を受賞 |
| ウサ・サマプン | リアルタイムおよび確率的特性の監視と確認 | 2007年5月 | オレグ・ソコルスキー氏と共同アドバイザー |
| マイケル・メイ | プライバシーAPI：法的プライバシー要件を分析するための形式モデル | 2008年5月 | カール・ガンターとの共同アドバイザー |
| マドゥカール・アナンド | リアルタイム組み込みシステムの構成設計のための条件付きモデル | 2008年5月 | |
| アルビンド・イースワラン | 階層型リアルタイムシステムの進歩：増分性、最適性、マルチプロセッサクラスタリング | 2008年12月 | オレグ・ソコルスキー氏と共同アドバイザー |
| ニキル・ディネシュ | 規制適合性：論理と論理形式 | 2010年12月 | アラヴィンド・ジョシと共同アドバイザー |
| ジャン・チャン | 分散システムにおける行動中心の信頼管理 | 2013年5月 | サムパット・カンナンと共同監修 |
| アンドリュー・G・ウェスト | オープンコラボレーションアプリケーションにおける被害検出と軽減 | 2013年5月 | オレグ・ソコルスキーと共同監修 |
| 張卓耀 | MapReduce アプリケーションのパフォーマンスモデリングとリソース管理 | 2014年5月 | ブーン・タウ・ルーと共同監修 |
| キム・ベクギュ | GPCA輸液ポンプ向けリアルタイム組み込みソフトウェアの安全性保証モデルベース開発 | 2015年8月 | オレグ・ソコルスキーと共同監修 |
| アンドリュー・キング | 安全性重視のオンデマンド医療システムの基盤 | 2016年5月 | |
| キム・ボンホ | 無線ネットワークにおけるエンドツーエンドのTCPパフォーマンス向上技術 | 2016年8月 | |
| サンジャン・チェン | 医療サイバーフィジカルシステムにおけるユーザー行動のモデルベース分析 | 2016年8月 | |
| アレクサンダー・ローデラー | パラメータ不変統計と臨床意思決定支援への応用 | 2016年8月 | C.ウィリアム・ハンソン3世医学博士との共同指導 |
| イ・ジェウ | マルチプロセッサ混合臨界リアルタイムシステムのリソース効率の高いスケジューリング | 2017年6月 | リン・PX・ファンとの共同監修 |
| ラドスラフ・イワノフ | サイバーフィジカルシステムのセキュリティ確保のためのコンテキストアウェアセンサーフュージョン | 2017年7月 | ジェームズ・ワイマーと共同監修 |
| ジュンキル・パーク | リニアコントローラソフトウェアの自動検証 | 2017年5月 | オレグ・ソコルスキーと共同監修 |
| 孟徐 | キャッシュ対応リアルタイム仮想化 | 2018年6月 | リン・PX・ファンとの共同監修 |
| デビッド・アーニー | 証明可能な安全性を備えた医療機器の相互運用性 | 2019年5月 | |
| サンドンパーク | 安全なAIに向けた不確実性推定 | 2021年8月 | オスバート・バスタニと共同指導 |
| タン・チャン | 自己適応型ソフトウェアのためのRV対応フレームワーク | 2021年8月 | オレグ・ソコルスキーと共同監修 |
| ラムニート・カウル | 信頼性の高いAI予測のための分布外入力のスクリーニング | 2023年12月 | オレグ・ソコルスキーと共同監修 |
| マシュー・クリーブランド | スケーラブルかつリスクを考慮した自律システムの検証 | 2024年5月 | ジョージ・パパスと共同監修 |
| シドニー・ピュー | 医療AIシステムの弱教師あり評価 | 2024年8月 | ジェームズ・ワイマーと共同監修 |
元ポスドク研究員
| 名前 |
|---|
| アマンダ・ワトソン |
| アナヒード・ザキ |
| アンナ・フィリッポウ |
| ディーパック・ガンガダラン |
| ジ・ウンギョン |
| ファンシン・コン |
| チョ・ヒョジン |
| チェ・ヒョンヨン |
| ホン・ヒョンソク |
| イワン・ルチキン |
| ジェームズ・ワイマー |
| キム・ジェソン |
| キム・ジンヒョン |
| チェ・ジンヨン |
| ジトカ・ストリブルナ |
| クリシュナ・ヴェンカタスブラマニアン |
| クク・ジャン |
| リー・タン |
| リン・チャン |
| リン・ティ・スアン・ファン |
| 陸豊 |
| マーティン・ロイカー |
| ミシェル・カプリオ |
| ミロスラフ・パジッチ |
| ナ・ヨン・イ |
| ニコラ・ベッツォ |
| ニマ・ルーヒ |
| オレグ・ソコルスキー |
| セバスチャン・フィッシュマイスター |
| サウラディープ・ダッタ |
| ヴィナヤック・プラブ |
| シアン（ショーン）・リー |
| ヤニス・カンタロス |
参考文献
- ^ 「Insup LeeがACMフェローに選出」ペンシルベニア工学部。
- ^ 「Insup Lee会員プロフィール」IEEEフェローディレクトリ. 電気電子学会.
- ^ 「Insup Lee氏が2022年度AAASフェローに選出」ペンシルベニア大学PRECISEセンター。
- ^ “TC-CPS”. www.cse.cuhk.edu.hk . 2025年1月21日時点のオリジナルよりアーカイブ。2025年4月4日閲覧。
- ^ “2022 AAASフェロー | アメリカ科学振興協会（AAAS）”. www.aaas.org . 2025年4月4日閲覧。
- ^ 「Test of Time Awards」。ランタイム検証。
- ^ 「功績とリーダーシップ賞」。リアルタイムシステム技術委員会（TCRTS）。米国電気電子学会。
- ^ 「CIMITがケネディ・ヘルスケア・イノベーション賞の受賞者を発表」Newswise、2008年1月8日。
外部リンク
- インサップ・リーのホームページ
- Google Scholarに索引付けされたInsup Leeの出版物
