Puesto: Colaborador de investigación

Tel.: +34-91-352.16.92

Fax: +34-91-352.48.19

Email: liraola@opera.dia.fi.upm.es

Dirección:

Departamento de Inteligencia Artificial

Facultad de Informática

Universidad Politécnica de Madrid

28660-Boadilla del Monte, MADRID

SPAIN

Formación

Licenciado en Filosofía por la Universidad Complutense de Madrid, Junio 1986. 
Doctor en Filosofía por el Departamento de Lógica y Filosofía de la Universidad Complutense de Madrid, Diciembre 1993.

Responsabilidades Actuales

Desde Marzo del 97 pertenezco al Grupo de Validación y Aplicaciones Industriales (VAI) como colaborador de investigación. Mi trabajo en el VAI se centra en el proyecto UNL (Universal Networking Language) como investigador responsable de los sub-sistemas Diccionario y Analizador del proyecto.

Experiencia Profesional

Profesor, 1990.

Institución: Universidad Complutense de Madrid Comentarios: En los estudios de Especialista en Inteligencia Artificial ofertados por la Universidad Complutense, he impartido los cursos de Introducción a PROLOG y Diseño de Sistemas and Expertos utilizando PROLOG.

Programador, 1990-1991.

Companía: TransTOOLS S.A. Comentarios: Mis actividades se centraron en dos proyectos de investigación financiados por la Comisión Europea en el  prohgrama ESPRIT II: proyectos: EWS (EuroWorkStation) and GPMIND.

Profesor Ayudante, 1991-1996.

Institución: Universidad Complutense de Madrid Comentarios: Como profesor asistente he impartido clases prácticas en las materias de Lógica e Inteligencia Artificial. Adicionalmente, he impartido el seminario “Introducción a la Programación Lógica” dirigido a estudiantes de Filosofía, Psicología e Informática.

Colaboración en varios proyectos de investigación nacionales e internacionales

Conersión retrospéctiva de tarjetas bibliográficas del formato LIBERTAS-MARC para la Universidad Complutense de Madrid. Desarrollo de un sistema de catalogación documental par ala Fundación Universidad-Empresa. Coversión retrospectiva del catálogo de registros fonográficos de la Biblioteca Biblioteca Nacional. BiblioTECA: Análisis Composicional de Textos Bibliográficos. Proyecto financiado por la Unión Europea con el Programa de Librerías.

Estancias en las siguientes universidades

Profesor visitante del departamento de Filosofía de la Universidad Autónoma de Barcelona. 1995.. Profesor Ayudante Adjunto del Laboratorio de Programación Lógica, Bases de Datos y Programación Avanzada de la Universidad del Estado de Nuevo México (USA). 1996. Profesor del Departamento de Filosofía de la Universidad del Estado de Nuevo México (USA). 1996.