Bernd Finkbeiner

新しい論理が複雑なシステムにおけるエージェントの相互作用の研究を改善する。

この研究は、複雑なシステムの動作や関係をうまく監視することに焦点を当てている。

プライバシーとセキュリティに焦点を当てた自動ソフトウェアバグ修正の方法。

反実仮想の説明は、リアルタイムのシステムの不具合を解明するのに役立つ。