D.Sc. em Informática (Teoria da Computação)
Departamento de Ciência da Computação
Lógica, Teoria da Computação, Redes de Petri, Lógica Probabilística, Lógica Dinâmica, Métodos Formais
