Ph.D. in Informatics
by Pontifical Catholic University of Rio de Janeiro
Concentration Area: Foundations, Modeling and Automation of Reasoning
Conclusion: October 1995
M.Sc. in Informatics
by Pontifical Catholic University of Rio de Janeiro
Concentration Area: Logic and Automation of Reasoning
Conclusion: September 1988
Bachelor in Mathematics
by Federal Fluminense University
Conclusion: January 1983