• Bachelor in Mathematics at Instituto de Geociências e Ciências Exatas (IGCE) of Universidade Estadual Paulista (UNESP) at Rio Claro, completed in June of 1993.
  

• M.Sc. in Computer Science at MAC-IME-USP, completed in July of 1997.
  • Title of my dissertation: Uma introdução técnica relativa às provas robustas checáveis probabilisticamente (A technical introduction related to the probabilistically checkable proofs), with copy in (PCP.pdf).
  • My advisor was Prof. Ricardo Bianconi.
  • I was also co-oriented by Prof. José Augusto Ramos Soares and Prof. Yoshiharu Kohayakawa.
  • The study is in the area of Theory of Complexity over Probabilistic Algorithms.
  
  
• Ph.D. in Mathematics at MAT-IME-USP, completed in March of 2003.
  • Title of my thesis: Imposição de indemonstrabilidades e independências em Complexidade Computacional (Imposing unprovabilities and independences in Computational Complexity), with copy in (tPABas.pdf).
  • My advisor was Prof. Ricardo Bianconi.
  • Prof. Jacob Zimbarg Sobrinho is my guide.
  • This study is in the area of Bounded Peano Arithmetic and Characterization of Computational Complexity Classes.
  
  

You are the first one which visits this site...