Biografia
Possui graduação em Licenciatura Plena em Matemática pela Universidade Estadual da Paraíba (2003), bacharelado em Ciência da Computação pela Universidade Federal de Campina Grande (2004) e mestrado em Informática pela Universidade Federal de Campina Grande (2005). Atualmente sou professor adjunto da Universidade Federal do Rio Grande do Norte no Departamento de Computação e Tecnologia DCT/CERES em Caicó - RN. Também sou aluno do Doutorado em Ciência da Computação no PPGCC/UFCG - Campus Campina Grande. Fui professor do IFRN, da Faculdade de Ciências Sociais e Aplicadas e da Faculdades Integradas de Patos, nos cursos de Sistemas de Informação. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software e Métodos Formais, atuando principalmente nos seguintes temas: Evolução de Software, Verificação de Conformidade Arquitetural e Design Testes. Tenho interesse em outros temas relacionados com métodos formais, sistemas de informação, verificação de modelos e redes de petri.
Formação Acadêmica
Áreas de Atuação
Não foi encontrada nenhuma informação para esta seção.
Contatos
E-mail
taciano.silva@ufrn.br