	Comisión Interministerial de Ciencia y Tecnología

Curriculum vitae

Nombre: JOSÉ LUIS FREIRE NISTAL

Fecha: 15 DE SETIEMBRE DE 2005

Apellidos: FREIRE NISTAL	Nombre: JOSÉ LUIS
DNI: 32334346 A	Fecha de nacimiento : 6-11-1943	Sexo: VARÓN

Situación profesional actual

Organismo: UNIVERSIDAD DE A CORUÑA

Facultad, Escuela o Instituto: FACULTAD DE INFORMÁTICA

Depto./Secc./Unidad estr.: COMPUTACIÓN

Dirección postal: CAMPUS DE ELVIÑA 15071 A CORUÑA

Teléfono (indicar prefijo, número y extensión): 981 167000 (EXT 1264)

Fax: 981 167160

Correo electrónico: freire@udc.es

Especialización (Códigos UNESCO): 330417, 120311,120323

Categoria profesional: CATEDRÁTICO DE UNIVERSIDAD Universidad: CORUÑA	Fecha de inicio: 5-02-1991

Situación administrativa

Plantilla	Contratado	Interino	Becario

Otras situaciones especificar:

Dedicación	A tiempo completo

A tiempo parcial

Líneas de investigación

Breve descripción, por medio de palabras claves, de la especialización y líneas de investigación actuales.

Functional Programming

Formal Verificationof systems

Categorical interpretation

Formación Académica

Titulación Superior	Centro	Fecha

Lic. en Matemáticas	Univ. de Santiago de Compostela	1-06-1970

Doctorado	Centro	Fecha

Matemáticas	Fac. de Matemáticas (Univ. Santiago)	17-10-1972

Actividades anteriores de carácter científico profesional

Puesto	Institución	Fechas
Guest Professor	University Johannes Kepler of Linz (Austria) Institute for Systemtheory and Simulation	Winter term (2001)
Guest Professor	University Johannes Kepler of Linz (Austria) Institute for Systemtheory and Simulation	Summer term (2003)
Titular de Universidad	FAC. INFORMATICA, Univ. de A Coruña	01/08/90-05/02/91
Titular de Universidad	Fac. De Matemáticas, Universidad de Santiago de Compostela	01/10/83-31/07/90
Colaborador en la Universidad y Catedrático de Matemáticas de Instituto	Fac. De Matemáticas, Universidad de Santiago y Instituto Masculino de Santiago de Compostela	01/10/80-30/09/83
Profesor Adjunto numerario	Fac. De Matemáticas, Universidad de	01/10/79-01/10/80
Adjunto numerario (Parcial) en la Universidad y Catedrático de Matemáticas de Instituto	Fac. De Matemáticas, Universidad de Santiago y Instituto Masculino de Santiago de Compostela	30/09/78-30/09/79
Colaborador en la Universidad y Catedrático de Matemáticas de Instituto Prof. Colegio Univ. Lugo y Catedrático de Matemáticas de Instituto Agregado Interino Agregado Interino Djunto Provisional	Fac. De Matemáticas, Universidad de Santiago y Instituto Masculino de Santiago de Compostela Colegio Universitario de Lugo (Univ de Santiago de Compostela) Instituto Masculino de Lugo Fac. de Matemáticas Universidad de Santiago de Compostela	01/10/76-30/09/78 01/10/74-30/09/76 01/10/73-30/09/74 01/10/72-30/09/73 01/10/70-30/09/72

Idiomas (R = regular, B = bien, C = correctamente)

Idioma	Habla	Lee	Escribe
Inglés	B	B	C
Francés	R	B	B
Ruso	R	B	R

Participación en Proyectos de I+D financiados en Convocatorias públicas.

(nacionales y/o internacionales)

Título del proyecto: E-Aqua 014-e-Aqua, Interreg IIIB Espacio Atlántico

Entidad financiadora: Unión Europea

Entidades participantes:

Duración, desde: 2003	hasta: 2005	Cuantía de la subvención: 37.574,03 Euros

Investigador responsable: V. Gulías

Número de investigadores participantes:

Título del proyecto: Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad, de bajo coste de adquisición y funcionamiento: CheapTB

Entidad financiadora: Government of Galicia, Spain, Project PGIDT02TIC00101CT

Entidades participantes:

Duración, desde: 2002	hasta: 2004	Cuantía de la subvención: 23.320 Euros

Investigador responsable: J. L. Freire

Número de investigadores participantes: 7

Título del proyecto: VRDADER: Verificación, Rendimiento y Disponibilidad de Aplicaciones Distribuidas en Entornos Reales

Entidad financiadora: MCyT, Spain, Project TIC 2002-02859, and Xunta de Galicia, Spain, Project PGIDIT03PXIC10502PN,

Entidades participantes:

Duración, desde: 2002	hasta: 2004	Cuantiía de la subvención: 112.440 Euros

Investigador responsable: V. Gulías

Número de investigadores participantes: 10

Título del proyecto: E-Minder

Entidad financiadora: European Union's Fifth RTD Framework Programme project IST-2000-28403,

Entidades participantes:

Duración, desde: 2000	hasta: 2003	Cuantiía de la subvención: 176.331 Euros

Investigador responsable: Antonio Blanco Ferro

Número de investigadores participantes: 4

Título del proyecto: Arquitectura de nodos de proceso paralelo para servicio de video bajo demanda,

Entidad financiadora: CEE+CICYT Project 1FD97-1759 Programa TIC

Entidades participantes: Empresa R-Cable y Comunicaciones de Galicia

Duración, desde: 1999	hasta: 2001	Cuantiía de la subvención: 30.867.680 Pts

Investigador responsable: J. L. Freire

Número de investigadores participantes: 9

Título del proyecto:, Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia

Entidad financiadora: Government of Galicia, Spain, Project PGIDT99COM10502

Entidades participantes:

Duración, desde: 1999	hasta: 2000	Cuantiía de la subvención: 60.000 Euros

Investigador responsable: A. Valderruten

Número de investigadores participantes: 9

Título del proyecto: INDO, de la iniciativa ADAPT de la Comunidad Europea. en colaboración con el Instituto Galego de Promoción Económica (IGAPE), la Asociación de Empresarios de Culleredo (La Coruña) y el Ayuntamiento de Culleredo.

Entidad financiadora: CEE

Entidades participantes: en colaboración con el Instiotuto Galego de Promoción Económica (IGAPE), la Asociación de Empresarios de Culleredo (La Coruña) y el Ayuntamiento de Culleredo

Duración, desde: 1998	hasta: 1999	Cuantiía de la subvención:.2..140.000 Pts

Investigador responsable: J. L. Freire

Número de investigadores participantes: 5

Título del proyecto: Sistema de Cálculo Simbólico con Arquitectura Cliente-Servidor y Núcleo Funcional (XUGA10502B94)

Entidad financiadora: Xunta de Galicia

Entidades participantes:

Duración, desde: 1995	hasta: 1997	Cuantiía de la subvención: 7.000.000 Pts

Investigador responsable: J.L. Freire

Número de investigadores participantes: 17

Título del proyecto: Reescritura Gráfica (TIC91-0404)

Entidad financiadora: Ministerio de Educación y Ciencia CICYT Comisión Interministerial de Ciencia y Tecnología.

Entidades participantes:

Duración, desde: 1991	hasta: 1993	Cuantiía de la subvención: 3.675.000

Investigador responsable: J. L. Freire

Número de investigadores participantes: 7

Título del proyecto: Programación Funcional y Categorías (XUGA80504388)

Entidad financiadora: Xunta de Galicia

Entidades participantes:

Duración, desde: 1989	hasta: 1991	Cuantiía de la subvención: 1.400.000 Pts

Investigador responsable: J. L. Freire

Número de investigadores participantes: 4

Título del proyecto: Nocións Lóxico-Xeométricas nos Topos

Entidad financiadora: Xunta de GaliciaV. Gulias, J. J. Quintela, Jose Luis Freire Nistal

Entidades participantes:

Duración, desde: 1986	hasta: 1987	Cuantiía de la subvención: 750.000 Pts.

Investigador responsable: J. L. Freire

Número de investigadores participantes: 4

Publicaciones o Documentos Científico-Técnicos

( CLAVE: L = libro completo, CL = capítulo de libro, A = artículo, R = “review”, E = editor,

S = Documento Científico-Técnico restringido. )

Autores (p.o. de firma): Víctorf M. Gulías, Miguel Barreiro y Josle L. Freire

Título: VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming

Ref.	revista: Journal of Functional Programming	Libro

Clave: A	Volumen:	15 (3)	Páginas, inicial: 403	final: 430	Fecha: 2005

Editorial (si libro):

Lugar de publicación: Cambridge University Press (UK)

Autores (p.o. de firma): J. L. Freire, E. Freire, A. Blanco,

Título: On Recursive Functions and Well-founded Relations.

Ref.	revista : Lecture Notes in Computer Sciience	Libro

Clave: A	Volumen:	3643	Páginas, inicial: 69	final: 80	Fecha: May 2005

Editorial (si libro):

Lugar de publicación: Springer-Verlag Berlin-Newyork

Autores (p.o. de firma): J. Santiago Jorge, Víctor M. Gulías, J. L. Freire, J. J. Sánchez

Título: Reasoning about a Functional Program for computing Gröbner Basis .

Ref.	revista : Lecture Notes in Computer Science	Libro

Clave: A	Volumen:	3643	Páginas, inicial:	final:	Fecha: May 2005

Editorial (si libro):

Lugar de publicación: Springer-Verlag Berlin NewYork

Autores (p.o. de firma): Antonio Blanco, Víctor M. Gulías, Javier Mosquera, Carlos Abalde, José L. Freire,

Título: Comercio Electrónico. La tecnología al servicio de la PYME .

Ref.	revista :	Libro

Clave: L	Volumen:	Páginas, inicial: 1	final: 271	Fecha: May 2005

Editorial (si libro): Via Láctea

Lugar de publicación: España

Autores (p.o. de firma): J. Santiago Jorge, Víctor M. Gulías, J. L. Freire, J. J. Sánchez

Título: Reasoning about a Functional Program for computing Gröbner Basis .

Ref.	revista : Lecture Notes in Computer Science	Libro

Clave: A	Volumen:	3643	Páginas, inicial:	final:	Fecha: May 2005

Editorial (si libro):

Lugar de publicación: Springer-Verlag Berlin NewYork

Autores (p.o. de firma): Carlos Abalde, Víctor M. Gulías, José L. Freire, Juan J. Sánchez, José M. García-Tizón,

Título: Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel.

Ref.	revista : Lecture Notes in Computer Science	Libro

Clave: A	Volumen:	2809	Páginas, inicial: 220	final: 231	Fecha: 2003

Editorial (si libro):

Lugar de publicación: Springer-Verlag Berlin NewYork

Autores (p.o. de firma): José L. Freire, A. Blanco, V. M. Gulías, J. E. Freire

Título: On the Strong Co-induction in Coq

Ref.	revista: Lecture Notes in Computer Science (Springer)	Libro

Clave: A	Volumen:	2809	Páginas, inicial: 279	final: 291	Fecha: 2003

Editorial (si libro):

Lugar de publicación: Germany

Autores (p.o. de firma): Roberto Moreno-Díaz, Bruno Buchberger, José L. Freire

Título: Computer Aided Systems Theory: Formal Methods and Tools in Computer Science

Ref.	revista:	Libro

Clave: E	Volumen:	Páginas, inicial:	final:	Fecha: 2001

Editorial (si libro): Springer Verlag

Lugar de publicación: Germany

Autores (p.o. de firma): Senén Barro, J.L. Freire

Título: Actas del Simposio en Informática y Telecomunicaciones

Ref.	revista:	Libro

Clave: E	Volumen:	Páginas, inicial:	final:	Fecha: 2001

Editorial (si libro): Fundación Dintel (Madrid)

Lugar de publicación: Madrid

Autores (p.o. de firma): José L. Freire, J. E. Freire, A. Blanco, J. J. Sánchez Penas

Título: Fusion in Coq

Ref.	revista: : Lecture Notes in Computer Science (Springer)	Libro

Clave: A	Volumen:	2178	Páginas, inicial: 583	final: 597	Fecha: 2001

Editorial (si libro):

Lugar de publicación: Germany

Autores (p.o. de firma): J. L. Freire

Título: Necesidades Educativas de la Sociedad del Conocimiento (In the book "Galicia 2010")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 540	final: 551	Fecha: 2000

Editorial (si libro): Xunta de Galicia: Fundación Galicia 2010

Lugar de publicación:

Autores (p.o. de firma): A. Valderruten Vidal, V. Gulías Fernández, J. L. Freire Nistal, M. Rodriguez Rubio

Título: Distributed Functional Computing and its Instrumentation. (In the book " Distributed System: Architectures, Tools and Algorithms")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 15	final: 37	Fecha: 2000

Editorial (si libro): International Institute of Informatics and Systemics

Lugar de publicación: Venezuela

Autores (p.o. de firma): José L. Freire

Título: Unha implementación de Rede de Informática Educativa (Artículo invitado)

Ref.	revista: Boletín das Ciencias	Libro

Clave: A	Volumen:	XIII nº 43	Páginas, inicial: 37	final: 47	Fecha: 2000

Editorial (si libro): Xunta de Galicia

Lugar de publicación: Santiago de Compostela

Autores (p.o. de firma): Enrique Freire Brañas, Jose Luis Freire Nistal, Antonio Blanco Ferro

Título: Dialgebras in High Order Programming (In the book "Wiener's Cybernetics, 50 years of evolution")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 45	final: 48	Fecha: 1999

Editorial (si libro): Univ. de Las Palmas

Lugar de publicación: Las Palmas

Autores (p.o. de firma): J. L. Freire Nistal, M. Falaschi y M. Vilares

Título: Proceedings of AGP 98 Joint Conference on Declarative Programming

Ref.	revista:	Libro

Clave: E	Volumen:	Páginas, inicial:	final:	Fecha: 1998

Editorial (si libro): University of A Coruña

Lugar de publicación: A Coruña

Autores (p.o. de firma): V. Gulias, J. J. Quintela, Jose Luis Freire Nistal

Título: Concurrent Programming Using Traces in HASKELL (In the book Functional and Logic Programming)

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 176	final: 191	Fecha: 1997

Editorial (si libro): World Scientific Publishing Co.

Lugar de publicación: USA

Autores (p.o. de firma): J. M. Molinelli, J. M. Barja, A. Blanco, J. L. Freire

Título: An Automatic Calculator with Penrose Diagrams

Ref.	revista: Lecture Notes in Computer Science. Springer Verlag	Libro

Clave: A	Volumen:	1333	Páginas, inicial: 252	final: 269	Fecha: 1997

Editorial (si libro):

Lugar de publicación: Germany

Autores (p.o. de firma): V. Gulias, S. Jorge, J. J. Quintela, J. L. Freire Nistal

Título: From Sequential to Distributed Formal Proofs

Ref.	revista: Lecture Notes in Computer Science. Springer Verlag	Libro

Clave: A	Volumen:	1333	Páginas, inicial: 501	final: 513	Fecha: 1997

Editorial (si libro):

Lugar de publicación: Germany

Autores (p.o. de firma): J. L. Freire Nistal, V. Gulias, X. M. López

Título: Adding Database Access to a Functional Language (In the book: "Proc. The 9th Int. Conf. on Softw. Eng.& Know. Eng., SEKE'97")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 77	final: 94	Fecha: 1997

Editorial (si libro): Knowledge Systems Institute

Lugar de publicación: USA

Autores (p.o. de firma): J. L. Freire Nistal, V. Gulías, X. López

Título: On the Functional Approach to RDBMS (In the book "Data Management Systems")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 169	final: 177	Fecha: 1997

Editorial (si libro): IEEE COMPUTER SOCIETY

Lugar de publicación: USA

Autores (p.o. de firma): V. Gulias, J. L. Freire Nistal, A. Valderruten

Título: Évaluation Lazy avec Caml Light

Ref.	revista: Collection Didactique, INRIA (Inst.Nat.de la Rech. Informatique et Automatique de France)	Libro

Clave: A	Volumen:	15	Páginas, inicial: 77	final: 94	Fecha: 1996

Editorial (si libro):

Lugar de publicación: France

Autores (p.o. de firma): Jose Luis Freire Nistal, Antonio Angel Blanco Ferro

Título: On the Abstraction Process (In the book " Brain Processes, Theories and Models")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 495	final: 502	Fecha: 1996

Editorial (si libro): MIT Press, Cambridge, Massachusetts Institute of Technology

Lugar de publicación: USA

Autores (p.o. de firma): Jose Luis Freire Nistal

Título: El impulso de las necesidades universitarias (In the book: "El Futuro Actual" Ed. J. B. Terceiro)

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 501	final: 509	Fecha: 1996

Editorial (si libro): Publicaciones de la Fundacoión Caixa Galicia

Lugar de publicación: A Coruña

Autores (p.o. de firma): V. Gulías, J. L. Freire Nistal

Título: Concurrent Programming in Haskell

Ref.	revista: Fachgrouppe Informatik	Libro

Clave: A	Volumen:	9	Páginas, inicial: 23	final: 45	Fecha: 1996

Editorial (si libro):

Lugar de publicación: Aachen (Germany)

Autores (p.o. de firma): M. A. López López, J. L. Freire Nistal

Título: The tensor Product of Triples as a Multilinear Product

Ref.	revista: Rev. Matemática de la Univ. Complutense de Madrid	Libro

Clave: A	Volumen:	1	Páginas, inicial: 13	final: 25	Fecha: 1993

Editorial (si libro):

Lugar de publicación: Madrid

Autores (p.o. de firma): J. L. Freire Nistal, F. Alonso Amo, M.Felicidad Aguado Martín

Título: On the naturality of the iteration and recursive specifications

Ref.	revista: Applied Mathematics and Computation (Elsevier Science Publisher)	Libro

Clave: A	Volumen:	57	Páginas, inicial: 1	final: 18	Fecha: 1993

Editorial (si libro):

Lugar de publicación: USA

Autores (p.o. de firma): José Luis Freire Nistal, Rosa M. Fernández Rodríguez

Título: Teorias Algebraicas Morita-Equivalentes

Ref.	revista:	Libro

Clave: L	Volumen:	Páginas, inicial:	final:	Fecha: 1990

Editorial (si libro): Serv. de Public. de la Universidad de La Coruña

Lugar de publicación: A Coruña

Autores (p.o. de firma): José Luis Freire Nistal

Título: Elementos de Programación Funcional y Categorías

Ref.	revista:	Libro

Clave: L	Volumen:	Páginas, inicial:	final:	Fecha: 1990

Editorial (si libro): Via Láctea

Lugar de publicación: A Coruña

Autores (p.o. de firma): J. L. Doncel, J. L. Freire Nistal

Título: Category of Precrossed Modules

Ref.	revista:	Libro

Clave: A	Volumen:	9	Páginas, inicial: 135	final: 149	Fecha: 1990

Editorial (si libro):

Lugar de publicación: Santiago de Compostela

Autores (p.o. de firma): J. L. Freire Nistal, M. Felicidad Aguado Martín

Título: Naturality of the conditional and the recursion

Ref.	revista: International Journal of Computer Mathematics (Gordon & Breach Science Publ.)	Libro

Clave: A	Volumen:	35	Páginas, inicial: 7	final: 14	Fecha: 1990

Editorial (si libro):

Lugar de publicación: USA

Autores (p.o. de firma): J. M. Molinelli Barba, Jose Luis Freire Nistal, Antonio A. Blanco Ferro

Título: Computer-looking for Nontrivial Repetitions in the Pascal Triangle

Ref.	revista: Sigsmall/PC Notes . ACM (Association for Computer Machinery)	Libro

Clave: A	Volumen:	16-Nº 4	Páginas, inicial: 13	final: 26	Fecha: 1990

Editorial (si libro):

Lugar de publicación: USA

Autores (p.o. de firma): Rosa M. Fernández Rodríguez , J. L. Freire Nistal

Título: On Affine Parts of Algebraic Theories

Ref.	revista: Journal of the Korean Mathematical Society	Libro

Clave: A	Volumen:	23	Páginas, inicial: 159	final: 165	Fecha: 1986

Editorial (si libro):

Lugar de publicación: Korea

Autores (p.o. de firma): J. L. Freire Nistal

Título: Sobre subteorias de la doble dualidad (In the book "Alxebra 26")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 35	final: 45	Fecha: 1980

Editorial (si libro): Dpto. de Alxebra y Fundamentos. Universidad de Santiago de Compostela

Lugar de publicación: Santiago de Compostela

Autores (p.o. de firma): J. L. Freire Nistal, Jose Maria Barja Pérez

Título: Triples Asociados (In the book "Alxebra 26")

Ref.	revista:	Libro

Clave: CL	Volumen:	Páginas, inicial: 33	final: 50	Fecha: 1980

Editorial (si libro): Dpto. de Alxebra y Fundamentos. Universidad de Santiago de Compostela

Lugar de publicación: Santiago de Compostela

Autores (p.o. de firma): J. L. Freire Nistal

Título: Triples de Grado Superior M-idempotentes

Ref.	revista: Revista matemática Hispano-Americana IV	Libro

Clave: A	Volumen:	33	Páginas, inicial: 228	final: 237	Fecha: 1973

Editorial (si libro):

Lugar de publicación: Spain

Autores (p.o. de firma): J. L. Freire Nistal

Título: Propiedades Universales en Triples de Grado Superior

Ref.	revista:	Libro

Clave: L	Volumen:	Páginas, inicial:	final:	Fecha: 1972

Editorial (si libro): Dpto. de Alxebra y Fundamentos. Universidad de Santiago de Compostela

Lugar de publicación: Santiago de Compstela

Participación en contratos de I+D de especial relevancia con Empresas y/o Administraciones (nacionales y/o internacionales)

Título del contrato/proyecto:Apoyo al diseño y aplicación de nuevas tecnologías informáticas.

Tipo de contrato:Convenio

Empresa/Administración financiadora:Cámara de Comercio de A Coruña

Entidades participantes:

Duración, desde: 1997	hasta: Se renueva año a año. En vigor

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 2

PRECIO TOTAL DEL PROYECTO: 3000 Euros anuales

Título del contrato/proyecto:Creación y mantenimiento de aplicaciones educativas para la Red Educativa del Ayuntamiento de La Coruña

Tipo de contrato:Convenio con La Universidad

Empresa/Administración financiadora:Ayuntamiento de La Coruña

Entidades participantes:

Duración, desde: 1999	hasta: 2002

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 5

PRECIO TOTAL DEL PROYECTO: 7.500.000 Pts

Título del contrato/proyecto:: Proyecto de Informatización Educativa

Tipo de contrato:Convenio con La Universidad

Empresa/Administración financiadora:Ayuntamiento de La Coruña

Entidades participantes:

Duración, desde: 7-1998	hasta: 10-1998

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 5

PRECIO TOTAL DEL PROYECTO: 5.000.000 Pts

Título del contrato/proyecto:Elaboración y puesta en funcionamiento de un sistema provincial de información 2

Tipo de contrato:Convenio con La Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 10-09-98	hasta: 10-09-99

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 6

PRECIO TOTAL DEL PROYECTO: 6.500.000 Pts

Título del contrato/proyecto:Elaboración y puesta en funcionamiento de un sistema provincial de información 1

Tipo de contrato:Convenio con La Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 10/08/97	hasta: 10-8-98

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 6

PRECIO TOTAL DEL PROYECTO: 6.500.000

Título del contrato/proyecto:Plan de Formacion Agrupado 1996

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/04/1996	hasta: 01/11/1996

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 8

PRECIO TOTAL DEL PROYECTO: 7.700.000 Pts.

Título del contrato/proyecto:Sistema Curricular

Tipo de contrato:Encargo de la Universidad de A Coruña

Empresa/Administración financiadora:Universidad de La Coruña

Entidades participantes:

Duración, desde: 01/04/1996	hasta: 01/09/1965

Investigador responsable: José Luis Freire Nistal y J. M. Barja Pérez

Número de investigadores participantes: 4

PRECIO TOTAL DEL PROYECTO: 1.800.000 Pts

Título del contrato/proyecto:Central de Gestión de Planes

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/09/1995	hasta: 31/12/1995

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 10

PRECIO TOTAL DEL PROYECTO: 1.800.000 Pts.

Título del contrato/proyecto:Sistema de Informacion Contable y Presupuestaria

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:FADESA

Entidades participantes:

Duración, desde: 01/08/1995	hasta: 01/10/1996

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 5

PRECIO TOTAL DEL PROYECTO: 3.400.000 Pts

Título del contrato/proyecto:Reingeniería del Sistema GIALIX a Cliente/Servidor

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/06/1995	hasta: 31/12/1996

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 15

PRECIO TOTAL DEL PROYECTO: 4.646.400 Pts

Título del contrato/proyecto:Conversion de los módulos de edicion de Informes y procesos diferidos del sistema GIALIX.Este proyecto y el anterior han dado origen al proyecto AGORA que es el que se ha entregado y está instalado y funcionando

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/06/1995	hasta: 31/12/1996

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 15

PRECIO TOTAL DEL PROYECTO: 9.872.400 Pts

Título del contrato/proyecto:Comunicaciones con el MAP (Misnisterio de Administraciones Públicas)

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/09/1994	hasta: 01/09/1995

Investigador responsable: José Luis Freire Nistal

Número de investigadores participantes: 4

PRECIO TOTAL DEL PROYECTO: 1.575.000 Pts.

Título del contrato/proyecto:Aplicacion de Apoyo a los Ayuntamientos

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/08/1994	hasta: 01/08/1995

Investigador responsable: J. L. Freire Nistal

Número de investigadores participantes: 10

PRECIO TOTAL DEL PROYECTO: 2.501.000 Pts.

Título del contrato/proyecto:Punto de Informacion y Consulta

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:FADESA

Entidades participantes:

Duración, desde: 01/08/1995	hasta: 01/10/1995

Investigador responsable:

Número de investigadores participantes: 5

PRECIO TOTAL DEL PROYECTO: 650.000 Pts

Título del contrato/proyecto:Desarrollo y Acoplamiento de Presupuestos en Vias y Obras

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 01/08/1994	hasta: 01/08/1995

Investigador responsable: José Luis Freire Nistal

Número de investigadores participantes: 10

PRECIO TOTAL DEL PROYECTO: 4.165.000 Pts.

Título del contrato/proyecto:: Apoyo al diseño y desarrollo de aplicaciones de gestión integral para la administración local

Tipo de contrato:Convenio con la Universidad

Empresa/Administración financiadora:Diputación de La Coruña

Entidades participantes:

Duración, desde: 21/11/1994	hasta: 21/11/1995

Investigador responsable: José Luis Freire Nistal

Número de investigadores participantes: 11

PRECIO TOTAL DEL PROYECTO: 8.004.000 Pts.

Patentes y Modelos de utilidad

Inventores (p.o. de firma): V. M. Gulías y José L. Freire

Título: Arquitectura en Cluster para servicio de Streaming on demand

N. de solicitud: P200302837	País de prioridad:	Fecha de prioridad: 3/12/2003

Entidad titular: Universidad de A Coruña

Países a los que se ha extendido:

Empresa/s que la están explotando: R Cable Comunicaciones de Galicia

Estancias en Centros extranjeros

(estancias continuadas superiores a un mes)

CLAVE: D = doctorado, P = postdoctoral, I = invitado, C = contratado, O = otras (especificar).

Centro: Universidad de Linz (I. System Theory and Simulation)

Localidad: Linz	País Austria	Fecha: 1-10-2000 (Fall Term)	Duración (semanas): 4,5

Tema: Profesor Invitado a impartir la asignatura Functional Programming en la Ingeniería Informática

Clave: I

Centro: Universidad de Linz (I. System Theory and Simulation)

Localidad: Linz	País Austria	Fecha: 30-3-2003 (Summer Term)	Duración (semanas): 4,5

Tema: Profesor Invitado a impartir la asignatura Formal Methods de la Ingenería Informática

Clave: I

Contribuciones a Congresos

Autores: G. Pérez Vega, J. M. Molinelli, J. L. Freire.

Título: Certificación de la Forma Normal de la Reducción de Polinomios.

Tipo de participación: Ponencia

Congreso: CLEI'05.

Publicación: Proceedings

Lugar celebración: Cali, Colombia	Fecha: Octubre 2005

Autores: J. L. Freire

Título: Categories and Types: some Links

Tipo de participación: Conferencia plenaria invitada

Congreso: SECA III

Publicación:

Lugar celebración: Santiago de Compostela	Fecha: Setiembre 2005

Autores: J. L. Freire

Título: Foundations of Formal Verification of Distributed Software

Tipo de participación: Conferencia plenaria invitada

Congreso: Eurocast'03 (9th International Workshop on Computer Aided Systems Theory)

Publicación:

Lugar celebración: Las palmas de Gran Canaria	Fecha: Febrero 2003

Autores: J. L. Freire, A. Blanco, V. Gulías, E. Freire

Título: The Reduction Lemma in Coq

Tipo de participación: Ponencia

Congreso: Eurocast'03 (9th International Workshop on Computer Aided Systems Theory)

Publicación: Univ. Las Palmas de Gran Canaria

Lugar celebración: Las Palmas	Fecha: 2003

_______________________________________________________________________________________________________

Autores: Carlos Abade, V.M. Gulías, José L. Freire, J. Sánchez

Título: A Cluster-Based Payment Gateway System Developed Using a Distributed Functional Language

Tipo de participación: Ponencia

Congreso: : First Eurasian Conference on Advances in Information and Comunication Tecnology. Workshop on Formal Modeling on Intelligent Peripheral Systems (Eurasia ICT 2002)

Publicación: Proceedings. Ed. Austrian C. S. Society

Lugar celebración: Shiraz, Irán	Fecha: 2002

Autores: Juan J. Sánchez, Miguel Barreiro, Víctor M. Gulías, José L.Freire

Título: Exploiting Sequential Libraries on a Cluster of Computers

Tipo de participación: Ponencia

Congreso: Erlang Workshop at the Principles, Logics, and Implementations of high-level programming languages (Erlang Workshop at PLI2001 ACM).

Publicación: Proceedings (http://www.erlang.se/workshop/2001

Lugar celebración: Estockholm	Fecha: 2001

Autores: Miguel Barreiro, Víctor M. Gulías, José L. Freire, Javier Mosquera, Juan J. Sánchez

Título: An Erlang-based Hierarchical Distributed VoD System

Tipo de participación: Ponencia

Congreso: Seventh International Erlang/OTP User Conference (EUC2001)

Publicación: Proceedings. Ed. Ericsson Utvecklings AB

Lugar celebración: Stockholm, Sweden	Fecha: 2001

Autores: J. Santiago Jorge, José L. Freire

Título: Prove and then Execute.

Tipo de participación: Ponencia

Congreso: Álgebra Computacional y Aplicaciones. 2001

Publicación: Proceedings (Ed. J. Rubio. Univ. Rioja), and also a resume in ACM Sigsam Bulletin, vol 35, pag 34, December 2001, issue 138

Lugar celebración: Jaca	Fecha: 2001

Autores: Juan J. Sánchez, Miguel Barreiro, Víctor M. Gulías, José L. Freire, Javier Mosquera

Título: Functional Scheduling in a Distributed VoD Server

Tipo de participación: Ponencia

Congreso: 13th International Workshop on the Implementation of Functional Languages ((IFL2001)

Publicación: Proceedings. Eds:Ed. Thomas Arts and Markus Mohnemhttp://www.ericsson.com/cslab/ifl2001

Lugar celebración: Stockholm, Sweden	Fecha: 2001

Autores: José L. Freire, J. E. Freire, A. Blanco, J. J. Sánchez Penas

Título: Fusion and Deforestation in Coq

Tipo de participación: Ponencia

Congreso: Eurocast'01 (8th International Workshop on Computer Aided Systems Theory)

Publicación: Extended Abstracts. Universidad de Las Palmas

Lugar celebración: Las Palmas	Fecha: 2001

Autores: Miguel Barreiro Paz, Victor M. Gulias Fernandez, Juan Jose Quintela Carreira

Título: Experiencias con un Cluster Beowulf

Tipo de participación: Ponencia

Congreso: Simposio Español de Informática Distribuida

Publicación: Actas: Universidad de Santiago

Lugar celebración: Santiago de Compostela	Fecha: 1999

Autores: V. Gulías, J. J. Quintela, J. L. Freire Nistal

Título: Transport Primitives for Functional Agents

Tipo de participación: Ponencia

Congreso: APPIA-GULP-PRODE'97

Publicación: Proceedings. University of Udine

Lugar celebración: Italy	Fecha: 1996

Autores: V. Gulías, J. J. Quintela, J. L. Freire Nistal

Título: Distributed Computing using Objective Caml

Tipo de participación: Ponencia

Congreso: 8th Intern. Workshop on Implementation of Functional Languages IFL'96

Publicación: Proceedings. Institute of Computer Science. Kiel

Lugar celebración: Kiel. Germany	Fecha: 1996

Autores: J. L. Freire Nistal, V. Gulías, X. López

Título: Expetiencia en la integracion entre Gestores relacionales y Lenguajes Funcionales

Tipo de participación: Ponencia

Congreso: Jornadas de Investigacion y Docencia en Bases de Datos

Publicación: Proceedings. Universidad de A Coruña

Lugar celebración: A Coruña	Fecha: 1996

Autores: J. L. Freire Nistal, B. Fraguela, V. Gulías

Título: Extending CAML Light to perform distributed computation

Tipo de participación: Ponencia

Congreso: APPIA-GULP-PRODE'95

Publicación: Proceedings. University of Salerno

Lugar celebración: Marina de Vietry (Italy)	Fecha: 1995

Autores: . L. Freire Nistal, V. Gulías, J. Molinelli

Título: : Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos

Tipo de participación: Ponencia

Congreso: APPIA-GULP-PRODE'94

Publicación: Proceedings. Universidad Politécnica de Valencia

Lugar celebración: Valencia	Fecha: 1994

Autores: L. Cachafeiro, José Luis Freire Nistal

Título: Implementacion de un nuevo metodo de Unificacion Ecuacional

Tipo de participación: Ponencia

Congreso: PRODE'93

Publicación: Actas CSIC

Lugar celebración: Blanes	Fecha: 1993

Autores: Jose Luis Freire Nistal

Título: Aspects of Computer Science

Tipo de participación: Conferencia Invitada

Congreso: XI Conferencia Internacional de la Sociedad Chilena de Ciencia de La Computación

Publicación:

Lugar celebración: Santiago de Chile	Fecha: 1991

Autores: Jose Luis Freire Nistal

Título: the Kleisli Functors and Functional Completeness

Tipo de participación: Ponencia

Congreso: International Congress on Algebraic Logic

Publicación: Abstracts. Janos Bolyay Institut

Lugar celebración: Budapest (Hungary)	Fecha: 1988

Autores: J. L. Freire Nistal, Rosa M. Fernández Rodríguez

Título: Sobre la Parte Afín de la Doble Potencia en un Topos

Tipo de participación: Ponencia

Congreso: VII Congreso do Grupo de Matemáticos de Expresión Latina

Publicación: Proceedings. Univ. Coimbra

Lugar celebración: Coimbra. Portugal	Fecha: 1985

Autores: Rosa Mª Fernández Rodríguez , J. L. Freire Nistal

Título: La Teoría Algebraica de los Retículos completamente Distribuidos

Tipo de participación: Ponencia

Congreso: X Jornadas Hispano-Lusas de Matemáticas

Publicación: Actas. Univ. de Murcia

Lugar celebración: Murcia	Fecha: 1985

Autores: J. L. Freire Nistal

Título: Generalización Algebraica de un resultado de Dinámica Topológica

Tipo de participación: Ponencia

Congreso: VII Jornadas Luso Españolas

Publicación: Actas. Universidade de Coimbra

Lugar celebración: Coimbra. Portugal	Fecha: 1981

Tesis Doctorales dirigidas

Título: Aplicacións do procesamento da linguaxe natural na recuperación da información en españolAplicaciones del procesamiento del lenguaje natural en la recuperación de la información en español

Doctorando: Vilares Ferro, Jesús

Universidad: A Coruña

Facultad / Escuela:Facultad de Informática (TESIS EUROPEA)

Fecha: 20/05/2005

---------------------------------------------------------------------------------------------------------------------------------------

Título: Estudio de la verificación de propiedades de programas funcionales: de las pruebas manuales al uso de asistentes de pruebas

Doctorando: Jorge Castro, Jose Santiago

Universidad: A Coruña

Facultad / Escuela:Facultad de Informática

Fecha: 2004

Título: Funciones de orden superior en programación funcional. Una perspectiva categórica

Doctorando: Freire Brañas, Jose Enrique

Universidad: A Coruña

Facultad / Escuela:Facultad de Informática

Fecha: 2004

Título: DFL, Computación Funcional Distribuida

Doctorando: Gulías Fernández, Víctor Manuel

Universidad: A Coruña

Facultad / Escuela:Facultad de Informática

Fecha: 2000

Título: Algoritmos de Unificación en Teorías Generales

Doctorando: Luis Cachafeiro Chamosa

Universidad: A Coruña

Facultad / Escuela:Facultad de Informática

Fecha: 1994

Título: Construcción de Algebras en Computación

Doctorando: Felicidad Aguado Martín

Universidad: A Coruña

Facultad / Escuela:Facultad de Informática

Fecha: 1992

Participación en comités y representaciones internacionales

Título del Comité: COMITÉ DE PROGRAMA DE JFLA’95 Congreso Internacional sobre Lenguajes Aplicativos

Entidad de la que depende: Institut Nationale de la Recherche Informatique et Automatique. CNRS

Tema: Programación Funcional

Fecha: 1995

Título del Comité: COMITÉ DE PROGRAMA DE SEKE’97. Congreso Internacional sobre Ingeniería del Software e Ingeniería del Conocimiento.

Entidad de la que depende: Engineering and Knowledge Engineering Institut

Tema: Software Engineering

Fecha: 1997

Título del Comité: COMITÉ DE PROGRAMA DE APPIA-GULP-PRODE’97. Congreso Internacional sobre Programación Declarativa..

Entidad de la que depende: :GULP (Grupo di Programaccione Logica (ITALY)), APPIA (Asociación Portuguesa para la Inteligencia Artificial (PORTUGAL)) y PRODE (Grupo de programación declarativa (Spain))

Tema: Programación Funcional

Fecha: 1997

Título del Comité: CHAIRMAN DE APPIA-GULP-PRODE’98

Entidad de la que depende: :GULP (Grupo di Programaccione Logica (ITALY)), APPIA (Asociación Portuguesa para la Inteligencia Artificial (PORTUGAL)) y PRODE (Grupo de programación declarativa (Spain))

Tema: Programación Funcional

Fecha: 1998

Título del Comité: Chairman y organizador del Workshop Internacional: Lambda Calculo y Programación Funcional, como parte del EUROCAST'01

Entidad de la que depende: Eurocast. University of Linz (Austria)

Tema: Computer Aided Systems Theory

Fecha: 2001

Título del Comité: Chairman y organizador del Workshop internacional Parte del Eurocast'03

Entidad de la que depende: Eurocast. University of Linz (Austria)

Tema: Computer Aided Systems Theory

Fecha: 2003

Título del Comité: Chairman y organizador del Workshop internacional Inteligent Inofrmation Systems. Parte del Eurocast'05

Entidad de la que depende: Eurocast. University of Linz (Austria)

Tema: Computer Aided Systems Theory

Fecha: 2005

Experiencia en organización de actividades de I+D

Organización de congresos, seminarios, jornadas, etc., científicos-tecnológicos

Título:Eurocast'05

Tipo de actividad: Presidente y Organizador de un Wokshop	Ambito: Internacional

Fecha: 2005

Título:Eurocast'03

Tipo de actividad: Presidente y Organizador de un Wokshop	Ambito: Internacional

Fecha: 2003

F Título:Eurocast'01

Tipo de actividad: Presidente y Organizador de un Wokshop	Ambito: Internacional

Fecha: 2001

Título:JFLA’95 (Journées Francophones del Languages Applicatives) INRIA

Tipo de actividad: Miembro del Comité de Programa	Ambito: Internacional

Fecha: 1995

Título:SEKE’97. Congreso Internacional sobre Ingeniería del Software e Ingeniería del Conocimiento.

Tipo de actividad: Miembro del COMITÉ DE PROGRAMA	Ambito: Internacional

Fecha: 1997

F Título:APPIA-GULP-PRODE’97. Congreso Internacional sobre Programación Declarativa.

Tipo de actividad: Miembro del COMITÉ DE PROGRAMA	Ambito: Internacional

Fecha: 1997

Título:APPIA-GULP-PRODE’98. Congreso Internacional sobre Programación Declarativa..

Tipo de actividad: Organizador y Chairman	Ambito: Internacional

Fecha: 1998

Experiencia de gestión de I+D

Gestión de programas, planes y acciones de I+D

Título: Miembro de la Comisión de Selección de Política Científica de la Xunta de Galicia

Tipo de actividad: Directrices y gestión de los programas de I+D de la Comunidad Autónoma

Fecha: Octubre de 1990 (DOG 19/10/1990 ) hasta 1994

Otros méritos o aclaraciones que se desee hacer constar

(utilice únicamente el espacio equivalente a una página).

Miembro de Association for Computer Machinery (ACM) desde 1986

Miembro de IEEE desde 1993

Profesor invitado de la Johannes Keppler Universitat de Linz (Austria) en el Fall-term de 2000 y el Summer-term de 2003.

Organizador de varios ciclos de conferencias con profesornes prestigiosos de Universidades y Centros de Investigación como por ejemplo: Gonzalo Reyes, W. Lawvere,E. Manes (1988), Pierre L. Curien (1990), F. Orejas, M. Mauny (1995), Benjamin Werner (1995), Franz Pichler, Roberto Moreno (2001) o César Muñoz (1994)

Representante de la Universidad de La Coruña en la Comisión Técnica de Informática de la Comunidad Autónoma de Galicia (DOG 08/10/1990)

Representante de la Facultad de Matemáticas en la Comisión de Publicaciones de la Universidad de Santiago de Compostela durante los cursos 1985-86, 1986-87 y 1987-88

Subdirector del Colegio Universitario de Lugo durante los cursos 1974-75 y 1975-76

Siendo Catedrático de Instituto, en 1978, organizó el primer grupo que utilizó la informática en la enseñanza de las Matemáticas, merced a una ayuda de la Caja de Ahorros de Galicia.

Introductor (y primer profesor) de la asignatura Elementos de Informática en el plan de estudios de la Licenciatura de Matemáticas (Plan Antiguo)

Ha dirigido numerosos Proyectos de Fin de Carrera tanto de grado medio como de Ingeniería así como tesinas de Licenciatura

Ha sido invitado como conferenciante a varias universidades: Santiago de Compostela, Las Palmas, Granada, La Rioja, Murcia y Málaga.

Ha formado parte de numerosos tribunales de Tesis tanto en España como en Francia.

Ha sido Decano de la Facultad de Matemáticas de la Universidad de Santiago.

Director y Fundador de la Escuela Universitaria de Informática de la Coruña de 1986 a 1988

Decano y Fundador de la Facultad de Informática de la Universidad de la Coruña desde su creación en 1990 hasta el 2000.

Director del Departamento de Computación desde el 2000 hasta la actualidad.

Evaluación Positiva de la Investigación por la ANEP (Tramos de investigación)

Tiene experiencia evaluadora da la Calidad (Universidad Carlos Tercero de Madrid y Universidad de Málaga)

Ha sido introductor en España de la programación funcional habiendo organizado, con la colaboración de la Asociación Hispano-Francesa de Cooperación Técnica y Científica, la primera reunión sobre el tema: Seminario Hispano-Francés de Programación Funcional y Categorías, celebrado en Santiago de Compostela en 1988.

Ha puesto en marcha y dirige el grupo de investigación LFCIA (Laboratorio de Fundamentos de Programación e Inteligencia Artificial): URL: http://www.dc.fi.udc.es/lfcia/ o bien http://www.lfcia.org/

Miembro de grupo departamental de calidade (128) Agosto 2005.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Nota: Si necesita más casos, añádalos utilizando las funciones de copiar y pegar con el 2º caso.

Solicitud de Ayuda para Proyectos de

SRU2

2005-02-01T11:08:00