Harold Bruintjes

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

ICT Young Researcher Award
October 30, 2020
On October 30, the ICT Young Researcher Award 2020 has been awarded to Christopher Brix, who did his master thesis entitled Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural …
Ackermann Award 2020
October 28, 2020
Benjamin Kaminski will receive the prestigious 2020 Ackermann Award for his Ph.D. dissertation on “Advanced Weakest Precondition Calculi for Probabilistic Programs” which he defended in February 2019. The Ackermann Award …
Student Assistant Sought for Teaching Job
October 22, 2020
We are currently looking for a student assistant, with a background on theoratical computer science, to support our lecture “Probabilisitic Programming”. The job description can be found here.