Português 
English 
PhD in Computer Science (PUC-Rio), master's degree in Mathematical Modelling (EMAp/FGV), and bachelor's degree in Economic Sciences (EPGE). Currently researches logic applications in the area of computing and has already made contributions in the area of natural language processing, having developed a computational grammar for Portuguese and collaborated in the maintenance of some of the most important linguistic databases in Portuguese during his time at IBM Research. At EPGE, he teaches disciplines related to the area of computing.