português / english

Menu

Home Pagina inicial

Trabalhos Acadêmicos Trabalhos realizados desde o comeco do ciclo avancado (2003)

Publicações Minhas publicacoes

Links

Currículo Lattes

Blog Link para o meu blog

USPUniversidade de Sao Paulo

CCMCurso de Ciencias Moleculares

IMEInstituto de Matematica e Estatistica da USP

Lógicas de Descriçãohttp://ww.dl.kr.org

LIAMFGrupo de Logica Inteligencia Artificial e Metodos Formais do IME

Profesor Flemingwww.hfleming.com

Renata WassermannHome Page da minha orientadora

Trabalhos Academicos

2003

• Materias do AvancadoMaterias que eu cursei no ciclo avancado
• Projeto de AvancadoProjeto do avancado submetido a comissao

2004

2005

• Relatorio CCM (primeiro semestre)
• Relatorio CCM (segundo semestre)
• Apresentacao no LIAMFSlides de uma apresentacao que eu fiz ao LIAMF
• Pedido de bolsa para FAPESPPedido de bolsa de iniciacao cientifica para FAPESP

2006

• Primeiro relatorio da FAPESP Relatorio para fapesp entregue em fevereiro de 2006
• Pedido de bolsa de mestrado FAPESP Pedido de bolsa de mestrado feito a FAPESP

2007

• Primeiro relatório de mestrado FAPESP
• Qualificação do mestrado