Loading article…
ベルンハルト・シュテフェン（1958年5月31日、西ドイツ、キール生まれ）は、ドイツのコンピュータ科学者であり、ドイツのドルトムント工科大学の教授である。彼の研究は、プログラム解析と検証からワークフロー合成、テストベースモデリング、機械学習に至るまで、形式手法のさまざまな側面に焦点を当てている。 [ 1 ]
ハンス・ラングマックの指導の下、キール大学で博士号を取得した後、シュテフェンはLFCS（スコットランド、エジンバラ大学）で2年間研究員として勤務し、エジンバラ並行処理ワークベンチ[ 2 ]を共同開発し、確率的プロセスを適切にモデル化する方法に関する初期の論文の1つを執筆しました[ 3 ]。その後、1989年にオーフス大学に博士研究員として着任しました。1990年から1992年まではアーヘン工科大学で准教授を務め、その後パッサウ大学で正教授となりました。 1997年以来、彼はドルトムント工科大学でプログラミングシステムの教授職を務めており、2002年から2006年までは同大学のコンピュータサイエンス学部長、 2006年と2007年には同大学の評議員を務めた。[ 1 ]ドルトムントでは、事前のモデルを必要としないモデルベースのテストの実用的な手段として、アクティブオートマタ学習の概念を開発した。最近では、機械学習を説明するために形式手法を応用することに興味が移っている。
彼の概念的背景は、抽象解釈、コンピュータ支援検証と説明、オートマトン学習、そして設計段階から特性を保証するドメイン固有言語の開発に及びます。これは、10年間の功績を称える「Lazy Code Motion」でPLDI最優秀論文賞を、オープンソースのLearnLibでCAVアーティファクト賞を受賞したことからも明らかです。さらに、2019年にはアミティ工科大学の名誉教授の称号を授与されました。
さらに、Steffenは、 International Journal on Software Tools for Technology Transfer (STTT)の創刊編集長であり、 [ 4 ] TACAS、[ 5 ] ETAPS、[ 6 ] ISoLA、[ 7 ] RERS [ 8 ]の共同創設者であり、 Springer LNCSシリーズの編集委員会のメンバーでもあります。[ 9 ]
ベルンハルト・シュテフェンは、以下の学術誌および学会を共同設立した。