Universitaire
Joost-Pieter Katoen
Dutch theoretical computer scientist
- Vie
- 1964 – présent
- Né(e) le
- 6 octobre 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.
§Entrées associées
Universitaire
Alan Emtage
Barbadian-Canadian computer scientist
1964 – présent · États-Unis
Universitaire
Alberto Broggi
Italian computer scientist (born 1966)
1966 – présent · Italie
Universitaire
Alexander Razborov
Russian mathematician
1963 – présent · Russie
Universitaire
Alexander Razgulin
Russian mathematician (born 1963)
1963 – présent · Russie