Adenilso da Silva Simão

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). É Professor Titular da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação. Na USP, atuou como coordenador do Bacharelado em Sistemas de Informação (Graduação), coordenador do Programa de Ciências da Computação e Matemática Computacional (Pós-Graduação), presidente da Comissão de Pós-Graduação do ICMC, coordenador da Câmara de Normas da Pró-Reitoria de Pós-Graduação, Pró-Reitor Adjunto de Pós-Graduação, Diretor do Centro de Informática de São Carlos, Vice-Diretor do ICMC. Atuou também como membro do Conselho da Sociedade Brasileira de Computação, Presidente da Comissão Especial de Métodos Formais, e membro da Comissão de Educação. Atuou como editor do Journal of Software Engineering Research and Development e como membro do corpo editorial da Science of Computer Programming. (Fonte: Currículo Lattes)