Academic
Joost-Pieter Katoen
Dutch theoretical computer scientist
- Life
- 1964 – present
- Born
- October 6, 1964
Joost-Pieter Katoen 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.
§Related entries
Academic
Alan Emtage
Barbadian-Canadian computer scientist
1964 – present · United States
Academic
Alberto Broggi
Italian computer scientist (born 1966)
1966 – present · Italy
Academic
Alexander Razborov
Russian mathematician
1963 – present · Russia
Academic
Alexander Razgulin
Russian mathematician (born 1963)
1963 – present · Russia