Silvio do Lago Pereira

Silvio do Lago Pereira possui graduação em Tecnologia de Processamento de Dados pela Universidade Estadual Paulista (1990), 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 a primeira colocação no Concurso de Teses e Dissertações em Inteligência Artificial (2008), promovido pela Sociedade Brasileira de Computação. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente em planejamento automatizado, métodos formais e verificação de modelos, aprendizado indutivo 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).

graduate at Formação de Professores para Ensino Técnico from Faculdade de Tecnologia de São Paulo (1992), graduate at Tecnologia em Processamento de Dados from Universidade Estadual Paulista Júlio de Mesquita Filho (1990), master's at Computer Science from Universidade de São Paulo (2002) and ph.d. at Computer Science from Universidade de São Paulo (2007). , acting on the following subjects: programação de computadores, engenharia de software, inteligência artificial, algoritmos and planejamento sob incerteza.