Áreas de interés

 

  • 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