Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany.

He is distinguished professor[1] in Computer Science and head of the Software Modeling and Verification Group[2] at RWTH Aachen University.

[4] Katoen's research focuses on developing mathematical verification methods for assessing the accuracy of programs and computer systems.

[5] His developed techniques and software tools are applied in areas such as safety analysis, AI planning, control theory, system biology, and in model‐based performance assessment and reliability analyses.

[9][10] In 2020, Katoen became an ACM Fellow and in 2021, he was elected as member of the Royal Holland Society of Science and Humanities (KHMW).

For his commitment to work-life balance, especially for young Ph.D. students with children, he was awarded the FAMOS Prize by RWTH Aachen University in 2017.