-
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@fi.udc.es
Last Update
Mars,18, 2002
Current Position
-
Full Prof. of Computer Science (Catedrático de Universidad)
-
LFCIA, Department
of Computer Science
-
Faculty of Informatics, University
of La Coruña (SPAIN)
Research
-
I am working on 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
-
Also in Educational Aspects of Computer Science.
Courses
Discrete Mathematics
II - Fall'01
Technology
of Programming - Spring'02
Verification of
distributed systems (Postgraduate/DOCTORADO)
- Spring'02
Some links
Eurocast'01
Red Informatica
Educativa del Ayuntamiento de La Coruña (en Galego)
Red Educativa del Ayuntamiento
de LA Coruña
ACM/IEEE-CS Task Force Computer
Science Volume of computing Curriculum 2001
CCSE
(Computing Curriculum, Software Engineering)
EURASIA-ICT 2002
J. L. Freire Nistal
/ freire@fi.udc.es
