IME-USP

Flavio Soares Correa da Silva
Professor Associado
Departamento de Ciência da Computação

Endereço: Rua do Matão, 1010
CEP 05508-090 – São Paulo – SP – Brasil
Sala: 211C
Telefone: (11) 3091-9600

Educação e Títulos Acadêmicos
Prof. Livre Docente, Instituto de Matemática e Estatística da USP, 2000.
Doutorado, Inteligência Artificial, University Of Edinburgh, UED, Grã-Bretanha, 1992.
Mestrado, Engenharia de Transportes, Universidade de São Paulo, 1989.
Graduação em Engenharia de Produção, Universidade de São Paulo, 1984.

Cursos que costuma lecionar
Laboratório de Programação; Inteligência Artificial; Introdução à Computação; Métodos formais em programação; Metodologia de pesquisa em inteligência artificial; Engenharia de software; Fundamentos metodológicos para a Inteligência Artificial; Tópicos de Engenharia de Software; Laboratório de Inteligência Artificial; Introdução à Computação para Ciências Humanas; Fundamentos de Inteligência Artificial; Inteligência Artificial para Jogos de Computador; Técnicas de programação declarativa; Tópicos de inteligência artificial; Teoria de Programação em Lógica; Aprendizagem Computacional: Modelos, Algoritmos e Aplicações; Estruturas de Dados; Introdução a Inteligência Artificial; Noções Práticas de Computação.

Principais prêmios recebidos ao longo da carreira
Academic Advisor (reconhecimento acadêmico), Foundation For Social Innovation, USA, 2015.
Best paper award, International Conference on Entertainment Computing, 2013.
ACM Senior Member, Association for Computing Machinery (USA), 2009.
AISB Senior Member, AISB – British Society for Studies of Artificial Intelligence and Simulation of Behaviour, 2009.
Prêmio Jabuti 2007 – Primeiro lugar (livro Lógica para Computação), Câmara Brasileira do Livro, 2007.

Publicações selecionadas
1. CORREA DA SILVA, F. S.; AGUSTI, J.. Issues on Knowledge Coordination. Knowledge and Process Management (Online), v. 10, n.1, p. 37-59, 2003.
2. 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.
3. 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.
4. FERNÁNDEZ VENERO, MIRTHA LINA; CORRÊA DA SILVA, FLÁVIO SOARES. Model checking multi-level and recursive nets. Software and Systems Modeling (Print), v. 1, p. 1-28, 2016.
5. CORREA DA SILVA, F. S.. Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems, v. 30, p. 1-24, 2011.