Pedro Meseguer González

Investigador científico del CSIC en el Instituto de Investigación en Inteligencia Artificial, donde es jefe del Departamento de Lógica. Sus principales temas de investigación son el razonamiento con restricciones (con especial atención a la versión distribuida) y la búsqueda heurística.