Adenilso da Silva Simão

Descrição:

Linhas de Pesquisa

Engenharia de Software

Formação acadêmica/titulação

2004 - Doutorado em Ciências da Computação e Matemática Computacional
Universidade de São Paulo, USP, Brasil
Título: Aplicação da Análise de Mutantes no Contexto do Teste e Validação de Redes de Petri Coloridas
2000 - Mestrado em Ciências da Computação e Matemática Computacional
Universidade de São Paulo, USP, Brasil
Título: Proteum-RS/PN: Uma ferramenta para a validação de Redes de Petri baseada na Análise de Mutantes
1997 - Graduação em Bacharel Em Ciência da Computação
Universidade Estadual de Maringá, UEM, Brasil
Título: AniMAL: Um protótipo de um animador para Lógica Modal de Ações

Informações

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 da Universidade de São Paulo (atualmente, é Professor Associado Nível 2). 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.

Projetos

• Desenvolvimentos Computacionais Aplicados a Processo de Refino – Escoamentos Multifásicos