José Luis Freire Nistal
Mail Address:
Dept. Computación, Facultade de Informática.
Universidade da Coruña,Campus de Elviña,E-15071.
A Coruña, Spain
Phone Number:
+34-81-167000
Fax Number:
+34-81-167160
e-mail:
freire EN udc.es
Last Update:
May.; 2009
Positions:
Currently:
Professor of Computer Science (Catedrático de Universidad)
Department of Computer Science
Faculty of Informatics
,
University of A Coruña
(Spain) since 1991
Formerly:
University of Santiago de Compostela (Spain)
Professor (since -
till 1991)
University Johannes Kepler of Linz (Austria)
: Institute for Systemtheory and Simulation (now Institute for Formal Models and Verification): Guest professor (Winter 2001) (Summer 2003).
Teaching (2008--2009):
Discrete Mathematics II
Fall'08
Programming Tecnology
Spring'09
Research
Functional Programming.
Formal Verification.
Mathematical Foundations of Computing.
Categories
Educational Aspects of Computer Science.
Recent publications
Some links
Computing (Springer-Verlag) Editorial Board
Journal of Formalized Reasoning
Red EACA Simbolic computation net in Spain
ReGACA: Rede Temática Galega de Álxebra, Computación e Aplicacións
WIKI
AdminFIC
Biblioteca Univ.
DIRECCIÓN XERAL DE INVESTIGACIÓN E DESENVOLVEMENTO
Renfe
Facultad Virtual
Correo Web
Elliott Carter:
E
C
Naxos Music Library
Virginia Tech Multimedia Music Dictionary
Filarmonica de Berlin
Algo de Blues
Partituras IMSLP
Partituras MUTOPIA
El Poder De La Palabra
Unión Ciclista Internacional
Vuelta a España
Prof. Franz Pichler
Instituto Universitario de Ciencias y Tecnologías Cibernéticas
Foto Eurocast'05
Eurocast 2009
J. L. Freire Nistal
/
freire EN udc.es