Madiel de Sousa Conserva Filho

Doutor (2016) e Mestre (2011) em Ciência da Computação pela Universidade Federal do Rio Grande do Norte - UFRN. Bacharel em Ciência da Computação pelo Centro Universitário de João Pessoa - UNIPÊ (2008). Atualmente, realiza estágio de pós-doutorado no Programa Acadêmico de Pós-Graduação em Ciências da Computação da Universidade Federal de Pernambuco (CIn-UFPE), no contexto do projeto RoboTIC@. Tem experiência na área de Engenharia de Software com ênfase em Métodos Formais.

PhD in Computer Science from Federal University of Rio Grande do Norte (2016). Master in Computer Science from Federal University of Rio Grande do Norte (2011). Holds a BA in Computer Science from Centro Universitário de João Pessoa - UNIPÊ (2008). Has experience in Computer Science, focusing on Software Engineering and Formal Methods