I am an associate professor at the Computing
Science Department of the Universidad Complutense
de Madrid.
Please, consider submitting a paper to the special session on water-based optimization of the IEEE SMC'19 Conference.
You can find teaching material of two subjects I have recently taught:
I currently work both on
functional programming and on formal methods.
If you want to know what kind of things I work on,
you can have a look at my
Here you can see the personal web page of Natalia (my office mate), who is very interested in formal methods applied to concurrency.
Address: Fernando Rubio Departamento de Sistemas Informáticos y Computación Facultad de Informática Universidad Complutense C/. Prof. José García Santesmases s/n 28040 Madrid Spain Phone: +34-91-3947629 Fax: +34-91-3947636e-mail: fernando@sip.ucm.es