member of
- Ciência da Computação Aplicada à Indústria Research Group
- Desenvolvimento de Sistemas Críticos e Complexos Research Group
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.
graduation in Computer Science at Universidade Estadual de Maringá (1997), master's in Computer Science at Universidade Estadual de Campinas (2000), doctorate in Computer Science at Universidade Estadual de Campinas (2009) and post-doctorate in Computer Science at Universidade Estadual de Campinas (2014). Currently he is Associate professor at Departamento de Computação from Universidade Estadual de Londrina and collaborator researcher at Instituto de Computação from Universidade Estadual de Campinas.
Has experience in Computer Science, focusing on Computer Theory and Software Engineering, acting on the following subjects: Formal verification and validation on Reactive, Real-time and Critical Systems.
Research Areas
- Overview
- Affiliation
- Publications
- Research
- Teaching
- Identity
- View All