Joost-Pieter Katoen, Date of Birth, Place of Birth

Joost-Pieter Katoen

researcher

Date of Birth: 06-Oct-1964

Place of Birth: Krimpen aan den IJssel, South Holland, Netherlands

Profession: computer scientist, researcher

Nationality: Kingdom of the Netherlands

Zodiac Sign: Libra

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