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