Professor Adjunto na Universidade Federal do Rio Grande do Norte Departamento de Computação e Tecnologia - CERES/UFRN - Campus Caicó.
http://lattes.cnpq.br/4420554987782575
Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
Tenho graduação em Licenciatura Plena em Matemática pela Universidade Estadual da Paraíba (2003), bacharel 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) na área de engenharia de software e métodos formais.
Áreas de Interesse
(áreas de interesse de ensino e pesquisa)
engengraria de software, banco de dados, programação web, métodos formais, poo, sistemas de informação, verificação de modelos e redes de petri.
LABENS - Research Laboratory: https://labens-ufrn.github.io/labens LABICAN - Research Laboratory: https://labican-ufrn.github.io/labican ResearchGate: https://www.researchgate.net/profile/Taciano_Silva