Investigador científico del CSIC en el Instituto de Investigación de Inteligencia Artificial, de dónde es el jefe del Departamento de Lógica y Razonamiento. Licenciado en Ciencias Físicas y en Informática, se doctoró en la Universidad Politécnica de Cataluña (UPC). Su tema de investigación principal es el razonamiento con restricciones, tema sobre el cual ha hecho numerosas publicaciones. Ha participado en varios proyectos de investigación y ha desarrollado tareas editoriales en revistas especializadas. Ha hecho tareas docentes, ha dirigido seis tesis doctorales y ha servido a la comunidad de IA. Es ECCAI fellow. Recientemente ha realizado diferentes actividades de divulgación alrededor de la IA (conferencias, talleres, un libro a la colección ¿Qué sabemos de?, un cómico).