Adenilso da Silva Simao

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). Desde 2004 é 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.

graduate at Bacharel Em Ciência da Computação from Universidade Estadual de Maringá (1997), master's at Computer Science from Universidade de São Paulo (2000) and ph.d. at Computer Science from Universidade de São Paulo (2004). Since 2004, he is full professor at USP. Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: teste de software, análise de mutantes, paradigma transformacional, ferramentas de teste and prototipação de ferramentas.