Puedes encontrar material docente de las dos últimas asignaturas que he impartido:
Actualmente trabajo tanto en
programación funcional como en métodos formales.
Si quieres saber con más detalle en qué tipo de cosas trabajo,
puedes consultar mi
lista de publicaciones obtenida a partir de
DBLP o mi lista de google scholar.
If you prefer, you can see this page in english:
Puedes
ver la página personal de Natalia
(mi
compañera de despacho), que se dedica a estudiar métodos
formales aplicados a la concurrencia.
Dirección:
Fernando Rubio Diez
Departamento de Sistemas Informáticos y Computación
Facultad de Informática
Universidad Complutense
C/. Profesor José García Santesmases, s/n
28040 Madrid
Spain
Tfno: +34-91-394 (7629/7516)
Fax: +34-91-3947636
e-mail: fernando@sip.ucm.es