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