Sistemas Lógicos y su aplicación a la informática

Especificación, transformación y verificación de programas

Satisfación de restricciones

Razonamiento automático

Aprendizaje automático

Programación funcional

Programación lógica

Transformación de grafos

Teoría de bases de datos