クリス・ヴァーホフ

クリス・ヴァーホフ
委員会 ICT - 公聴会 1 日目 - クリス・バーホフ、2014 年
生まれる	クリストファー・フェルホフ 1962
国籍	オランダ語
母校	アムステルダム大学
知られている	構造化された操作意味論
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	フリー大学
Webサイト	ホームページはcs.vu.nl

Christopher (Chris) Verhoef (1962 年生まれ) はオランダのコンピューター科学者であり、アムステルダムの自由大学のコンピューター サイエンスの教授です。

1962年にケディヘムで生まれたフェルホフは、1992年にアムステルダム大学でヤン・ベルグストラの指導の下、「プロセス代数における線形単項演算子」という論文でコンピュータサイエンスの博士号を取得しました。 ^[1]

フェルホフはアムステルダム大学のプログラミング研究グループで大学院研究を行い、1990年に最初のレポート「レジスタ演算子について」を発表しました。1990年代初頭、彼はアイントホーフェン工科大学の数学およびコンピューティング科学部に加わりました。彼の最初の研究対象の一つは通信プロセスの代数であり、「通信可能なプロセスを記述する代数理論」でした。^[2]この分野は1982年にヤン・ベルグストラとヤン・ウィレム・クロップによって最初に開発されました。フェルホフはアルバン・ポンセとバス・ファン・ヴリメンとともに、1994年と1995年に通信プロセスの代数に関する最初の2つの国際ワークショップを開始しました。

1996年から1997年にかけて、彼はアムステルダム大学のプログラミング研究グループに戻り、リバースエンジニアリング、「既存のソフトウェアやシステムから情報を回復する理論と実践」に焦点を当て始めました。^[3] 1997年には、第4回IEEEコンピュータソサエティリバースエンジニアリングワーキングカンファレンスの共同議長を務めました。

2000 年代初頭から、Verhoef はアムステルダム自由大学のコンピュータ サイエンスの教授を務めています。彼の研究対象は、構造化操作意味論やIT ポートフォリオ管理の分野にも及びます。

記事、抜粋。^[4]

• Verhoef, Chris. 「述語と否定前提を持つ構造化操作意味論の合同定理」Nordic Journal of Computing 2.2 (1995): 274-302。
• Aceto, Luca、Wan Fokkink、Chris Verhoef。構造的操作的意味論。BRICS、オーフス大学コンピュータサイエンス学部、1999 年。
• Lämmel, Ralf、および Chris Verhoef。「半自動文法回復」ソフトウェア: 実践と経験 31.15 (2001): 1395-1438。
• Klint、Paul、Ralf Lämmel、Chris Verhoef。「文法ウェアのエンジニアリング分野に向けて」ACM Transactions on Software Engineering and Methodology (TOSEM) 14.3 (2005): 331-380。
• Eveleens、J. Laurenz、Chris Verhoef。「カオス レポートの数字の興亡」IEEE ソフトウェア27.1 (2010): 30-36。

• uva.nl の Chris Verhoef
• ホームページ（記事多数）
• 数学系譜プロジェクトのクリス・ヴァーホフ