Skip to Content Jump to Main Navigation Skip to Search Stop image animation
You Are Here: UnRAVeL
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
Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen
Ahornstr. 55
52074 Aachen
WorkPhone: +49 241 80 21004
FaxFax: +49 241 80 22217
Send Email