Fernando Rubio

I am an associate professor at the Computing Science Department of the Universidad Complutense de Madrid.

You can find teaching material of two subjects I have recently taught:

  • Functional Programming (if you have problems with the previous web, you can also have a look at the previous version of the web
  • Automata Theory and Formal Languages

    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 list of publications obtained from DBLP.

    Si quieres puedes ver la página en español: 

    Here you can see the personal web page of Natalia (my office mate), who is very interested in formal methods applied to concurrency. 

    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
    Phone: +34-91-3947629
    Fax: +34-91-3947636
    e-mail: fernando@sip.ucm.es