Investigação focada sobretudo em aplicações da lógica matemática à ciência da computação, tal como reportado em mais de uma centena de publicações internacionais sobre especificação temporal, representação algébrica de conhecimento, instituições, fundamentos da orientação a objectos, combinação de lógicas e, mais recentemente, lógica probabilística, lógica quântica e computação quântica.