Departamento de Sistemas Informáticos y Computación.

Universidad Politécnica de Valencia.

Camino de Vera s/n,

46071, Valencia, España

Tef. +34 963877000, Ext. 83528

Fax. +34 963877359

Email: msalido@dsic.upv.es

Departamento de Ciencias de la Computación e Inteligencia Artificial.

Escuela Politécnica Superior, Universidad de Alicante.

Carretera San Vicente del Raspeig s/n,

03690, Alicante, España

Tef. +34 96 590 3400, Ext. 2990

Fax. +34 96 590 3902

Email: masalido@dccia.ua.es

 Docencia: Profesor ayudante doctor (LOU) in la Universidad de Alicante

bullet

Lógica Computacional (Ingeniería en Informática) DCCIA/UA

bullet

Informática II (Licenciatura en Matemáticas) DCCIA/UA

bullet

Fundamentos de Programación (Ingeniería en Informática) DCCIA/UA

bullet

Informática para Juristas (Licenciatura en Derecho) DCCIA/UA

bullet

Modelos y Técnicas para Problemas de Satisfacción de Restricciones (Doctorado en Informática) DCCIA/UA

Investigación:

bullet

Principales áreas: Problemas de Satisfacción de Restricciones (CSPs), Scheduling, CSPs no binarios, restringibilidad, CSPs Distribuidos

bullet

Algunas publicaciones del grupo.  Algunos Proyectos de Investigación

Premios:

bullet

Award for One of the Best Papers (December, 2002). "A Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs." M. A. Salido, F. Barber. 22nd SGAI International Conference on Knowledge-Based Systems and Applied Artificial Intelligence. British Computer Society, UK.

bullet

Premio a la mejor Aplicación de Inteligencia Artificial (Noviembre, 2003). "An Interactive Train Scheduling Tool for Solving and Plotting Running Maps" F.Barber; M. A. Salido; L. Ingolotti; M. Abril; A. Lova; P. Tormos. Mejor artículo de Transferencia de Tecnología en la X Conf. de la Asociación Española de IA, V Jornadas de Transferencia Tecnológica de IA (CAEPIA-TTIA'03).

bullet

Premio Extraordinario de Tesis Doctoral (Junio, 2004). " Polyhedra: Un Modelo para la Resolución de Problemas de Satisfacción de Restricciones N-arias Mediante Hiper-poliedros" Doctorando: Miguel A. Salido. Director: Federico Barber. En el Programa de Premios Extraordinarios de Tesis Doctorales, Universidad Politécnica de Valencia.

 Otros:

bullet

Miembro del Grupo de Tecnología Informática e Inteligencia Artificial (GTI-IA) y del subgrupo Restricciones, Planning y Scheduling

bullet

Miembro del comité de Programa/referee: ES2002, AI2003, CAEPIA2003, PSRT03, AI2004, ECAI'04-workshop, IBERAMIA'04ECAI'04

bullet

Miembro de AAAIAEPIAPLANET, SGAI, RNPST, and ISIS

bullet

Editor de PSRT03 (AEPIA), ECAI'04-workshop, Planning and Scheduling (IOS Press)