I have moved!
Now doing my Ph.D. at the Software Modeling and Verification Group (MOVES), headed by Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen at RWTH Aachen University.
Look at my page for more info.