Anjolina Grisi de Oliveira
Meu doutorado
Fiz meu doutorado em Ciência da Computação no
Centro de Informática
- UFPE, na área de
Teoria da Computação
, mais especificamente, na subárea Lógica e Computação.
Orientação: professor
Ruy J. G. B. de Queiroz
.
Tese:
Proofs from a Geometric Perspective
.
Defesa em fevereiro de 2001.