ラインハルト・ヴィルヘルム

ラインハルト・ヴィルヘルム
ラインハルト・ヴィルヘルム、2014年
生まれる	( 1946-06-05 )1946年6月5日（78歳） フィネントロップ、ドイツ
母校	ミュンスター大学、 スタンフォード大学、 ミュンヘン工科大学
知られている	コンパイラ技術
受賞歴	コンラート・ツーゼ賞（2009年） 功労十字章（2010年） ACM功労賞（2011年）
科学者としてのキャリア
フィールド	コンピュータ科学者
機関	ザールラント大学

ラインハルト・ヴィルヘルム（1946年6月5日生まれ）はドイツのコンピューター科学者である。

 ヴィルヘルムはドイトメッケ（現在はヴェストファーレン州フィンネントロップ市の一部）生まれ。ミュンスター大学で数学、物理学、数理論理学を学び、ミュンヘン工科大学とスタンフォード大学でコンピュータサイエンスを学び、 1977年にミュンヘン工科大学で博士号を取得。1978年にザールラント大学教授となり、2014年に退職するまでプログラミング言語とコンパイラ構築の講座を率いた。さらにヴィルヘルムは、ダグシュトゥール城のライプニッツ情報科学センターの科学ディレクターを1990年の設立当初から2014年まで務めた。現在はザールラント大学名誉教授。

ヴィルヘルムは、ヨーロッパプログラミングシンポジウム（ESOP）とヨーロッパソフトウェア理論実践会議（ETAPS）の共同創設者の一人です。ヨーロッパプログラミング言語協会（EAPLS）は、プログラミング言語とプログラミングシステムの研究を進める組織を設立するという彼のアイデアに立ち返りました。^[1] 1998年に、彼は抽象解釈に基づくソフトウェア品質保証ツールを提供する研究スピンオフであるAbsIntを設立しました。その中には、たとえばエアバスA380内の時間重視の組み込みシステムの認証に使用される、リアルタイム要件の検証ツールが含まれています。^[2]

Wilhelm の研究は、プログラミング言語、コンパイラ構築、静的プログラム解析、組み込みリアルタイム システムに重点を置いていますが、アルゴリズムとデータ構造のアニメーションと視覚化も含まれます。Wilhelm は、コード選択と正規ツリー オートマトン理論の関係を発見しました。これは、ツリー オートマトンを使用したコード生成に関連します。彼は、属性文法に基づく MUG1、MUG2、OPTRAN コンパイラ ジェネレータの共同開発者の 1 人です。Ulrich Möncke とともに、手続き間データ フロー解析の一般化として文法フロー解析を提案しました。Mooly SagivおよびTom Repsとともに、3 値論理に基づく人気のシェイプ解析を発明しました。

Wilhelm は、命令型言語だけでなく、オブジェクト指向、関数型、論理型言語のコンパイラについても解説し、理論的基礎を強調した書籍『 Compiler Construction』の共著者です。ドイツ語とフランス語でも入手可能です。

ヴィルヘルムは、コンパイラ構築とプログラム分析に関する研究と、LZIの科学ディレクターとしての功績により、2000年にACMのフェローとなった。 ^[3]ダルムシュタット工科大学とフラウンホーファー・グラフィック・データ処理研究所 [de]は、2006年にヴィルヘルムにアルヴィン・ワルターメダルを授与した。2007年には、フランス教育研究省から、科学への貢献と、研究・教育におけるドイツとフランスの協力における功績が認められ、ゲイ・リュサック・フンボルト賞を受賞した。 ^[4] 2008年には、ヨーロッパ科学アカデミー( Academia Europaea )の会員となった。 ^[5]同年10月、アーヘン工科大学より名誉博士号を授与された。^{[6] 12月、}タルトゥ大学より名誉学位を授与された。^[7] 2009年9月、コンパイラ構築、プログラムのリアルタイム解析に関する研究と教育における功績と、LZI/Schloss Dagstuhlの科学ディレクターとしての貢献により、コンラート・ツーゼ・メダルを受賞。 ^{[8] 2010年に}ドイツ連邦共和国功労勲章とACM功労賞を受賞。[ 9 ^] 2013年にドイツ国立レオポルディーナ科学アカデミーに入会。 実行時間境界に関する研究の長期的な影響により、国際会議ESWEEK 2019でTest-of-Time賞を受賞。^[10] 2020年にIEEEリアルタイムシステム技術委員会より傑出した技術業績とリーダーシップ賞を受賞。^[11] 2021年に、彼は論文「プロセッサアーキテクチャがWCETツールの設計と結果に与える影響」でIEEEリアルタイムシステム技術委員会（TCRTS）のTest-of-Time賞を受賞しました。^[12]

• ジャック・レックス、クルト・メルホルン、ラインハルト・ヴィルヘルム:プログラミング言語の基礎1989
• ラインハルト・ヴィルヘルム:インフォマティクス - 10年前。10年後。Springer 2001
• Reinhard Wilhelm、Helmut Seidl:コンパイラー設計: 仮想マシン、Springer 2011
• Helmut Seidl、Reinhard Wilhelm、Sebastian Hack:コンパイラ設計: 分析と変換、Springer 2011
• Helmut Seidl、Reinhard Wilhelm、Sebastian Hack:コンパイラ設計: 構文および意味解析、Springer 2011
• Reinhard Wilhelm: Einsichten eines Informatikers v geringem Verstande – Glossen aus dem Informatik Spectrum。 Springer Fachmedien、ヴィースバーデン、2020、ISBN  978-3-658-28385-8。
• ラインハルト・ヴィルヘルム:自動操縦、タリバンとフリードリヒシュタットパラスト: Neue Einsichten eines Informatikers von geringem Verstande。 2022 年に独立出版、ISBN 979-8820142680。 

• Thomas Reps、Mooly Sagiv、Jörg Bauer: Reinhard Wilhelm の研究に対する評価。プログラム分析とコンパイル、理論と実践(Springer、2007)、Lecture Notes in Computer Science 巻 4444。

• ラインハルト・ヴィルヘルムのホームページ
• リアルタイム分析に関するラインハルト・ヴィルヘルムによるサマースクール講演
• DBLP書誌サーバーのラインハルト・ヴィルヘルム
• 数学系譜プロジェクトへの参加