português / english

Menu

Home Pagina inicial

Academic Works Academic works since 2003

Publications My publications

Links

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

Academic Works

2003

• Subjects
• Graduation Project

2004

2005

• Graduation report (first semester)
• Graduation report (second semester)
• Presentation at LIAMFSlides of a presentations showed at LIAMF
• Request for FAPESP's scholarship (portuguese)

2006

• First report for FAPESP February 2006
• Request for FAPESP's scholarship (portuguse)

2007

• First report of master's degree for FAPESP
• Qualification for master's degree