Harold Bruintjes

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen

Student Assistant Sought for Research Job
August 10, 2020
We are looking for a motivated, enthusiastic student assistant to help us develop some features related to Bayesian Networks in the probabilistic model checker, Storm. The job description can be …
Paper at LOPSTR 2020
July 19, 2020
The paper entitled “Generating Functions for Probabilistic Programs” by Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Winkler has been accepted for presentation at the …
Paper at CONCUR 2020
July 8, 2020
The paper entitled “Residual Nominal Automata” by Joshua Moerman and Matteo Sammartino (Royal Holloway University of London) has been accepted for the 31st International Conference on Concurrency Theory (CONCUR 2020). …