Tarciana Dias da Silva

Tarciana Dias da Silva possui graduação (2006), mestrado (2008) e doutorado (2017) em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE). É docente do curso de Engenharia da Computação da Escola Politécnica de Pernambuco (Poli/UPE). Também trabalha como analista de sistemas no TJPE, atualmente na área de testes de software, tendo também já atuado como analista de negócios e requisitos, gerente de projetos e projetista de sistemas. Tem experiência de pesquisa na área de Ciência da Computação, com ênfase em métodos formais/validação de especificaçôes de transformação de programas (no doutorado) e sistemas distribuídos (no mestrado e graduação). Atualmente, a principal área de interesse é Engenharia de Software, com ênfase em Métodos Formais e Testes, Verificação e Validação de Programas.

graduation at Ciência da Computação from Universidade Federal de Pernambuco (2005) and master's at Ciência da Computação from Universidade Federal de Pernambuco (2008). Has experience in Computer Science, acting on the following subjects: services, routing protocols, ambient networks, diretórios distribuídos and redes heterogêneas.