I'm visiting professor at the computer science department of the University of Toronto (October 2017-February 2018).
Please visit my web page at the Universidad Autónoma de Madrid, where I am affiliated, and the web of the modelling and software engineering (miso) research group, to which I belong.