Sistema logikoak eta beraien aplikazioa Informatikan

Programen espezifikazio, transformazio eta egiaztapena

Murrizketen ebazgarritasuna

Arrazoitze automatikoa

Ikaste automatikoa

Programazio funtzionala

Programazio logikoa

Grafoen transformazioa

Datu-baseen teoria