Adilson Luiz Bonifácio

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2000), doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2009) e Pós-doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2014). Atualmente é professor Associado do Departamento de Computação da Universidade Estadual de Londrina e pesquisador colaborador no Instituto de Computação da Universidade Estadual de Campinas. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação e Engenharia de Software, atuando principalmente nos seguintes temas: Verificação e Validação Formal em Sistemas críticos, reativos e de tempo real. (Fonte: Currículo Lattes)