Educação e Títulos Acadêmicos
Prof. Livre Docente, Instituto de Matemática e Estatística da USP, 2011.
Doutorado, Ciência da Computação, The University Of Manchester, UM, Inglaterra, 1995.
Mestrado, Ciência da Computação, Universidade Federal de Pernambuco, UFPE, 1989.
Graduação em Ciência da Computação, Universidade Federal de Pernambuco, UFPE, 1986.
Cursos que costuma lecionar
Engenharia de Software; Verificação Formal de Programas; Introdução à Programação; Laboratório de Engenharia de Software; Conceitos de Linguagens de Programação; Conceitos Fundamentais de Linguagens de Programação; Introdução a Verificação de Programas; Laboratório de Inteligência Artificial; Introdução à Computação para Ciências Exatas e Tecnologia; Métodos Formais em Programação; Software Confiável: Desenvolvimento Formal; Tópicos em Engenharia de Software; Introdução a Computação para Engenharias; Métodos Formais para Especificação e Construção de Programas; Sistemas Baseados em Conhecimento; Laboratório de Programação; Reutilização de Software e Hardware; Álgebra Booleana e Aplicações.
Principais prêmios recebidos ao longo da carreira
Jabuti 2007 – 1o. Lugar: Melhor Livro de Ciências Exatas, Tecnologia e Informática (Livro: Lógica para computação), CBL – Câmara Brasileira do Livro, 2007.
Jabuti 2004 – Indicado entre os 10 Melhores Livros de Ciências Exatas, Tecnologia e Informática (Livro: Princípios de Linguagens de Programação), CBL – Câmara Brasileira do Livro, 2004.
Publicações selecionadas
1. HANAZUMI, SIMONE ; de Melo, Ana C.V.; P’S’REANU, CORINA S. . From Test Purposes to Formal JPF Properties. Software Engineering Notes, v. 40, p. 1-5, 2015.
2. DA SILVA, P. S. ; DE MELO, A. C. V. . On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simulation (San Diego, Calif.), v. 89, p. 977-1008, 2013.
3. de Melo, Ana C.V.; SILVEIRA, Paulo. Improving data perturbation testing techniques for Web services. Information Sciences, v. 181, p. 600-619, 2011.
4. Pereira, David P.; de Melo, Ana C.V. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming (Print), v. 75, p. 333-349, 2010.
5. da Silva, Paulo Salem; de Melo, Ana C.V. . Model Checking Merged Program Traces. Electronic Notes in Theoretical Computer Science, v. 240, p. 97-112, 2009.