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: 

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