Silvio do Lago Pereira

Silvio do Lago Pereira possui graduação em Tecnologia de Processamento de Dados pela Universidade Estadual Paulista (1990), licenciatura em Formação de Professores para Ensino Técnico pela Universidade Estadual Paulista (1992), especialização em Automação Industrial pela Escola de Engenharia Industrial de São José dos Campos (1993), mestrado em Ciência da Computação pela Universidade de São Paulo (2002) e doutorado em Ciência da Computação pela Universidade de São Paulo (2007), cuja tese obteve o prêmio de Melhor Tese de Doutorado em Inteligência Artificial do Brasil (biênio 2006-2007), em concurso promovido pela Sociedade Brasileira de Computação (2008). Recebeu bolsa de Produtividade em Pesquisa do CNPq, com o projeto intitulado "Planejamento baseado em Métodos Formais" (Processo N 304322/2009-1), de 2010 a 2013. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: metodologia e técnicas de computação, métodos formais e verificação de modelos, planejamento automatizado e programação em lógica. Atualmente é professor (PES-III-p) do Departamento de Tecnologia da Informação da Faculdade de Tecnologia de São Paulo (FATEC-SP), do Centro Estadual de Educação Tecnológica "Paula Souza" (CEETEPS). (Fonte: Currículo Lattes)