Joost-Pieter Katoen

Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]] 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. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Katoen, Joost-Pieter,', query time: 0.03s Refine Results
2
Foundations of probabilistic programming /
Participants: Barthe, Gilles, 1967- [ TeilnehmendeR ]; Katoen, Joost-Pieter, [ TeilnehmendeR ]; Silva, Alexandra, [ TeilnehmendeR ]
Published: 2021.
Superior document: Mathematical Sciences and Information Technology
Other Authors: “...Katoen, Joost-Pieter,...”
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search