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; 2010
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 (2009--2010):
Master of Computer Science:
Computational Logic
Certification of Properties of Distributed Systems
Research
Monadic Programming.
Software Verification (VERSO).
Mathematical Foundations of Computing.
Categories
Educational Aspects of Computer Science.
Recent publications
Some links
EACA 2010
EUROCAST 2011
Journal of Formalized Reasoning
Red EACA Computer Algebra net in Spain
ReGACA: Rede Temática Galega de Álxebra, Computación e Aplicacións
Red Gallega de Procesamiento del Lenguaje y Recuperación de Información
Dropbox
WIKI
AdminFIC
Biblioteca Univ.
DIRECCIÓN XERAL DE INVESTIGACIÓN E DESENVOLVEMENTO
Renfe
Facultad Virtual
Correo Web
Elliott Carter:
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
E
C
J. L. Freire Nistal
/
freire EN udc.es