Claudia Fernanda Oliveira Kiermes Tavares

is a 2005 graduate of Federal University of Rio Grande do Norte at Computer Science and is a 2004 web development technician by the Rio Grande do Norte Federal Institute of Education, Science and Technology. She has experience in Computer Science, focusing on Software Engeneering, acting on the subject of Formal Methods. She is Master of Systems and Computer Science from the Federal University of Rio Grande do Norte (2007) whose thesis focus on the formal verification. She is Phd in Computer Science from the University of Lorraine (2012) in France and her dissertation concerns term rewriting and type systems. She is currently doing a pos-doctoral research at the Federal University of Rio Grande do Norte focusing on type systems in the field of SMT solvers.

possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte (2005) e é técnica em Desenvolvimento Web pelo Centro Federal de Educação Tecnológica do Rio Grande do Norte (2004). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente na área de métodos formais. Mestre em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2007), cuja dissertação foca-se na sub-área de verificação formal. Doutora em Computação pela Universidade da Lorena (2012) na França, cuja tese permeia os temas de reescrita de termos e sistemas de tipo. Atualmente realizando pós-doutorado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (desde out/2012) com foco em sistemas de tipos no domínio de resolvedores SMT.