Joost-Pieter Katoen

Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.

Career

From 1997 to 1999, Katoen was a postdoctoral researcher at the University of Erlangen-Nuremberg. In 1999, he became an associate professor at the University of Twente, where he still holds a part-time position.