Search Results - Katoen, Joost-Pieter

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 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Foundations of Probabilistic Programming

    Published 2020
    Other Authors: “…Katoen, Joost-Pieter…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: