Photo
J. L. 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 dc.fi.udc.es
Last Update
: November 2, 2004
Positions:
Currently:
Professor of Computer Science (Catedrático de Universidad)
LFCIA
,
Department of Computer Science
Faculty of Informatics
,
University of A Coruña
(SPAIN) (1991-
Discrete Mathematics II
Fall'04
Formal Verification
Spring'05
Formerly:
University of Santiago de Compostela (Spain)
Professor (-
-1991)
University Johannes Kepler of Linz (Austria)
Guest professor (Winter 2001) (Summer 2003)
Research
Functional Programming.
Developement of applications with functional kernel and client/server architecture.
Implementation of Concurrency in Lazy Functional Languages.
Distributed/Parallel Execution of Functional Code.
Formal Verification
Categorical interpretation
Educational Aspects of Computer Science.
Recent publications
J. L. Freire Nistal
/
freire EN fi.udc.es