Joost-Pieter Katoen とは

Joost-Pieter Katoen(1964年10月6日生まれ)は、ドイツに拠点を置くオランダの理論コンピュータ科学者です。 RWTHアーヘン大学のコンピューター・サイエンスの著名な教授であり、ソフトウェアモデリングと検証グループの責任者です。さらに、彼はパートタイムでTwente大学のFormal Methods&Toolsグループに関連しています。