Home Pagina inicial
Academic Works Academic works since 2003
Publications My publications
Currículo Lattes
Blog Link for my blog
USPUniversity of São Paulo
CCMCourse of Molecular Science
IMEMathematics and Statistics Institute of USP
Description Logicshttp://ww.dl.kr.org
LIAMFGroup of Logic Artificial Inteligence and Formal Methods of IME
Professor Flemingwww.hfleming.com
Renata WassermannHome Page of my advisor