André Gustavo Andrade

Mestre em Ciência da Computação na área de engenharia de software pela Universidade de São Paulo(2007) e bacharel em Ciência da Computação pela mesma instituição(2002), atua profissionalmente nas áreas de consultoria e ensino, principalmente nas áreas de engenharia e arquitetura de software, linguagens de programação (java, C, C++, php e perl), mapeamento de processos e gerência/qualidade de desenvolvimento de software.
(Texto informado pelo autor)

Última atualização do currículo em 18/12/2009
Endereço para acessar este CV:
http://lattes.cnpq.br/9653431310841004
Dados pessoais
NomeAndré Gustavo Andrade
Nome em citações bibliográficasANDRADE, A. G.
SexoMasculino

Formação acadêmica/Titulação
2003 - 2007Mestrado em Ciências da Computação .
Universidade de São Paulo, USP, Brasil.
Título: Integração de Verificadores Formais para Agentes Moveis, Ano de Obtenção: 2007.
Orientador: Ana Cristina Vieira de Melo.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .
1999 - 2002Graduação em Bacharelado Em Ciência da Computação .
Universidade de São Paulo, USP, Brasil.
Título: PiG - Pi Calculus Gráfico.
Orientador: Ana Cristina Vieira Melo.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .
1996 - 1998Ensino Médio (2º grau) .
Colégio Marista Arquidiocesano de São Paulo.

Atuação profissional
Faculdades Integradas Módulo, FIM, Brasil.
Vínculo institucional
2008 - 2008 Vínculo: Professor, Enquadramento Funcional: Cooperado, Carga horária: 2
Atividades
02/2008 - 06/2008Ensino, Sistemas de Informação, Nível: Graduação.
Disciplinas ministradas
Design de Games I
Faculdades Associadas de São Paulo, FASP, Brasil.
Vínculo institucional
2007 - 2008 Vínculo: Celetista, Enquadramento Funcional: Professor
Atividades
07/2007 - 01/2008Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Linguagem de Programação II
Projetos de Sistemas II
Sistemas Operacionais I
07/2007 - 01/2008Ensino, Engenharia da Computação, Nível: Graduação.
Disciplinas ministradas
Paradigmas de Linguagem de Programação
Sistemas Operacionais
Tópicos Especiais em Engenharia de Software
01/2007 - 06/2007Ensino, Tecnologia em Informática, Nível: Graduação.
Disciplinas ministradas
Algoritmos I
01/2007 - 06/2007Ensino, Engenharia da Computação, Nível: Graduação.
Disciplinas ministradas
Algoritmos I
Algoritmos II
Paradigmas de Linguagens de Programação
Sistemas Operacionais
01/2007 - 06/2007Ensino, Engenharia Elétrica, Nível: Graduação.
Disciplinas ministradas
Algoritmos I
Algoritmos II
01/2007 - 06/2007Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais
Faculdade Impacta de Tecnologia, FIT, Brasil.
Vínculo institucional
2006 - 2007 Vínculo: Celetista, Enquadramento Funcional: Professor
Atividades
01/2007 - 06/2007Ensino, Desenvolvimento de Aplicações para Internet, Nível: Graduação.
Disciplinas ministradas
Fundamentos de Software
Projeto de Aplicações para Internet
01/2007 - 06/2007Ensino, Banco de Dados, Nível: Graduação.
Disciplinas ministradas
Fundamentos de Software
06/2006 - 12/2006Ensino, Desenvolvimento de Aplicações para Internet, Nível: Graduação.
Disciplinas ministradas
Programação Orientada a Objetos II
Lógica de Programação II
Linguagem de Programação I
Instituto de Matemática e Estatística, IME USP, Brasil.
Vínculo institucional
2003 - 2003 Vínculo: Colaborador, Enquadramento Funcional: Professor PAE
Atividades
06/2003 - 12/2003Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Engenharia de Software

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
5. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
6. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

Idiomas
Português Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.
Alemão Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   ANDRADE, A. G. . PiG - Pi-Calculus Gráfico. Ata do XVII Siicusp, São Paulo, 2003.
Livros publicados/organizados ou edições
1. ANDRADE, A. G. ; Khalil Salem Sugui . Educação - Contextos e Aplicações. São Paulo: Fiuza, 2005.
Capítulos de livros publicados
1. ANDRADE, A. G. ; Khalil Salem Sugui . Padrões Educacionais. In: Khalil Salem Sugui. (Org.). Educação e Aprendência - Uma proposta à luz de projetos e valores. São Paulo: Fiuza, 2006, v. , p. -.
Textos em jornais de notícias/revistas
1. ANDRADE, A. G. ; BARCELOS, Thiago . Uma visão geral do framework jBPM. Portal BPM, São Paulo, 01 dez. 2007.
2. ANDRADE, A. G. ; BARCELOS, Thiago . Metodologias para projetos BPMS. Portal BPM, São Paulo, p. 6 - 11, 13 set. 2007.
Trabalhos completos publicados em anais de congressos
1.   ANDRADE, A. G. ; MELO, Ana Cristina Vieira de ; AMORIM, Marcelo . Um ambiente para especificação e verificação de agentes móveis. In: Workshop on Formal Methods, 2003, Campina Grande, 2003.
2.   ANDRADE, A. G. . Um ambiente para Especificação e Verificação de Agentes Móveis. In: Workshop on Formal Methods, 2003, Campina Grande, 2003.
Produção técnica
Softwares sem registro de patente
1.   ANDRADE, A. G. . Hydra. 2007.
2. ANDRADE, A. G. . PiLib. 2006.
3. ANDRADE, A. G. ; BARCELOS, Thiago . Workflow para Aplicações Financeiras. 2006.
4.   ANDRADE, A. G. . PiG. 2002.
Demais tipos de produção técnica
1.
ANDRADE, A. G. . Curso Rápido de Java Básico. 2007. (Curso de curta duração ministrado/Outra).
2.
ANDRADE, A. G. . Curso Rápido de J2EE. 2007. (Curso de curta duração ministrado/Outra).
3.
ANDRADE, A. G. . Curso Rápido de Tópicos Avançados em Java. 2007. (Curso de curta duração ministrado/Outra).
4. ANDRADE, A. G. . Material para o Curso de Java Rápido. 2007. (Desenvolvimento de material didático ou instrucional - Multi-Mídia).
5. ANDRADE, A. G. . Material para o Curso de J2EE Rápido. 2007. (Desenvolvimento de material didático ou instrucional - Multi-Mídia).
6. ANDRADE, A. G. . Material para o Curso de Tópicos Avançados em Java Rápido. 2007. (Desenvolvimento de material didático ou instrucional - Multi-Mídia).

Eventos
Participação em eventos
1. Microsoft TechEd e PDC.Microsoft TechEd e PDC. 2004. (Congresso).
2. 10 SIICUSP.10 SIICUSP - Simposio Internacional de Iniciação Científica da Universidade de São Paulo. 2002. (Simpósio).
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 4:55:35