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 dc.fi.udc.es

Last Update: March  6, 2005

Positions:

Currently: 

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).

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

Some links