Ph.D. , Imperial College of Science Technology and Medicine 1991
Graduação
Lógicas Aplicadas à Computação, Lógicas Aplicadas à Inteligência Artificial: lógicas modais, lógicas dinâmicas e lógicas epistêmicas multi-agentes.