Education

• TU-Wien – Technische Universität Wien [Austria] (2007 - 2009)
  • Ph.D. in Logic
  • Thesis: A General Analysis of Cut-Elimination by CERes
  • Supervisor: Alexander Leitsch

• TU-Wien – Technische Universität Wien [Austria] (2006 - 2007)
  • M.Sc. in Computational Logic
  • 120 ECTS, part of them at TU-Dresden.
  • Thesis: Herbrand Sequent Extraction
  • Supervisor: Alexander Leitsch

• TU-Dresden – Technische Universität Dresden [Germany] (2005 - 2006)
  • M.Sc. in Computational Logic

• ITA – Technological Institute of Aeronautics [Brasil] (2004 - 2007)
  • M.Sc. in Computer Science
  • Thesis: Levenshtein Distance for Information Extraction in Databases and for Natural Language Processing
  • Supervisor: Carlos Henrique Costa Ribeiro

• ITA – Technological Institute of Aeronautics [Brasil] (2000 - 2004)
  • Diplom in Electronics Engineering
  • ~ 450 ECTS
  • Honors in the Departments of Mathematics, of Physics and of Systems and Control Engineering
  • Thesis: Sistema de Apoio à Decisao para o Gerenciamento de Rodovias
  • Supervisor: Cairo Lúcio Nascimento Jr