マルティン・ヴェチェフ

マーティン・ヴェチェフ（1977年7月24日生まれ）は、チューリッヒ工科大学コンピュータサイエンス学科の正教授であり、プログラミング言語、機械学習、コンピュータセキュリティの分野で研究を行っている。彼は、コンピュータサイエンス学科の一部であるセキュア、リライアブル、インテリジェントシステムラボ（SRI）^{[ 1 ]を率いている。}

ヴェチェフ氏は、チューリッヒ工科大学（ ETH Zurich）とスイス連邦工科大学ローザンヌ校（EPFL）との提携により設立された、東ヨーロッパにおけるコンピュータ科学と人工知能の研究センターであるINSAIT（Institute for Computer Science, Artificial Intelligence and Technology）の創設者、設計者、そして科学ディレクターです。

彼は、大規模なコードベースでトレーニングされた統計的プログラミング エンジンを導入したコード向け機械学習 (BigCode) の研究^{[ 2 ]} 、大規模な機械学習モデルの検証を可能にするために深層ニューラル ネットワークに関する推論のための抽象解釈法を導入した信頼性と信頼性のある人工知能^{[ 1 ]}、および最初の高レベル プログラミング言語とシステムである Silq を導入した量子プログラミングの研究^{[ 3 ]で知られています。}

ヴェチェフは2019年にACM SIGPLANロビン・ミルナー若手研究者賞を受賞しました。 ^{[ 4 ] [ 5 ] [ 6 ]}彼は2021年に安全で信頼できるAIに焦点を当てた研究に対してERCコンソリデーターグラント^{[ 7 ] [ 8 ]} 、コードのためのAIの分野を形成するのに貢献したERCスターティンググラント[ ^{9 ] [ 10 ] [ 11 ] [ 12 ]を}授与されました。ヴェチェフは170以上の研究論文を共著しており^{[ 13 ]} 、そのうちのいくつかは最優秀論文賞または優秀論文賞を受賞しています。^{[ 14 ]}

ヴェチェフ氏は2012年にチューリッヒ工科大学に着任する以前は、 2007年から2011年まで米国ニューヨークにあるIBMトーマス・J・ワトソン研究所で研究員を務めていた。

ヴェチェフは、チューリッヒ工科大学で21人の博士課程学生を指導し、卒業させた。^{[ 15 ]}彼の博士課程学生のうち数人は、博士論文で大きな評価を受けた。ヴェセリン・ライチェフは、ACM博士論文賞の佳作^{[ 16 ]}とETHメダルを受賞した。ガガンディープ・シンは、 ACM SIGPLAN博士論文賞を受賞した。[17][18] サミュエル・ステフェンは、ACM SIGSAC博士論文賞の次点を受賞し^{た。[ 19 ]ベンジャミン}・ビクセルは、「高レベル量子プログラミング」というテーマで、ACM SIGPLANジョン・C・レイノルズ博士論文賞^{[ 20 ]} [21]とETHメダル[22]の両方を受賞し^{た。ティモン・ゲールは}ETH^{メダルを受賞}した。^{[ 23 ]} リューディガー・ビルクナーは2022年ユーロシス・ロジャー・ニーダム博士号を受賞した。^{[ 24 ]} ディミタル・K・ディミトロフはETHメダルを受賞した。^{[ 25 ]}

マルティン・ヴェチェフはブルガリアのソフィアで生まれ、 1991年から1994年までソフィア数学高等学校（SMG）に通った。 2001年にサイモン・フレイザー大学でコンピュータサイエンスの理学士号を、2008年にケンブリッジ大学でコンピュータサイエンスの博士号を取得した。

ヴェチェフ氏はまた、ディープテック系スタートアップ企業を6社共同設立している。

• LatticeFlowは、堅牢で信頼性の高いAIシステムを提供するためのプラットフォームを構築しています^{[ 26 ] [ 27 ] [ 28 ]。}
• AI ベースのコードレビューシステムである DeepCode は、2020 年にセキュリティユニコーンのSnykに買収されました^{[ 29 ] [ 30 ] [ 31 ]}
• ChainSecurityは、形式的な数学的保証に基づくスマートコントラクトのセキュリティ監査であり、2020年にPwCスイスに買収されました^{[ 32 ]。}
• NetFabricはAIベースのネットワーク監視に重点を置いている^{[ 33 ] [ 34 ] [ 35 ]}
• 自律型AIエージェント向けの高度なセキュリティソリューションの開発に専念するInvariant Labsは、2025年にSnykに買収されました^{[ 36 ] [ 37 ] [ 38 ]。}
• また、バグを自律的に解決するAIエージェントを開発しているLogicStar社も挙げられます^{[ 39 ]。}

ヴェチェフの作品は、以下のような数々の国際的な賞を受賞している。

• プログラミング言語分野への多大な貢献に対し、2019年にACM SIGPLANロビン・ミルナー若手研究者賞^{[ 4 ] [ 5 ] [ 6 ]を受賞。}
• ACM SIGPLAN研究ハイライト^{[ 40 ]}
• CACM研究ハイライト2016 ^{[ 41 ] [ 42 ] [ 43 ]}
• ERCコンソリデーター助成金2021 ^{[ 7 ] [ 8 ]}プロジェクトSafeAI：認証された安全で公正かつ堅牢な人工知能
• ERCスタートアップグラント^{[ 9 ] [ 10 ] [ 11 ] [ 12 ]}は、高度なプログラミング言語と機械学習技術を組み合わせた初のプロジェクトであるBIGCODEに対して授与され、ソフトウェアの作成とデバッグのための新しいAIベースの手法を開発しました。
• ジョン・アタナソフ賞2009、ブルガリア大統領より授与^{[ 44 ] [ 45 ] [ 46 ]}
• GoogleとFacebookの教員研究賞
• IBMリサーチ部門賞
• IBM卓越功績賞（IBM上級副社長兼IBMリサーチ所長、ジョン・ケリー氏より授与）
• IBMリサーチ優秀プロジェクト賞
• IBM発明賞および卓越した技術功績賞