Bernhard Steffen (computer scientist) とは

Bernhard Steffen(1958年5月31日、西ドイツキール生まれ)は、ドイツのコンピュータ科学者であり、ドイツのTU Dortmund大学の教授です。彼の研究は、プログラムの解析と検証から、ワークフローの合成、テストベースのモデリングに至るまで、様々な形式のメソッドに焦点を当てています。
キール大学で博士号を取得後、LFCS(エジンバラ、スコットランド)の研究員として2年間在籍し、エジンバラ同時進行ワークベンチを共同開発し、参加する前に確率論的プロセスを適切にモデル化する方法についての最も初期の論文の1つを作成したポストドックとして1989年にオーフス大学を設立しました。 1990年から1992年にかけて、パッサウ大学の教授に就任する前に、RWTHアーヘンで准教授を務めました。 1997年以来、TUドルトムント大学でプログラミングシステムの議長を務めており、2002年から2006年にかけてコンピュータサイエンス学部のディーン、2006年と2007年に上院議員を務めました。
さらに、SteffenはLNCSの編集委員のメンバーです。