ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Joost-Pieter Katoen

Registered user since Sat 2 Feb 2019

Name:Joost-Pieter Katoen
Bio:

I am full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente. Since 2013, I hold a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.

Country:Germany
Affiliation:RWTH Aachen University

Contributions

LiVe 2019 PC Co-Chair in Program Committee within the LiVe-track
QAPL 2019 Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
TACAS 2019 COMPASS 3.0
Shepherding Hordes of Markov Chains
ETAPS 2019 Session Chair of Beyer (part of Tutorials)
ETAPS Steering committee meeting
Opening
The COMPASS 3.0 Toolset
Session Chair of Chechik (part of Keynotes)
Chair in Executive Board
Show activities from other conferences

ETAPS 2019-profile
View general profile