André Gustavo Andrade...
Interesses
Home

Ensino

Publicações

Pesquisa

Atividades Acadêmicas
 
...
Atividades Acadêmicas:
Softwares e Simpósios

Iniciação Científica:
Projeto:PiG - Pi-Calculus Gráfico
Orientador: Ana Cristina Vieira de Melo
Bolsa: CNPq
Período: Jan 2002 - Jul 2002
.

Software Acadêmico: TCB-MUD
Desenvolvedores: André Gustavo Andrade eJulio Cesar Avero
Disciplina: Sistema de Objetos Distribuídos
Tópicos: Java, CORBA
.

Software Acadêmico: Xadrez Distribuído
Desenvolvedores: André Gustavo Andrade e Rodrigo Moreira Barbosa
Disciplina: Tópicos Avançados de Orientação a Objetos
Tópicos: Padrões, Java, CORBA
.

10 SIICUSP - Simposio Internacional de Iniciação Científica da USP:
Trabalho: PiG - Pi-Calculus Gráfico
.
Trabalho de Conclusão de Curso:
Título: PiG - Pi-Calculus Gráfico
Orientador: Ana Cristina Vieira de Melo
Professor: Carlos Eduardo Ferreira
.
Iniciação Científica:
Projeto:PiG - Pi-Calculus Gráfico (Continuação)
Orientador: Ana Cristina Vieira de Melo
Bolsa: CNPq
Período: Ago 2002 - Jan 2003
.

Software Acadêmico: DryVTUBAINA
Desenvolvedores: André Gustavo Andrade
Tópicos: Java, C, Interfaces Gráficas
.

Software Acadêmico: Diagnosticador utilizando Reiter e SAT
Desenvolvedores: André Gustavo Andrade
Disciplina: Laboratório de Inteligência Artificial
Tópicos: SAT, Java, IA
.
Software Acadêmico: Planejador Heurístico
Desenvolvedores: André Gustavo Andrade e Thiago Schumacher Barcelos
Disciplina: Laboratório de Inteligência Artificial
Tópicos: Planejadores, C, IA
.
Software Acadêmico: Verificador formal para CCS
Desenvolvedor: André Gustavo Andrade
Disciplina: Introdução a Verificação de Programas
Tópicos: Java, CCS
.
17 Simpósio de Iniciação Científica do IME-USP
Trabalho: PiG - Pi-Calculus Gráfico
.
Disciplias da Pós Graduação
MAC5711 - Análise de Algoritmos
MAC5732 - Introdução à Verificação de Programas
MAC5789 - Laboratório de Inteligência Artificial
MAC5729 - Revisão de Crenças
MAC5737 - Programação Declarativa
GEN5711 - Introdução ao Ensino da Graduação
.
Palestras Ministradas
  Trabalho de Conclusão de Curso:
Título: PiG - Pi-Calculus Gráfico
Orientador: Ana Cristina Vieira de Melo
Professor: Carlos Eduardo Ferreira
Data: 4/12/2002
Local: IME-USP
.
Palestra: Reações Químicas em Química das Radiações
Data: 29/11/2002
Local: IPEN
.
10 SIICUSP - Simposio Internacional de Iniciação Científica da USP:
Trabalho: PiG - Pi-Calculus Gráfico
Data: 2002
Local: São Carlos
.
17 Colóquio de Iniciação Científica do IME-USP:
Trabalho: PiG - Pi-Calculus Gráfico
Data: 2003
Local: IME-USP
.

Poster: WMF (Workshop on Formal Methods) 2003 :
Trabalho: DryVTubaina - Integração de Especificação e Verificação formal
Data: 2003
Local: Campina Grande
.
Palestra: Analisadores Léxicos e Sintáticos
Data: 4/4/2002
Local: IME-USP
.
Palestra: Padrões Educacionais
Data:2003
Local:IME-USP
.
Palestra: Modelo BDI (Believe-Desire-Intention) no raciocínio sobre conhecimento
Data:19/11/2003
Local:IME-USP
.
Palestras Assistidas
WCSF2002 (Workshop de Comunicação sem fio e Comunicação Móvel)
Data: 23/10/2002 - 25/10/2002
Local: IME-USP
.
JustJava 2003
Data: 2003 - 2003
Local: Centro de Convenções do Shopping Frei Caneca
.

Grupo de Combinatória: Semi-definite programming and it´s application to graph coloring
Ministrante: Bruce Reed
Data: 20/02/2003
.
LIAMF: Reasoning about knowledge and belief in the situation calculus - Lecture 4 of Minicourse: Cognitive Robotics
Ministrante: Maurice Pagnucco (Artificial Intelligence Laboratory, School of Computer Science and Engineering, University of New South Wales, AUSTRALIA)
Data: 17/02/2004
.
Sistemas de esferas não totalmente ordenados
Data: 5/11/2003
Local: IME-USP
.

Colocando os operadores AGM dentro da lógica
Data: 5/11/2003
Local: IME-USP
.

Revisão de Crenças Seletiva
Data: 10/11/2003
Local: IME-USP
.
Semi-revisão de Crenças
Data: 10/11/2003
Local: IME-USP
.
BDI em diálogos
Data: 19/11/2003
Local:IME-USP
.
Lógica para crenças explícitas e implícitas
Data: 24/11/2003
Local: IME-USP
.
Raciocínio Local
Data: 24/11/2003
Local: IME-USP
.
Programas baseados em conhecimento
Data:26/11/2003
Local: IME-USP
.
Provador de teoremas para lógica de conhecimento
Data: 26/11/2003
Local: IME-USP
.