Survey Lecture

The core topics of UnRAVeL (Uncertainty, Randomness, Algorihms, Verification, and Logic) is presented from ten different perspectives which is a highlight of the upcoming summer semester!

more...zu: Survey Lecture


Joost-Pieter Katoen

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

Ahornstr. 55  

52074 Aachen

WorkPhone: +49 241 80 21004

FaxFax: +49 241 80 22217