Engenharia de Software
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
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.
Engenharia de Software
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
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.