Currículo do Sistema de Currículos Lattes (Flavio Soares Correa da Silva)

Dados pessoais

Nome	Flavio Soares Correa da Silva
Nome em citações bibliográficas	CORREA DA SILVA, F. S.
Sexo	Masculino

Endereço profissional

Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Rua do Matão, 1010
Butantã
05508-090 - Sao Paulo, SP - Brasil
Telefone: (11) 30916135 Fax: (11) 30916134
URL da Homepage: http://www.ime.usp.br/~fcs

Formação acadêmica/Titulação

1999

Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Inteligência Artificial Simbólica - Fundamentos e Aplicações, Ano de obtenção: 1999.
Palavras-chave: inteligência artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.

1989 - 1992

Doutorado em Artificial Intelligence .
University Of Edinburgh.
Título: Automated Reasoning With Uncertainties, Ano de Obtenção: 1992.
Orientador: David Stuart Robertson e Jane Hesketh.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Dedução Automatizada; inteligência artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.

1985 - 1989

Mestrado em Engenharia de Transportes .
Escola Politécnica da Universidade de São Paulo, POLI/USP, Brasil.
Título: Ocupação volumétrica de contêineres, Ano de Obtenção: 1989.
Orientador: Antônio Galvão Novaes.
Palavras-chave: planejamento de transportes.
Grande área: Engenharias / Área: Engenharia de Transportes / Subárea: Planejamento de Transportes / Especialidade: Planejamento e Organização do Sistema de Transporte.

1980 - 1984

Graduação em Engenharia de Produção .
Universidade de São Paulo, USP, Brasil.

Formação complementar

2009 - 2009

Introdução a Formulação de Estratégias de eGOV. (Carga horária: 100h).
Organizacao dos Estados Americanos.

Atuação profissional

Empresa Brasileira de Aeronáutica, EMBRAER, Brasil.

Vínculo institucional

2003 - 2003

Vínculo: Outro, Enquadramento Funcional: , Carga horária: 0

Outras informações

Curso "Ontologias Artificiais", para o grupo de Engenharia Baseada em Conhecimento

Atividades

10/2003 - 11/2003	Treinamentos ministrados , Engenharia Baseada Em Conhecimento, Engenharia Baseada Em Conhecimento.
	Treinamentos ministrados Ontologias artificiais

Universidade Estadual do Ceará, UECE, Brasil.

Vínculo institucional

1997 - 1997

Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

1997 - 1997	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Aprendizagem Computacional

Universidad de Buenos Aires, UBA, Argentina.

Vínculo institucional

1993 - 1993

Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 0

Atividades

1993 - 1993	Extensão universitária .
	Atividade de extensão realizada Curso: Raciocínio Automatizado com Incertezas.

Universidade de São Paulo, USP, Brasil.

Vínculo institucional

1999 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: professor associado (MS-5), Regime: Dedicação exclusiva.

Vínculo institucional

1992 - 1999

Vínculo: servidor precário, Enquadramento Funcional: professor doutor MS3, Regime: Dedicação exclusiva.

Atividades

2009 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa TimeSaver MOBILE - processos musicais interativos Laboratório de Interoperabilidade

2008 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, .
	Projetos de pesquisa JamSession - a decentralized architecture for virtual worlds and the web 3.0

10/2007 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa Projeto Borboleta - Computação Móvel para Atendimento Domiciliar de Saúde

4/2005 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa LCGT - Laboratory for Computer Games Technology

3/2005 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa ConsRel - Logical Consequence and Combinations of Logics

11/2004 - Atual	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Membro da Comissão de Preparação de Exames de Lingua Estrangeira.

1/2002 - Atual	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Membro da Comissão de Horários.

1/2002 - Atual	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função Membro da Comissão de Cursos Quadrimestrais.

2001 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro do Conselho Departamental.

2000 - Atual	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Gestão e Engenharia do Conhecimento

1999 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Assessor da CAPES para avaliação de projetos.

1995 - Atual	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função membro do corpo editorial - Applied Intelligence (Kluwer Academic Publishers).

7/1994 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor do Conselho Estadual de Educação para autorização de funcionamento de cursos.

1994 - Atual	Pesquisa e desenvolvimento Lógica e Teoria da Ciência.
	Linhas de pesquisa Lógica Aplicada

1994 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Assessor da FAPESP para avaliação de projetos.

1993 - Atual	Conselhos, Comissões e Consultoria, .
	Cargo ou função Assessor do CNPq para avaliação de projetos.

01/2011 - 04/2011	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Laboratório de Programação

08/2010 - 12/2010	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Inteligência Artificial

08/2010 - 12/2010	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Inteligência Artificial

03/2010 - 07/2010	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução à Computação (duas turmas e coordenação de disciplina)

08/2009 - 12/2009	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Métodos formais em programação

08/2009 - 12/2009	Ensino, Ciencia da Computacao, Nível: Pós-Graduação.
	Disciplinas ministradas Metodologia de pesquisa em inteligência artificial

03/2009 - 07/2009	Ensino, Administração de Empresas, Nível: Graduação.
	Disciplinas ministradas Introdução à Computação (duas turmas)

08/2008 - 12/2008	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Engenharia de software

08/2008 - 12/2008	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Engenharia de software Fundamentos metodológicos para a Inteligência Artificial

02/2008 - 06/2008	Ensino, Administração de Empresas, Nível: Graduação.
	Disciplinas ministradas MAC0113 - Introdução à Computação (duas turmas)

08/2007 - 12/2007	Ensino, Ciencia da Computacao, Nível: Pós-Graduação.
	Disciplinas ministradas MAC 5764 - Tópicos de Engenharia de Software

08/2007 - 12/2007	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MAC 0332 - Engenharia de Software

9/2005 - 8/2007	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa EIE - Espaços Inteligentes para Engenharia

03/2007 - 07/2007	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Laboratório de Inteligência Artificial

02/2007 - 06/2007	Ensino, Administração de Empresas, Nível: Graduação.
	Disciplinas ministradas Introdução à Computação para Ciências Humanas (duas turmas)

8/2006 - 12/2006	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Métodos Formais em Programação

8/2006 - 12/2006	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Fundamentos de Inteligência Artificial

2/2006 - 6/2006	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Introdução à Computação

2003 - 2006	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Acústica Musical (ACMUS)

2003 - 2006	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa ACMUS

8/2005 - 12/2005	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Engenharia de Software

8/2005 - 12/2005	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Inteligência Artificial para Jogos de Computador Tópicos de Engenharia de Software

1/2003 - 12/2005	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa REDES DE COOPERACION ENTRE AGENTES INTELIGENTES RC-CAI

7/2003 - 2005	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa CCC-AHIA BIBO - Busca Inteligente Baseada em Ontologias

8/2004 - 12/2004	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Engenharia de software Inteligência artificial

8/2004 - 12/2004	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos de engenharia de software Técnicas de programação declarativa Tópicos de inteligência artificial

1/2004 - 6/2004	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a computação

1/2004 - 6/2004	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Laboratório de inteligência artificial

2003 - 2004	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa RC-CAI ECLIPSE IDE para CIAO PROLOG

3/2000 - 2004	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa Convênio Acadêmico USP/IIIA (Espanha)

1999 - 2004	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Cargo ou função vice presidente - International Society for Applied Intelligence.

2003 - 2003	Ensino, Administração de Empresas, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação (duas turmas)

2003 - 2003	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Laboratório de Inteligência Artificial Técnicas de Programação Declarativa

1/2002 - 12/2002	Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, .
	Cargo ou função Membro da Comissão de Preparação de Exames de Língua Estrangeira.

1/1993 - 5/2002	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro da Comissão de Biblioteca.

2002 - 2002	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação (duas turmas)

2002 - 2002	Ensino, Administração de Empresas, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação

2002 - 2002	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Laboratório de Inteligência Artificial

1999 - 2002	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Sistemas de Informação Distribuída - SIDAM

2001 - 2001	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Técnicas de Programação Declarativa

2001 - 2001	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Métodos Formais em Programação

2001 - 2001	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação

1998 - 2001	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa SIDAM

1/1998 - 12/2000	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa DECAFF-KB

2000 - 2000	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação (duas turmas)

2000 - 2000	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Métodos Formais em Programação

2000 - 2000	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica

1999 - 2000	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Ensino Multimídia e à Distância - PROIN

1999 - 2000	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Especificações Executáveis

1999 - 2000	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro do Conselho Departamental.

1999 - 2000	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa MAC MULTI

1998 - 2000	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Cooperação Entre Sistemas Baseados em Conhecimento - CAPES/British Council

1997 - 2000	Conselhos, Comissões e Consultoria, .
	Cargo ou função Presidente da Comissão de Biblioteca.

1999 - 1999	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação (duas turmas - COORDENADOR DE EQUIPE)

1999 - 1999	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica

1999 - 1999	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Tópicos em Sistemas de Computação

1994 - 1999	Conselhos, Comissões e Consultoria, .
	Cargo ou função Presidente da Comissão de Iniciação Científica.

1993 - 1999	Conselhos, Comissões e Consultoria, .
	Cargo ou função Membro da Comissão de Iniciação Científica.

1998 - 1998	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação (duas turmas)

1998 - 1998	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Noções do Ensino de Matemática Usando o Computador

1998 - 1998	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica Técnicas de Programação Declarativa Aprendizagem Computacional:Modelos, Algoritmos e Aplicações

1997 - 1997	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica

1997 - 1997	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Introdução a Inteligência Artificial

1997 - 1997	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação

1994 - 1997	Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Linhas de pesquisa Projeto VERASS - Aprendizagem Computacional

1996 - 1996	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação (duas turmas)

1996 - 1996	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica Aprendizagem Computacional: Modelos, Algoritmos e Aplicações

1994 - 1996	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
	Projetos de pesquisa VERASS

1995 - 1995	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica Técnicas de Programação Declarativa

1995 - 1995	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Estruturas de Dados

1995 - 1995	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Introdução a Inteligência Artificial

5/1994 - 5/1994	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor do MEC para autorização de funcionamento de curso.

1994 - 1994	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Introdução a Inteligência Artificial

1994 - 1994	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica

1994 - 1994	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Noções Práticas de Computação

1993 - 1993	Ensino, Engenharia, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação para Ciências Exatas

1993 - 1993	Ensino, Ciências da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria de Programação em Lógica Técnicas de Programação Declarativa

1993 - 1993	Ensino, Física, Nível: Graduação.
	Disciplinas ministradas Introdução a Inteligência Artificial Noções de Computação II

1992 - 1992	Ensino, Física, Nível: Graduação.
	Disciplinas ministradas Introdução a Computação para Ciências Exatas

University of Edinburgh, EDINBURGH, Escócia.

Vínculo institucional

1991 - 1992

Vínculo: Outro, Enquadramento Funcional: , Carga horária: 8

Atividades

1991 - 1992	Ensino, Artificial Intelligence, Nível: Pós-Graduação.
	Disciplinas ministradas Knowledge Representation and Inference II (tutor) Expert Systems (tutor)

1991 - 1992	Ensino, Artificial Intelligence, Nível: Graduação.
	Disciplinas ministradas Artificial Intelligence I (tutor)

Hindi Sa, HINDI, Brasil.

Vínculo institucional

1988 - 1989

Vínculo: Celetista, Enquadramento Funcional: , Carga horária: 0

Atividades

1/1988 - 9/1989	Serviços técnicos especializados .
	Serviço realizado Desenvolvimento e Manutenção de Sistemas Computacionais.

Consultoria Em Sistemas Computacionais Ltda, CSC, Brasil.

Vínculo institucional

1987 - 1987

Vínculo: Celetista, Enquadramento Funcional: , Carga horária: 0

Atividades

8/1987 - 12/1987	Serviços técnicos especializados .
	Serviço realizado Desenvolvimento e Manutenção de Sistemas Computacionais.

Pro Grama Serviços de Computação Ltda, PRO-GRAMA, Brasil.

Vínculo institucional

1986 - 1987

Vínculo: Outro, Enquadramento Funcional: Sócio Diretor, Carga horária: 0

Atividades

8/1986 - 7/1987	Direção e administração, .
	Cargo ou função Sócio Diretor.

8/1986 - 7/1987	Serviços técnicos especializados .
	Serviço realizado Desenvolvimento de Sistemas Computacionais.

Instituto de Pesquisas Tecnológicas do Estado de São Paulo, IPT, Brasil.

Vínculo institucional

1986 - 1987

Vínculo: Colaborador, Enquadramento Funcional: Consultor, Carga horária: 8

Vínculo institucional

1985 - 1986

Vínculo: Celetista, Enquadramento Funcional: engenheiro, Carga horária: 0

Atividades

8/1986 - 7/1987	Outras atividades técnico-científicas .
	Atividade realizada Consultor - Inteligência Artificial.

1/1985 - 7/1986	Pesquisa e desenvolvimento .
	Linhas de pesquisa Modelos para Planejamento de Transportes

1/1985 - 7/1986	Serviços técnicos especializados .
	Serviço realizado Desenvolvimento e Manutenção de Modelos Computacionais.

Linhas de Pesquisa

1.

Projeto VERASS - Aprendizagem Computacional

Objetivos: Aplicação de métodos formais de aprendizagem computacional para resolver problemas práticos de relevância para a indústria. O projeto VERASS foi co-financiado pela USP e pela Olivetti do Brasil. .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: aprendizado de máquina.

2.

Cooperação Entre Sistemas Baseados em Conhecimento - CAPES/British Council

Objetivos: Desenvolvimento e implementação de modelos e sistemas para cooperação automática entre sistemas inteligentes. Projeto co-financiado pela CAPES e pelo Conselho Britânico, com participação de pesquisadores da USP, da UECE, da Universidade de Edinburgh (Escócia) e do IIIA (Universidade Autônoma de Barcelona - Espanha). PROJETO COORDENADO PELO DR. FLÁVIO SOARES CORRÊA DA SILVA .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: inteligência artificial; sistemas baseados em conhecimento; resolução distribuída de problemas.

3.

Sistemas de Informação Distribuída - SIDAM

Objetivos: Desenvolvimento de infra-estrutura para sistemas de informação distribuída e agentes móveis. O projeto SIDAM foi desenvolvido como projeto temático financiado pela FAPESP..
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: computação móvel; computação distribuída.

4.

Ensino Multimídia e à Distância - PROIN

Objetivos: Estudo e desenvolvimento de sistemas multimídia para apoio ao ensino de ciência da computação. O projeto PROIN foi co-financiado pela USP e pela CAPES..
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.
Setores de atividade: Formação Permanente e Outras Atividades de Ensino, Inclusive Educação À Distância e Educação Especial.
Palavras-chave: ensino à distância; metodologia do ensino.

5.

Especificações Executáveis

Objetivos: Desenvolvimento de especificações executáveis usando inglês controlado. O projeto ENLEHS foi financiado pela Universidade de Zurique. .
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.
Setores de atividade: Desenvolvimento de Programas (Software).
Palavras-chave: inteligência artificial; processamento de linguagem natural; engenharia de software.

6.

Gestão e Engenharia do Conhecimento

Objetivos: Estudo da gestão de conhecimento e da engenharia de conhecimento, identificando a inter-relação entre as duas. Proposta de métodos e sistemas computacionais para apoio a essas atividades..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.
Grande área: Ciências Sociais Aplicadas / Área: Administração / Subárea: Administração de Empresas / Especialidade: Gestão Empresarial.
Setores de atividade: Desenvolvimento de Programas (Software); Qualidade e Produtividade.
Palavras-chave: inteligência artificial; administração de empresas; engenharia de software.

7.	Lógica Aplicada
	Objetivos: Lógica aplicada a inteligência artificial, engenharia e métodos formais em ciência da computação..

8.

REDES DE COOPERACION ENTRE AGENTES INTELIGENTES RC-CAI

Objetivos: Estudo e desenvolvimento de redes de capacidades para a cooperação entre agentes inteligentes artificiais. Projeto de cooperação internacional financiado pela CAPES e pelo Ministério da Educação, Cultura e Desportes da Espanha. PROJETO COORDENADO PELO PROF. DR. FLÁVIO SOARES CORRÊA DA SILVA.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.
Palavras-chave: inteligência artificial; resolução distribuída de problemas; sistemas baseados em conhecimento.

9.

Acústica Musical (ACMUS)

Objetivos: Estudo de ferramentas e técnicas computacionais para mensuração, simulação e otimização de acústica de ambientes musicais. Projeto Temático FAPESP multidisciplinar, com pesquisadores de Ciência da Computação e de Música..
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.
Palavras-chave: Música Computacional; engenharia de software.

10.	Modelos para Planejamento de Transportes
	Objetivos: Modelos para apoio ao planejamento regional de transportes.. Grande área: Engenharias / Área: Engenharia de Transportes / Subárea: Planejamento de Transportes / Especialidade: Planejamento e Organização do Sistema de Transporte. Setores de atividade: Política Econômica e Administração Pública em Geral. Palavras-chave: planejamento de transportes.

Projetos de Pesquisa

2009 - 2010

TimeSaver

Descrição: Automação de serviços públicos e e-Gov, oferecidos pela web com interface baseada em mundos virtuais e agentes autônomos inteligentes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 1) .
Integrantes: Rosa Alarcon - Integrante / Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Latin American and Caribbean ICT Research - Auxílio financeiro..

2009 - Atual	MOBILE - processos musicais interativos
	Descrição: projeto temático multidisciplinar - FAPESP. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fernando Iazzetta - Coordenador / Flavio Soares Correa da Silva - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2009 - Atual	Laboratório de Interoperabilidade
	Descrição: laboratório de pesquisas. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Flavio Soares Correa da Silva - Coordenador. Financiador(es): Microsoft Corporation - Auxílio financeiro..

2008 - 2011	JamSession - a decentralized architecture for virtual worlds and the web 3.0
	Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 3) Doutorado ( 5) . Integrantes: Flavio Soares Correa da Silva - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Microsoft Research - Auxílio financeiro..

2008 - 2010	Projeto Borboleta - Computação Móvel para Atendimento Domiciliar de Saúde
	Situação: Concluído; Natureza: Pesquisa. Integrantes: Fábio Kon - Coordenador / Flavio Soares Correa da Silva - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Microsoft Research - Auxílio financeiro..

2005 - 2010

ConsRel - Logical Consequence and Combinations of Logics

Descrição: Projeto de pesquisa multi-institucional (projeto temático FAPESP) envolvendo pesquisadores da USP e da UNICAMP. O tema se refere a lógica formal - fundamentos e aplicações..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Walter Carnielli - Coordenador / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 3.

2005 - 2007

EIE - Espaços Inteligentes para Engenharia

Descrição: Espaços inteligentes para engenharia - aplicação de técnicas de inteligência artificial para a construção de espaços interativos de suporte a atividades de engenharia, em especial engenharia de manutenção de grandes estruturas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Crhistian Alberto Noriega Guerra - Integrante / Gustavo Henrique Salazar Torres - Integrante / Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2005 - Atual

LCGT - Laboratory for Computer Games Technology

Descrição: Projeto financiado pela Microsoft Research. Tem por objetivo montar laboratório de pesquisas em jogos de computador, visando desenvolver a tecnologia específica para o desenvolvimento de jogos, desenvolver jogos para fins específicos e construir um currículo de ensino especializado em jogos de computador..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Microsoft Corporation - Auxílio financeiro..

2003 - 2006

ACMUS

Descrição: ACMUS - Acústica Musical: projeto temático FAPESP, multidepartamental que congrega pesquisadores e estudantes de pós graduação dos departamentos de Ciência da Computação e de Música da USP. O objetivo é construir ferramentas de software e hardware para diagnóstico e sugestões de ações corretivas sobre a qualidade acústica de ambientes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Fábio Kon - Integrante / Fernando Iazzetta - Coordenador / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 2.

2003 - 2005

CCC-AHIA

Descrição: CCC-AHIA - Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos. Projeto regular financiado pela FAPESP..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Renata Wasserman - Integrante / Leliane Nunes de Barros - Integrante / Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2003 - 2005

BIBO - Busca Inteligente Baseada em Ontologias

Descrição: Busca Inteligente Baseada em Ontologias - projeto que trata da organização de informação com base em ontologias para busca na web semântica.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 3) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Renata Wasserman - Coordenador / Leliane Nunes de Barros - Integrante / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1.

2003 - 2004

RC-CAI

Descrição: RC-CAI - Redes de Capacidades para Cooperação entre Agentes Inteligentes. Projeto internacional e multiinstitucional, congregando pesquisadores da USP, da Universidade Autônoma de Barcelona e do Instituto de Pesquisas em Inteligência Artificial da Espanha..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Jaume Agusti Cullell - Integrante / Carles Sierra - Integrante / Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1.

2003 - 2004

ECLIPSE IDE para CIAO PROLOG

Descrição: Construção de IDE para desenvolvimento de projetos em CIAO Prolog, usando a plataforma ECLIPSE..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Renata Wasserman - Coordenador / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2000 - 2004

Convênio Acadêmico USP/IIIA (Espanha)

Descrição: Convênio acadêmico amplo entre o depto. de ciência da computação da USP (SP) e o IIIA/Espanha.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Jaume Agusti Cullell - Integrante / Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio da Educacao Cultura e Desportos Espanha - Auxílio financeiro.
Número de produções C, T & A: 9 / Número de orientações: 4.

1999 - 2000

MAC MULTI

Descrição: MACMULTI - projeto financiado pela CAPES para a construção de material multimídia para apoio ao ensino de computação..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação ( 3) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Ana Cristina Vieira de Melo - Integrante / Routo Terada - Coordenador / Cristina Gomes Fernandes - Integrante / José Coelho de Pina Junior - Integrante / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.Número de orientações: 3.

1998 - 2001

SIDAM

Descrição: SIDAM - Sistema de Informações Distribuídas para Agentes Móveis. Projeto temático FAPESP..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Fábio Kon - Integrante / Marcelo Finger - Integrante / Ana Cristina Vieira de Melo - Integrante / Siang Wun Song - Coordenador / Alan Mitchel Durham - Integrante / Alfredo Goldman Vel Lejbman - Integrante / Dilma Menezes da Silva - Integrante / Francisco Carlos da Rocha Reverbel - Integrante / Hernan Astudillo - Integrante / João Eduardo Ferreia - Integrante / Kunio Okuda - Integrante / Marco Dimas Gubitoso - Integrante / Markus Endler - Integrante / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 1.

1998 - 2000

DECAFF-KB

Descrição: Projeto de pesquisas internacional e multi-institucional, co-financiado pela CAPES e pelo Conselho Britânico. O objetivo do projeto foi o estudo de técnicas e métodos computacionais e formais para a cooperação entre sistemas baseados em conhecimento construídos com base em formalismos heterogêneos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 1) .
Integrantes: Marcelo Finger - Integrante / David Stuart Robertson - Integrante / Ana Cristina Vieira de Melo - Integrante / Jaume Agusti Cullell - Integrante / Wamberto Vasconcelos - Integrante / Flavio Soares Correa da Silva - Coordenador.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Conselho Britanico - Auxílio financeiro.
Número de produções C, T & A: 8 / Número de orientações: 2.

1994 - 1996

VERASS

Descrição: VERASS - Verificação de Assinaturas. Projeto financiado pela Olivetti do Brasil, com o objetivo de construir um sistema capaz de reconhecer e verificar assinaturas em documentos..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Junior Barrera - Integrante / Routo Terada - Coordenador / Flavio Soares Correa da Silva - Integrante.
Financiador(es): Olivetti do Brasil - Auxílio financeiro.
Número de produções C, T & A: 4 / Número de orientações: 2.

Membro de corpo editorial

1999 - Atual

Periódico: Applied Intelligence (Boston)

Revisor de periódico

2007 - Atual

Periódico: Journal of Information Technology Research

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Artificial.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Computação Aplicada a Artes Ciências Humanas e Entretenimento.
3.	Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia / Especialidade: Filosofia da Tecnologia.
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: Sistemas de Informação.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol	Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês	Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Catalão	Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Prêmios e títulos

2011	Concurso Latinoamericano de Dissertações de Mestrado (2o. Lugar), Centro Latinoamericano de Estudios en Informatica.
2011	Best paper award, International Conference on Entertainment Computing.
2009	ACM Senior Member, Association for Computing Machinery (USA).
2009	AISB Senior Member, AISB - British Society for Studies of Artificial Intelligence and Simulation of Behaviour.
2007	Prêmio Jabuti 2007 - Primeiro lugar (livro Lógica para Computação), Câmara Brasileira do Livro.
1997	Bolsa Individual - Pesquisa (2B), CNPq.
1993	Bolsa Individual - Pesquisa (2C), CNPq.
1989	Bolsa para Doutoramento no Exterior, CNPq.
1982	Bolsa de Iniciação Científica, FAPESP.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	CORREA DA SILVA, F. S. . Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems, v. 30, p. 1-24, 2011.

2.	CORREA DA SILVA, F. S. . On the Ethics of Democratic Access to Web Information. Knowledge, Technology & Policy, p. 97-107, 2010.

3.	TORRES, Gustavo Enrique Salazar ; COLOMBO, E ; CORREA DA SILVA, F. S. ; GUERRA, Crhistian Alberto Noriega ; BANDINI, S. . Design issues for knowledge artifacts. Knowledge-Based Systems, p. 856, 2008.

4.	CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. . Managing Responsive Environments with Software Agents. Applied Artificial Intelligence, v. 21, p. 469-488, 2007.

5.	CORREA DA SILVA, F. S. ; PANIGASSI, R. ; HULOT, C. . Learning Management Systems Desiderata for Competitive Universities. European Journal of Open, Distance and E-Learning, v. 2007, p. 1, 2007.

6.	TREVISAN, Filipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S. . Designing Logic-based Robots. Inteligencia Artificial, Espanha, v. 10, n. 31, p. 11-22, 2006.

7.	CORREA DA SILVA, F. S. . Towards a Logic of Perishable Propositions. Applied Intelligence (Boston), v. 23, n. 2, p. 121-130, 2005.

8.	SILVA, Lourival Paulino da ; CORREA DA SILVA, F. S. . A Formal Model for the Fifth Discipline. JASSS. Journal of Artificial Societies and Social Simulation, v. 8, n. 3, 2005.

9.	CORREA DA SILVA, F. S. ; AGUSTI, J. . Issues on Knowledge Coordination. Knowledge and Process Management (Online), v. 10, n. 1, p. 37-59, 2003.

10.	CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; BRILHANTE, V. ; MELO, Ana Cristina Vieira de ; FINGER, Marcelo ; AGUSTI, J. . On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions. Knowledge-Based Systems, v. 15, n. 3, p. 147-167, 2002.

11.	CORREA DA SILVA, F. S. ; CARBOGIM, D. V. . Facts, Annotations, Arguments, and Reasoning. New Generation Computing, Japao, v. 19, n. 1, p. 1-22, 2001.

12.	CARBOGIM, D. V. ; CORREA DA SILVA, F. S. . Annotated Logic Applications For Imperfect Information. Applied Intelligence, v. 9, p. 163-172, 1998.

13.	CORREA DA SILVA, F. S. . On Proof- And Model-Based Techniques For Reasoning With Uncertainty. International Journal of Intelligent Systems, v. 10, p. 561-570, 1995.

Livros publicados/organizados ou edições

1.	CORREA DA SILVA, F. S. ; FINGER, Marcelo . Introdução à computação para administradores. 1. ed. Rio de Janeiro: Elsevier, 2009. v. 1. 160 p.

2.	FEIJO, B. ; CLUA, E. ; CORREA DA SILVA, F. S. . Introdução à ciência da computação com jogos - aprendendo a programar com entretenimento. 1. ed. Rio de Janeiro: Elsevier, 2009. v. 1. 263 p.

3.	CORREA DA SILVA, F. S. ; AGUSTI, J. . Information Flow and Knowledge Sharing. 1. ed. Elsevier, 2008. v. 1. 296 p.

4.	CORREA DA SILVA, F. S. ; FINGER, Marcelo ; MELO, Ana Cristina Vieira de . Lógica para Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 244 p.

5.	CORREA DA SILVA, F. S. ; MELO, Ana Cristina Vieira de . Modelos Clássicos de Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 67 p.

6.	SETZER, Valdemar Waingort ; CORREA DA SILVA, F. S. . Bancos de dados: aprenda o que são, melhore seu conhecimento, construa os seus. 1. ed. São Paulo: Edgard Blucher, 2005. v. 1. 380 p.

7.	MELO, Ana Cristina Vieira de ; CORREA DA SILVA, F. S. . Princípios de Linguagens de Programação. 1. ed. São Paulo: Edgard Blucher, 2003. v. 1. 212 p.

8.	CORREA DA SILVA, F. S. ; AGUSTI, J. . Knowledge Coordination. 1. ed. Londres: John Wiley and Sons, 2003. v. 1. 176 p.

Capítulos de livros publicados

1.	CORREA DA SILVA, F. S. . Interação Estado/Academia para Inovação em Governo Eletrônico no Brasil. In: Cláudia do Socorro Ferreira Mesquita; Nazaré Lopes Bretas. (Org.). Panorama da Interoperabilidade no Brasil. Brasília: MP-SLTI, 2010, v. , p. 64-73.

2.	CORREA DA SILVA, F. S. ; KON, F. . A Fuzzy Categorial Grammar For The Harmonisation Of Melodies. In: D Dubois; H Prade; R R Yager. (Org.). Fuzzy Set Methods in Information Engineering: A Guided Tour of Applications. : Wiley, 1997, v. , p. -.

3.	CORREA DA SILVA, F. S. . Fuzzy Logic. In: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4 ed. : Springer-Verlag, 1997, v. , p. -.

4.	CORREA DA SILVA, F. S. . Probabilistic Logic. In: A Bundy. (Org.). Artificial Intelligence Techniques - A Comprehensive Catalogue. 4 ed. : , 1997, v. , p. -.

5.	BARRERA, J. ; CORREA DA SILVA, F. S. . Automatic Programming Of Mmachs For Ocr. In: P Maragos; R W Schafer; M A Butt. (Org.). Mathematical Morphology and its Applications to Image and Signal Processing. : , 1996, v. , p. -.

6.	CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; HESKETH, J. . Automated Reasoning With Uncertainties. In: M Masuch; L Pawlos. (Org.). Knowledge Representation and Uncertainty. : Springer-Verlag, 1993, v. 808, p. -.

Trabalhos completos publicados em anais de congressos

1.	CARNIELLI, W. ; BUENO-SOLER, J. ; CORREA DA SILVA, F. S. . The King of Reasonshire: a computer game to practice critical thinking. In: Third International Congress on Tools for Teaching Logic, 2011, Salamanca. Electronic proceedings - Third International Congress on Tools for Teaching Logic, 2011.

2.	ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . A software platform for governmental virtual institutions. In: The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011, São Paulo. Proceedings of The 4th International Conference on Ubi-media Computing (U-Media 2011), 2011.

3.	CORREA DA SILVA, F. S. ; Bressane Neto, A. F. . Affective agents for empathic interactions. In: International Conference on Entertainment Computing, 2011, Vancouver. Entertainment Computing - ICEC 2011, 2011. v. 6972.

4.	Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . On the Construction of Synthetic Characters with Personality and Emotion. In: Brazilian Symposium of Artificial Intelligence, 2010, São Bernardo do Campo. Brazilian Symposium of Artificial Intelligence - Proceedings, 2010. v. 6404. p. 102-111.

5.	AGUSTI, J. ; CORREA DA SILVA, F. S. . Experimental information and experiential knowledge. In: European Conference on Philosophy and Computing, 2009, Barcelona. European Conference on Philosophy and Computing - Proceedings, 2009.

6.

E. Passos ; Pozzer, C. ; Montenegro, A. ; CORREA DA SILVA, F. S. ; CLUA, E. . Hierarchical PNF Networks: A Temporal Model of Events for the Representation and Dramatization of Storytelling. In: 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009, Rio de Janeiro. Proceedings of 8th Brazilian Symposium on Computer Games and Digital Entertainment - SBGAMES, 2009.

7.

VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Execution and 3D Visualization of Situated Cellular Agent Based Crowd Simulations. In: 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008, Fortaleza. 23rd ACM Sympusium on Applied Computing - Special Track on Advances on Computer Simulation, 2008.

8.	CORREA DA SILVA, F. S. . Knowledge-based Modality Selection for Information Presentation in a Mobile System for Primary Homecare. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Multimodal Output Generation, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

9.	CORREA DA SILVA, F. S. ; VIZZARI, G. ; MOSCA, A. . Coupled MMASS: A Formal Model for Non-deterministic Multi-agent Simulations. In: Artificial Intelligence and Simulation of Behaviour - Workshop of Logic and the Simulation of Interaction and Reasoning, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

10.	GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S. . Semantic Web Services for Intelligent Responsive Environments. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

11.	GUERRA, Crhistian Alberto Noriega ; CORREA DA SILVA, F. S. . A Middleware for Smart Environments. In: Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments, 2008, Aberdeen. AISB 2008 - Proceedings, 2008.

12.	VIZZARI, G. ; BONOMI, A. ; CORREA DA SILVA, F. S. . A Framework for Executing and Visualizing Situated Cellular Agent Based Crowd Simulations. In: European Meeting on Cybernetics and Systems Research, 2008, Viena. Proceedings of EMCSR 2008, 2008.

13.	MASTHOFF, J. ; VASCONCELOS, Wamberto ; AITKEN, C. ; CORREA DA SILVA, F. S. . Agent-Based Group Modelling for Ambient Intelligence. In: International Symposium on Affective Smart Environments, 2007, Newcastle. Proceedings of the International Symposium on Affective Smart Environments, 2007.

14.	VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Interactive Situated Agents in Virtual Environments. In: Worshop "From Objects to Agents" - WOA, 2007, Genova. Proceedings - workshop "From Objects to Agents", 2007.

15.	YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S. . Ambientes Virtuais Contextualizáveis Baseados em Jogos de Computador em Educação. In: XIV Workshop sobre Educação em Computação - WEI, 2006, Campo Grande. Anais do XIV WEI, 2006.

16.	CORREA DA SILVA, F. S. ; VASCONCELOS, Wamberto . Rule Schemata for Game Artificial Intelligence. In: SBIA/IBERAMIA - Simpósio Brasileiro de Inteligência Artificial, 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence. Berlim : Springer, 2006. v. 4140. p. 451-461.

17.

CORREA DA SILVA, F. S. ; WASSERMAN, Renata ; MELO, Ana Cristina Vieira de ; BARROS, Leliane Nunes de ; FINGER, Marcelo . Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. In: 2nd International Conference on Informatics in Control, Automation and Robotics, 2005, Barcelona. Proceedings of ICINCO - 2nd International Conference on Informatics in Control, Automation and Robotics, 2005. v. 0. p. 0-0.

18.	CORREA DA SILVA, F. S. ; VASCONCELOS, Wamberto . Agent based management of responsive environments. In: Congress of the italian association of artificial intelligence, 2005, Milao. Proceedings of AI*IA, 2005. v. 0. p. 0-0.

19.

TREVISAN, Felipe Werndl ; BARROS, Leliane Nunes de ; CORREA DA SILVA, F. S. . Low Cost Experiments in Cognitive Robotics for Planning in Hostile Environments with Incomplete Information. In: CAEPIA 2005 - Conferencia de la Asociacion Espanola para la Inteligencia Artificial, 2005, Santiago de Compostela. Proceedings of CAEPIA-2005, 2005. v. 0. p. 0-0.

20.	NAKANISHI, Sérgio Haruo ; CORREA DA SILVA, F. S. . Game-engine as an Educational Tool in Software Engineering Courses. In: WJogos 2005, 2005, São Paulo. Proceedings of WJogos 2005, 2005. v. 0. p. 0-0.

21.	YAMAMOTO, Flavio Shigueo ; CORREA DA SILVA, F. S. . Ambientes Virtuais Contextualizáveis para Validação de Técnicas de Inteligência Artificial. In: WJogos 2005, 2005, São Paulo. Proceedings of WJogos 2005, 2005. v. 0. p. 0-0.

22.	CORREA DA SILVA, F. S. ; JORGE, Tiago Motta . Towards Complex Reasoning Agents for Action Games. In: Wjogos 2005, 2005, São Paulo. Proceedings WJogos 2005, 2005. v. 0. p. 0-0.

23.	SILVA, Filipe Correa Lima da ; CORREA DA SILVA, F. S. . Um Ambiente Virtual Baseado em Jogos para o Aprendizado de Inteligência Artificial. In: WJogos 2005, 2005, São Paulo. Proceedings WJogos 2005, 2005. v. 0. p. 0-0.

24.

IAZZETTA, Fernando ; KON, Fabio ; QUEIROZ, Marcelo Gomes de ; CORREA DA SILVA, F. S. ; GOMES, Marcio de Avelar . AcMus: Computational Tools for Measurement, Analysis and Simulation of Room Acoustics. In: IV Congresso Iberoamericano de Acústica, 2004, Guimarães. IV Congresso Iberoamericano de Acústica, 2004.

25.	CORREA DA SILVA, F. S. ; MENESES, E. X. . Expressing Systems Capabilities for Knowledge Coordination. In: Agents Architectures and Multi-Agent Systems, 2002, Bologna. Proceedings of AAMAS, 2002.

26.	CORREA DA SILVA, F. S. . Towards a Logic of Perishable Propositions. In: WORKCOMP, 2002, São José dos Campos, 2002.

27.	CORREA DA SILVA, F. S. ; MENESES, E. X. ; MELO, Ana Cristina Vieira de . Capabilities in Formal Knowledge Coordination for Business Integration. In: Workshop - OOPSLA, 2002. Workshop Proceedings - OOPSLA, 2002.

28.	MENESES, E. X. ; CORREA DA SILVA, F. S. . Um Modelo para Cooperação entre Sistemas Baseados em Conhecimento Baseado em Capacidades. In: ENIA - Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. Proceedings - ENIA 2001, 2001.

29.	IAZZETTA, Fernando ; KON, F. ; CORREA DA SILVA, F. S. . ACMUS: Design and Simulation of Music Listening Environments. In: Eighth Brazilian Symposium of Computer Music, 2001, Fortaleza. Proceedings of Eighth Brazilian Symposium of Computer Music, 2001.

30.

CORREA DA SILVA, F. S. ; MELO, Ana Cristina Vieira de ; AGUSTI, J. ; ARAUJO, R. C. . Knowledge Sharing Between a Probabilistic Logic and a Bayesian Belief Network. In: International Conference of Information Processing and Management of Uncertainty in Knowledge-based Systems, 2000, Madrid. Proceedings of IPMU-2000, 2000. p. 1299-1306.

31.

CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; AGUSTI, J. ; VASCONCELOS, W. W. ; MELO, Ana Cristina Vieira de . A Lightweight Capability Communication Mechanism. In: International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 2000, New Orleans. Intelligent Problem Solving, 2000. v. 1821. p. 660-670.

32.	CORREA DA SILVA, F. S. ; VITORINO, S. A. . Remarks on Reasoning with Progressively Obsolete Information. In: SBIA/IBERAMIA, 2000, Atibaia. Proceedings SBIA/IBERAMIA - LNAI, 2000.

33.	CORREA DA SILVA, F. S. ; ZANUTTO, J. . Calculo de Equivalencia de Operadores Morfologicos via Sistemas de Re-escrita de Termos. In: LAPTEC 2000, 2000, Sao Paulo. Logica Aplicada a Tecnologia, 2000.

34.	CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. ; ROBERTSON, D. S. ; AGUSTI, J. ; MELO, Ana Cristina Vieira de . Why Ontologies Are Not Enough For Knowledge Sharing. In: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999. Proceedings.

35.	CORREA DA SILVA, F. S. ; VASCONCELOS, W. W. ; ROBERTSON, D. S. . Cooperation Between Knowledge Based Systems. In: International Congress on Expert Systems, 1998. Proceedings.

36.	FINGER, Marcelo ; CORREA DA SILVA, F. S. . Data Obsolescence: Modelling Problems. In: International Workshop on Temporal Representations and Reasoning, 1998. Proceedings.

37.	TOLENTINO, M. V. ; SANTOS, P. E. ; RILLO, M. ; CORREA DA SILVA, F. S. . Actions As Prolog Programs. In: IEEE Joint Symposia on Intelligence and Systems, 1996. Proceedings.

38.	CORREA DA SILVA, F. S. ; KON, F. . Stylistic Musical Choices Via Preference Rules. In: International Fuzzy Systems Association Congress, 1995. Proceedings.

39.	CORREA DA SILVA, F. S. ; KON, F. . Categorial Grammar And Harmonic Analysis. In: Brazilian Symposium on Computer Music, 1995. Proceedings.

40.	BARRERA, J. ; CORREA DA SILVA, F. S. ; TOMITA, N. . Automatic Programming Of Binary Morphological Machines. In: International Symposium on Optics, Imaging and Instrumentation, 1995. Proceedings.

41.	BARRERA, J. ; CORREA DA SILVA, F. S. ; BANON, G. . Automating Programming Of Binary Morphological Machines. In: International Symposium on Optics, Imaging and Instrumentation, 1994. Proceedings.

42.	WASSERMAN, Renata ; CORREA DA SILVA, F. S. . Towards Efficient Modelling Of Distributed Knowledge Using Equational And Order-Sorted Logic. In: Brazilian Symposium of Artificial Intelligence, 1994. Anais.

43.	CORREA DA SILVA, F. S. ; PIETRANTONIO, H. . Analise do Conhecimento e Inferencia em um Sistema Especialista para Seguranca Viaria. In: ANPET, 1993.

44.	CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; HESKETH, J. . Automated Reasoning with Uncertainties. In: Applied Logic Conference, 1992.

45.	CORREA DA SILVA, F. S. ; ROBERTSON, D. S. ; CHUNG, P. . Automated Reasoning About an Uncertain Domain. In: ECSQARU, 1991, 1991.

46.	CORREA DA SILVA, F. S. ; BUNDY, A. . On Some Equivalence Relations Between Incidence Calculus and the Dempster-Shafer Theory of Evidence. In: Uncertainty in Artificial Intelligence, 1990, 1990.

Resumos expandidos publicados em anais de congressos

1.	Bressane Neto, A. F. ; CORREA DA SILVA, F. S. . Synthetic characters with personality and emotion. In: Intelligent Virtual Agents, 2009, Amsterdam. Intelligent Virtual Agents. Berlin : Springer LNAI, 2009. v. 5773. p. 533-534.

2.	ARAUJO, C. J. A. ; CORREA DA SILVA, F. S. . Governmental virtual institutions. In: International conference on theory and practice of electronic governance, 2009, Bogotá. Proceedings of international conference on theory and practice of electronic governance, 2009.

3.	VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S. . A Framework for Situated Crowd Behavior in Virtual Environments. In: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.

4.	CLUA, D. M. G. ; BERTONI, V. D. ; SILVA, R. A. ; CORREA DA SILVA, F. S. . ViDa - Jogo de Simulação de Vida e Evolução utilizando. In: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.

Resumos publicados em anais de congressos

1.	CORREA DA SILVA, F. S. . Formalisations Of Uncertain Reasoning. In: International Conference on Industrial and Engg Applications of Artificial Intelligence and Expert Systs, 1999. Proceedings.

2.	CORREA DA SILVA, F. S. . On Reasoning With And Reasoning About Uncertainty In Artificial Intelligence. In: European Summer Meeting of the Association of Symbolic Logic, 1996. Proceedings.

3.	CORREA DA SILVA, F. S. ; ABE, J. M. ; RILLO, M. . Paraconsistent Logics Of Knowledge And Belief. In: International Congress on Logic, Methodology and Philosophy of Science, 1995. Proceedings.

Demais tipos de produção bibliográfica

1.	CORREA DA SILVA, F. S. . Matemática discreta - uma introdução. São Paulo: Cengage Learning, 2010. (Tradução/Livro).

2.	CORREA DA SILVA, F. S. . Programação em MATLAB para engenheiros (segunda edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro).

3.	CORREA DA SILVA, F. S. . Princípios de sistemas de informação (nona edição). São Paulo: Cengage Learning, 2010. (Tradução/Livro).

4.	VALLE, P. H. C. (tradutor) ; CORREA DA SILVA, F. S. . Fundamentos de Programação - Algoritmos, Estruturas de Dados e Objetos. São Paulo: McGraw-Hill, 2007. (Tradução/Livro).

5.	CORREA DA SILVA, F. S. ; MEGA, Giuliano ; SUCUPIRA, Igor Ribeiro . Sistemas de Informação. São Paulo: Thomson, 2005. (Tradução/Livro).

6.	CORREA DA SILVA, F. S. . Construção de Compiladores. São Paulo: Thomson, 2004. (Tradução/Livro).

7.	CORREA DA SILVA, F. S. ; MELO, Ana Cristina Vieira de ; CARNEIRO, M. R. F. . Comunicação Entre Computadores e Tecnologias de Redes. São Paulo: Thomson, 2002. (Tradução/Livro).

8.	CORREA DA SILVA, F. S. . Programação MATLAB Para Engenheiros. São Paulo: Thomson, 2002. (Tradução/Livro).

9.	NUNES, M. ; CORREA DA SILVA, F. S. . Estruturas de Dados e Algoritmos em C++. São Paulo: Pioneira / Thomson Learning, 2002. (Tradução/Livro).

10.	MENDES, M. A. ; CORREA DA SILVA, F. S. . Introdução Aos Sistemas Operacionais. São Paulo: Pioneira / Thomson Learning, 2002. (Tradução/Livro).

Demais trabalhos

1.	CORREA DA SILVA, F. S. . Nomeado para comitê de padronização de interfaces de inteligência artificial (gestão 2005). 2005 (Comitê de padronização de interfaces de IA para a indústria de jogos).

Bancas

Participação em bancas examinadoras

Dissertações

1.	CORREA DA SILVA, F. S.. Participação em banca de Rafael José Peres Correia. Borboleta: um sistema de telessaúde para auxílio à atenção primária domiciliar. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

2.	CORREA DA SILVA, F. S.. Participação em banca de Adeline Cecília Sécolo. Raciocínio espacial qualitativo para um sistema de segurança em tráfego de veículos. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Centro Universitário da FEI.

3.	CORREA DA SILVA, F. S.. Participação em banca de Esdras Lins Bispo Junior. Métricas de avaliação de alinhamento de ontologias. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

4.	CORREA DA SILVA, F. S.. Participação em banca de Daniel Lins da Silva. Sistema de informação para rastreabilidade de produtos florestais baseado em uma arquitetura baseada a serviços. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

5.	CORREA DA SILVA, F. S.. Participação em banca de Fernando Tsuda. Utilização de técnicas de GPGPU em sistema de vídeo-avatar. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

6.	CORREA DA SILVA, F. S.. Participação em banca de Iuri Chaer. Um estudo sobre a teoria da predição aplicada à análise semântica de linguagens naturais. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

7.	CORREA DA SILVA, F. S.. Participação em banca de Maurício Simões Camilo Hernandes. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

8.	CORREA DA SILVA, F. S.. Participação em banca de Silvia Esparrachiari Ghirotti. Reconhecimento de gestos tridimensionais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

9.	CORREA DA SILVA, F. S.. Participação em banca de Alexandre Nascimento Tomoyose. Comparação e classificação de técnicas de estereoscopia para realidade aumentada e jogos. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

10.	CORREA DA SILVA, F. S.. Participação em banca de Simone Hanazumi. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

11.	CORREA DA SILVA, F. S.. Participação em banca de Marcelo Udo. Equivalência e interpretação de modelos UML.P e PDDL para planejamento automático. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Centro Universitário da FEI.

12.	CORREA DA SILVA, F. S.. Participação em banca de Daniel Rodolfo Balsys Maia. Uma Metodologia para o Desenvolvimento de Ambientes de Ensino Usando Salas de Aula Virtuais Sobre a Internet. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

13.	CORREA DA SILVA, F. S.. Participação em banca de Alex Fernandes da Veiga Machado. Uma Engine em XNA e PROLOG para Apoio ao Ensino de Programação Declarativa. 2009. Dissertação (Mestrado em Computação Aplicada e Automação) - Universidade Federal Fluminense.

14.	CORREA DA SILVA, F. S.. Participação em banca de Maurício Alexandre Parente Burdelis. Ajuste de taxas de mutação e de cruzamento de algoritmos genéticos utilizando-se inferência nebulosas. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

15.	CORREA DA SILVA, F. S.. Participação em banca de Valquiria Fenelon Pereira. Autolocalização qualitativa para um robô móvel utilizando informação de sombras. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Centro Universitário da FEI.

16.	CORREA DA SILVA, F. S.. Participação em banca de Guilherme Tozo de Carvalho. Aplicação de práticas ágeis na construção de data warehouse evolutivo. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

17.	CORREA DA SILVA, F. S.. Participação em banca de Vilc Quelpe Rufino. Acordo de chaves hierárquico sem certificado. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

18.	CORREA DA SILVA, F. S.. Participação em banca de Paulo Silveira. Geração automática de casos de teste para Web Services. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

19.	CORREA DA SILVA, F. S.. Participação em banca de Edgardo Paul Ponce Escobedo. Modelagem de Contexto Utilizando Ontologias. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

20.	CORREA DA SILVA, F. S.. Participação em banca de André Casado Castaño. Populando ontologias através de informações em HTML - o caso do currículo lattes. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

21.	CORREA DA SILVA, F. S.. Participação em banca de Jenny Crescencia Paredes Aguilar. Abordagem semântica aplicada ao gerenciamento de dados em redes de sensores sem fio. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

22.	CORREA DA SILVA, F. S.. Participação em banca de Juan Carlos Zuniga Torres. Uma metodologia para o desenvolvimento de aplicações de realidade aumentada em telefones celulares utilizando dispositivos sensores. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.

23.	CORREA DA SILVA, F. S.. Participação em banca de Suzana Mayumi Assato. Proposição de uma Estratégia de Inspeção de Software. 2008. Dissertação (Mestrado em Engenharia da Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

24.	CORREA DA SILVA, F. S.. Participação em banca de Alvaro Heiji Miyazawa. Geração parcial de código JAVA a partir de especificações formais Z. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

25.	CORREA DA SILVA, F. S.. Participação em banca de Andre Gustavo de Andrade. Integração de verificadores formais para agentes móveis. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

26.	CORREA DA SILVA, F. S.. Participação em banca de Álvaro Roberto Silvestre Fialho. Exploração de relações entre as técnicas nebulosas e evolutivas da inteligência computacional. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

27.	CORREA DA SILVA, F. S.. Participação em banca de Eduardo Costa Jacober. Proposta e implementação de uma interface para motores de jogos interativa e centrada no usuário. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

28.	CORREA DA SILVA, F. S.. Participação em banca de André Iasi Moura. WBLS: Um sistema de localização de dispositivos móveis em redes Wi-Fi. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

29.	CORREA DA SILVA, F. S.. Participação em banca de Marcos Antonio Cavalhieri. Modelo comportamental baseado em crenças e teoria bayesiana para simulações de vida artificial com humanos virtuais. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

30.	CORREA DA SILVA, F. S.. Participação em banca de Juliana Jabra Chahoud. Planejamento para Serviços Web Semânticos. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

31.	CORREA DA SILVA, F. S.. Participação em banca de Alexandre Maciel. Aplicação de autômatos nebulosos no reconhecimento aproximado de cadeias. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

32.	CORREA DA SILVA, F. S.. Participação em banca de Christian Paz Trillo. Recuperação de vídeos indexados por conceitos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

33.	CORREA DA SILVA, F. S.. Participação em banca de Thiago Schumacher Barcelos. Interfaces prestativas baseadas em visão computacional e informação de contexto. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

34.	CORREA DA SILVA, F. S.. Participação em banca de Eduardo Akira Kinto. Máquinas de Vetores-Suporte Aplicadas à Classificação de Textos Reduzidos. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

35.	CORREA DA SILVA, F. S.. Participação em banca de Edward Mitsuo Iwanaga Iamamoto. Planejamento Hierárquico Usando GOLOG. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

36.	CORREA DA SILVA, F. S.. Participação em banca de Alexandre Sussumu Hirohashi. Aprendizado de Regras de Substituição para Normatização de Textos Históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

37.	CORREA DA SILVA, F. S.. Participação em banca de Leo Kazuhiro Ueda. Composição e Performance Musical Utilizando Agentes Móveis. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

38.	CORREA DA SILVA, F. S.. Participação em banca de Fábio Tozeto Ramos. Inferência probabilística em sistemas com restrições de tempo e memória . 2003. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

39.	CORREA DA SILVA, F. S.. Participação em banca de Marcelo de Souza Amorim. Uma técnica de verificação para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

40.	CORREA DA SILVA, F. S.. Participação em banca de Fernando Antônio Mac Cracken Cezar. Bancos de dados obsolescentes e uma proposta de implementação. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

41.	CORREA DA SILVA, F. S.. Participação em banca de Rogério de Carlo. Classificação e Seleção de Componentes de Software Concorrentes. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

42.	CORREA DA SILVA, F. S.. Participação em banca de Carlos Daniel Chacur Alves. Etiquetagem de Textos em Português Baseada em Corpus. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

43.	CORREA DA SILVA, F. S.. Participação em banca de Vera Nagamuta. Coordenação de Agentes Móveis Através do Canal de Broadcast. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

44.	CORREA DA SILVA, F. S.. Participação em banca de Roberto Brunori Junior. Uma Teoria de Primeira Ordem para Especificação e Análise de Protocolos de Criptografia. 1999 - Universidade Estadual do Ceará.

45.	CORREA DA SILVA, F. S.. Participação em banca de Paulo Sérgio Prampero. Combinação de Classificadores para Reconhecimento de Padrões. 1998. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

46.	CORREA DA SILVA, F. S.. Participação em banca de Loreley Zavattiero. Implementação de um Fragmento de TSQL2 para Bancos de Dados de Tempo de Validade. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

47.	CORREA DA SILVA, F. S.. Participação em banca de Jerônimo Pellegrini. Um Estudo do Sistema OYSTER-CLAM. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

48.	CORREA DA SILVA, F. S.. Participação em banca de Ana Maria Monteiro. Lógicas Não Monotônicas para Sistemas Multiagentes. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

49.	CORREA DA SILVA, F. S.. Participação em banca de Marcelo de Souza Lauretto. Árvores de Classificação para Escolha de Estratégias de Operação em Mercados de Capitais. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

50.	CORREA DA SILVA, F. S.. Participação em banca de Jorge Nakahara Jr.. Criptoanálise Diferencial-linear Aplicada às Cifras FEAL-N e FEAL-NX. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

51.	CORREA DA SILVA, F. S.. Participação em banca de Maria Aparecida Martins de Paula. Implementações Sistólicas de Redes Neurais Artificiais. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

52.	CORREA DA SILVA, F. S.. Participação em banca de André Gama de Almeida. Estimativa de Propriedades Hidrodinâmicas no Projeto de um ROV. 1995. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.

53.	CORREA DA SILVA, F. S.. Participação em banca de Everardo Nóbrega de Queiroz. Racionalidade e Solução de Problemas: a Teoria Científica da Racionalidade em Inteligência Artificial. 1994. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

54.	CORREA DA SILVA, F. S.. Participação em banca de Maristela Ribas Biazzi. Valores Vazios e Incertezas no Modelo de Dados Relacional. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Teses de doutorado

1.	CORREA DA SILVA, F. S.. Participação em banca de Elisandra Aparecida Alves da Silva. Proposta de um processo sistemático baseado em métricas não-dicotômicas para avaliação da predição de links em redes de coautoria. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

2.	CORREA DA SILVA, F. S.. Participação em banca de Daniel Costa de Paiva. Modelagem e simulação de agentes com aspectos cognitivos para avaliação de comportamento social. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

3.	CORREA DA SILVA, F. S.. Participação em banca de Eduardo Akira Kinto. Otimização e análise das máquinas de vetores de suporte aplicadas à classificação de documentos. 2011. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

4.	CORREA DA SILVA, F. S.. Participação em banca de Paulo Salem da Silva. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

5.	CORREA DA SILVA, F. S.. Participação em banca de Fábio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

6.	CORREA DA SILVA, F. S.. Participação em banca de Fabiana Soares Santana. Uma infraestrutura orientada a serviços para a modelagem de nicho ecológico. 2009. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

7.	CORREA DA SILVA, F. S.. Participação em banca de Gustavo Vasconcellos Cavalcante. Ciência das redes: aspectos epistemológicos. 2009. Tese (Doutorado em Ciências da Informação) - Universidade de Brasília.

8.	CORREA DA SILVA, F. S.. Participação em banca de Caio Augustus Morais Bolzani. Análise de arquiteturas e desenvolvimento de uma plataforma para residências inteligentes. 2009. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

9.	CORREA DA SILVA, F. S.. Participação em banca de Mário Aparecido Corrêa. Modelo de veículos aéreos não tripulados baseado em sistemas multi-agentes. 2008. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

10.	CORREA DA SILVA, F. S.. Participação em banca de Nílton César Furtado Canto. Uma abordagem evolutiva para identificação de procedimentos de raciocínio humano. 2008. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

11.	CORREA DA SILVA, F. S.. Participação em banca de Alexandre Cesar Tavares Vidal. Abordagem semântica aplicada à integração e gerenciamento de recursos e aplicações em grades computacionais. 2007. Tese (Doutorado em Engenharia elétrica) - Escola Politécnica da USP.

12.	CORREA DA SILVA, F. S.. Participação em banca de Ronaldo Cristiano Prati. Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. 2006. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

13.	CORREA DA SILVA, F. S.. Participação em banca de Huei Diana Lee. Seleção de atributos importantes para a extração de conhecimento de bases de dados. 2005. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

14.	CORREA DA SILVA, F. S.. Participação em banca de Jacqueline Brigladori Pugliesi. Pós processamento de regras de regressão. 2004. Tese (Doutorado em Computação (São Carlos)) - Universidade de São Paulo.

15.	CORREA DA SILVA, F. S.. Participação em banca de Cláudia Regina Milaré. Extração de conhecimento de redes neurais artificiais utilizando sistemas de aprendizado simbólico e algoritmos genéticos. 2003. Tese (Doutorado em Computação (São Carlos)) - Universidade de São Paulo.

16.	CORREA DA SILVA, F. S.. Participação em banca de Silvia Maria Fonseca Massruha. Teoria das Coberturas Nebulosas. 2003. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

17.	CORREA DA SILVA, F. S.. Participação em banca de Flávio Tonidandel. Desenvolvimento e implementação de um sistema de planejamento baseado em casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

18.	CORREA DA SILVA, F. S.. Participação em banca de Sílvio Luís Rafaeli Neto. Um Modelo Conceitual de Sistemas de Apoio à Decisão Espacial para Gestão de Desastres por Inundações. 2000. Tese (Doutorado em Engenharia Civil) - Universidade de São Paulo.

19.	CORREA DA SILVA, F. S.. Participação em banca de Bráulio Coelho Ávila. Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para tratar Exceções em Sistemas de Frames com Múltipla Herança. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Participação em bancas de comissões julgadoras

Concurso público

1.	CORREA DA SILVA, F. S.. Professor doutor - USP Leste. 2010. Universidade de São Paulo.

2.	CORREA DA SILVA, F. S.. professor doutor - UFABC. 2010. Universidade Federal do ABC.

3.	CORREA DA SILVA, F. S.. professor doutor. 2009. Universidade Federal do ABC.

4.	CORREA DA SILVA, F. S.. professor doutor. 2008. Universidade de São Paulo.

5.	CORREA DA SILVA, F. S.. professor doutor - IME-USP (campus Butantã). 2008. Universidade de São Paulo.

6.	CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2008. Universidade de São Paulo.

7.	CORREA DA SILVA, F. S.. Professor doutor (Bancos de dados). 2007. Universidade de São Paulo.

8.	CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2007. Escola de Artes, Ciências e Humanidades.

9.	CORREA DA SILVA, F. S.. Professor doutor - USP. 2006. Universidade de São Paulo.

10.	CORREA DA SILVA, F. S.. Professor doutor - USP. 2006. Universidade de São Paulo.

11.	CORREA DA SILVA, F. S.. Professor Doutor - UNIFESP. 2006. Universidade Federal de São Paulo.

12.	CORREA DA SILVA, F. S.. Professor doutor - USP Zona Leste. 2006. Universidade de São Paulo.

13.	CORREA DA SILVA, F. S.; COSTA, Antonio Augusto Loureiro da; SANTOS, Debora Abdalla. Professor assistente - UEFS. 2005. Universidade Estadual de Feira de Santana.

14.	CORREA DA SILVA, F. S.. professor doutor - USP. 2000. Universidade de São Paulo.

15.	CORREA DA SILVA, F. S.. professor doutor - USP. 2000. Universidade de São Paulo.

16.	CORREA DA SILVA, F. S.. professor doutor - UNESP (Rio Claro). 1998. Universidade Estadual Paulista Júlio de Mesquita Filho.

Livre docência

1.	CORREA DA SILVA, F. S.. livre docência - USP. 2007. Escola Politécnica da USP.

2.	CORREA DA SILVA, F. S.. livre docência - USP. 2003. Universidade de São Paulo.

3.	CORREA DA SILVA, F. S.. livre docência - USP. 2001. Universidade de São Paulo.

Eventos

Participação em eventos

1.	Autonomous Agents and Multiagent Systems.Autonomous Agents and Multiagent Systems. 2002. (Congresso).

2.	Workcomp - Congresso de Informática.Workcomp - Congresso de Informática. 2002. (Congresso).

3.	Encontro Nacional de Inteligência Artificial.Encontro Nacional de Inteligência Artificial. 2001. (Congresso).

4.	Brazilian Symposium of Computer Music.Brazilian Symposium of Computer Music. 2001. (Congresso).

5.	International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems.International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 2000. (Congresso).

6.	Information Processing and Management of Uncertainty.Information Processing and Management of Uncertainty. 2000. (Congresso).

7.	Simpósio Brasileiro de Inteligência Artificial - SBIA / IBERAMIA.Simpósio Brasileiro de Inteligência Artificial / IBERAMIA. 2000. (Congresso).

8.	Lógica Aplicada - LAPTEC.Lógica Aplicada - LAPTEC. 2000. (Congresso).

9.	International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems.International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. 1999. (Congresso).

10.	International Congress on Expert Systems.International Congress on Expert Systems. 1998. (Congresso).

11.	5th International Workshop on Temporal Representations and Reasoning.5th International Workshop on Temporal Representations and Reasoning. 1998. (Congresso).

12.	seminário para graduação.Computação e Música. 1997. (Seminário).

13.	International Symposium on Optics, Imaging and Instrumentation.International Symposium on Optics, Imaging and Instrumentation. 1996. (Congresso).

14.	European Summer Meeting of the ASL.European Summer Meeting of the ASL. 1996. (Congresso).

15.	IEEE Joint Symposia on Intelligence and Systems.IEEE Joint Symposia on Intelligence and Systems. 1996. (Congresso).

16.	Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira.Tendências Mundiais em Treinamento e Desenvolvimento: Visão Global e a Realidade Brasileira. 1996. (Seminário).

17.	International Fuzzy Systems Association World Congress.International Fuzzy Systems Association World Congress. 1995. (Congresso).

18.	Brazilian Symposium on Computer Music.Brazilian Symposium on Computer Music. 1995. (Congresso).

19.	10th International Congress on Logic, Methodology and Philosophy of Science.10th International Congress on Logic, Methodology and Philosophy of Science. 1995. (Congresso).

20.	International Symposium on Optics, Imaging and Instrumentation.International Symposium on Optics, Imaging and Instrumentation. 1994. (Congresso).

21.	Simpósio Brasileiro de Inteligência Artificial - SBIA.Simpósio Brasileiro de Inteligência Artificial - SBIA. 1994. (Congresso).

22.	seminário regular.Duas Alternativas para Representação de Incertezas em Sistemas Baseados em Conhecimento. 1994. (Seminário).

23.	Simpósio Brasileiro de Inteligência Artificial - SBIA.Simpósio Brasileiro de Inteligência Artificial - SBIA. 1993. (Congresso).

24.	Pesquisa e Ensino em Transportes - ANPET.Pesquisa e Ensino em Transportes - ANPET. 1993. (Congresso).

25.	Applied Logic Conference.Applied Logic. 1992. (Congresso).

26.	Colóquio de Iniciação Cienífica.Colóquio de Iniciação Científica. 1992. (Seminário).

27.	Departmental Seminar.Program Synthesis for Mathematical Morphology. 1992. (Seminário).

28.	European Conference on Symbolic and Quantitative Aspects of Uncertainty.European Conference on Symbolic and Quantitative Aspects of Uncertainty. 1991. (Congresso).

29.	6th International Conference - Uncertainty in Artificial Intelligence.6th International Conference - Uncertainty in Artificial Intelligence. 1990. (Congresso).

30.	.A Multivalued Approach to the Representation of Uncertainty. 1990. (Seminário).

31.	.A Framework for Representing Uncertainty in Automated Reasoning Systems. 1990. (Seminário).

32.	Seminário de CAD-CAM.Seminário de CAD-CAM. 1986. (Seminário).

33.	Primeiro Encontro Regional Sobre Inteligência Artificial.Primeiro Encontro Regional Sobre Inteligência Artificial. 1986. (Encontro).

34.	Treinamento Introdutório em Contabilidade e Finanças.Treinamento Introdutório em Contabilidade e Finanças. 1984. (Oficina).

Organização de eventos

1.	CORREA DA SILVA, F. S. ; BANDINI, S. . Artificial Intelligence and Simulation of Behaviour - Workshop on Intelligent Agents and Services for Smart Environments. 2008. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Marcos Takechi Hirata. Extração de marcadores de textos semi-estruturados. Início: 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

2.	Napoleão Noburu Tateoka. Interação natural com o usuário. Início: 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

3.	Diego Mira David. Sistema funcional para coreografia de serviços. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

4.	Erika Guetti Suca. Interoperabilidade de documentos. Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. (Orientador).

5.	Juliana Sato Yamashita. Apresentações múlitplas de recomendações. Início: 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

Tese de doutorado

1.	Sirley Ambrosia Vitorio Oliveira. Ambientes virtuais multimodais e governo eletrônico. Início: 2008. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

2.	Claudia Josimar Abrao. Mundos virtuais tridimensionais para o governo eletrônico. Início: 2008. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).

3.	Crhistian Noriega. Ambientes inteligentes. Início: 2007. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística. (Orientador).

Supervisão de pós-doutorado

1.	Mirtha Lina Fernández Venero. Início: 2011. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo.

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Fernando Bertolli Petroni. GRMediator: uma biblioteca modular para reconhecimento de gestos. 2010. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . Orientador: Flavio Soares Correa da Silva.

2.	Ary Fagundes Bressane Neto. Uma arquitetura para agentes inteligentes com personalidade e emoção. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

3.	Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

4.	Filipe Correa Lima da Silva. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. 2008. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. Orientador: Flavio Soares Correa da Silva.

5.	Igor Ribeiro Sucupira. Um Estudo Empírico de Hiper-heurísticas. 2007. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

6.	Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. 2007. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

7.	Antônio Luís Basile. Funções valor na alocação de tarefas em sistemas robóticos. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

8.	Marcelo Nunes de Carvalho. Inteligência Artificial em Jogos de Tabuleiro. 2004. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

9.	Robson Moron. Uma Ontologia Artificial para o Sistema Cambial Brasileiro. 2004. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

10.	Eliete do Rocio Costacurta Quadros. Liderança na Construção da Organização de Aprendizagem. 2003. 0 f. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . Orientador: Flavio Soares Correa da Silva.

11.	Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. 2003. 0 f. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . Orientador: Flavio Soares Correa da Silva.

12.	Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. 2003. 0 f. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . Orientador: Flavio Soares Correa da Silva.

13.	Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. 2002. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

14.

Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. 2002. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Flavio Soares Correa da Silva.

15.	Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. 2002. 0 f. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

16.	Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. 2002. 0 f. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

17.	Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. 2002. 0 f. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . Orientador: Flavio Soares Correa da Silva.

18.	Sirley Ambrosia Vitorio. Obsolescência de Informação. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

19.	Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

20.	Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

21.	Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

22.	Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

23.	Jefferson Zanutto. Sistemas de Re-Escritas de Termos: Teoria e Uma Aplicação. 1999. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

24.	Rodrigo de Salvo Braz. Alto Nível Em Redes Neurais. 1998. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

25.	Paulo Eduardo Santos. Equivalência Entre A Semântica da Lógica de Transações e A Semântica de Sua Implementação Prolog. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

26.	Daniela Vasconcelos Carbogim. Lógicas Anotadas: Teoria e Aplicações. 1996. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

27.	Renata Wasserman. A Lógica de Estruturas de Features e Suas Aplicações. 1995. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

28.	Roderick Mclean. Testing and Extending the Incidence Calculus. 1992. Dissertação - University of Edinburgh, . Co-Orientador: Flavio Soares Correa da Silva.

Tese de doutorado

1.	Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. 2004. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.

2.	Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. 2000. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . Co-Orientador: Flavio Soares Correa da Silva.

3.	Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. 2000. Tese - Universidade de São Paulo, . Orientador: Flavio Soares Correa da Silva.