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:
Sept.; 2008
Positions:
Currently:
Professor of Computer Science (Catedrático de Universidad)
LFCIA
,
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
Research
Functional Programming.
Formal Verification.
Mathematical Foundations of Computing.
Categories
Educational Aspects of Computer Science.
Recent publications
Some links
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
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