トーマス・ヘンジンガー

トーマス・ヘンジンガー
トーマス・ヘンジンガー
	2016年のヘンジンガー
生まれる	1962年（61～62歳）; オーストリア
国籍	オーストリア
母校	ヨハネス・ケプラー大学リンツ; スタンフォード大学
受賞歴	NAS会員（2020年）; IEEEフェローレオポル; ディーナ科学アカデミー; 会員オーストリア科学アカデミー; 会員ヨーロッパアカデミー会員
	科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	オーストリア科学技術研究所

トーマス・ヘンツィンガー（1962年生まれ）は、オーストリアのコンピュータ科学者、研究者であり、オーストリア科学技術研究所の元所長である。

幼少期と教育

ヘンツィンガーは、コーネル大学でコンピュータサイエンスの助教授（1992–95年）、カリフォルニア大学バークレー校で電気工学とコンピュータサイエンスの助教授（1996–97年）、准教授（1997–98年）、教授（1998–2004年）、非常勤教授（2011年まで） ^[2]を歴任した。また、 1999年にはドイツのザールブリュッケンにあるマックスプランクコンピュータサイエンス研究所の所長、2004年から2009年まではスイスのEPFL（スイス連邦工科大学ローザンヌ校）でコンピュータおよび通信科学の教授を務めた。 ^{[3] 2022年まで}オーストリア科学技術研究所（ISTA）の所長を務めた。^[1]

彼の研究は現代のシステム理論、特に信頼性の高いソフトウェア、ハードウェア、組み込みシステムの設計と検証のためのモデル、アルゴリズム、ツールに関するものである。彼のHyTechツールは、離散・連続混合システムの最初のモデルチェッカーであった。^[3]

彼の影響力のある仕事や学術的貢献の詳細については、Google Scholarプロフィール^{[4]に彼の出版物の包括的なリストが掲載されており、彼の学術的系譜は数学系譜プロジェクトページ}^[5]で調べることができます。

ヘンツィンガー教授は、米国科学アカデミー、アメリカ芸術科学アカデミー、ヨーロッパアカデミー、ドイツ科学アカデミー（レオポルディーナ）、オーストリア科学アカデミーの会員です。^{[7]グルノーブルのフーリエ大学とブルノの}マサリク大学から名誉博士号を授与されました。^[7]また、AAAS、ACM、IEEEのフェローでもあります。 2015年に英国王立協会のロビン・ミルナー賞、 ^[3]ヨーロッパ理論計算機科学協会のEATCS賞、オーストリア科学基金のウィトゲンシュタイン賞を受賞しています。 2001年には ISI高引用研究者として認められ、 h 指数データによるとオーストリアで最も引用されている研究者としてランクされています^[8]。^[9]

^ ab Kaplan, Karan (2009年2月4日). 「トーマス・ヘンツィンガー、オーストリア科学技術研究所所長、オーストリア、クロスターノイブルク」. Nature . 457 (7230): 752. doi : 10.1038/nj7230-752a .
^ 「トーマス・A・ヘンジンガー、カリフォルニア大学バークレー校電気工学科非常勤教授、米国」
^ abc 「Royal Society Milner Award」。王立協会。 2015年11月19日閲覧。
^ 「トーマス・ヘンジンガー」。scholar.google.com . 2024年10月25日閲覧。
^ 「トーマス・ヘンジンガー - 数学系譜プロジェクト」www.genealogy.math.ndsu.nodak.edu . 2024年10月25日閲覧。
^ 欧州委員会、欧州研究会議の統治機関のメンバーに著名な科学者や学者を任命欧州委員会、研究・イノベーション総局、2022年12月7日のプレスリリース。
^ ab "Thomas A. Henzinger". etaps.org . 2024年10月25日閲覧。
^ 「トーマス・ヘンジンガーのプロフィール」。Guide 2 Research 。 2018年9月13日閲覧。
^ Google Scholarに索引付けされた Thomas Henzinger の出版物