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