Ana Cristina Vieira de Melo é uma proeminente professora e pesquisadora brasileira na área de Ciência da Computação. Com doutorado pela Universidade de Manchester, Inglaterra, e mestrado e graduação pela Universidade Federal de Pernambuco (UFPE), ela leciona no Instituto de Matemática e Estatística da USP. Sua expertise abrange Engenharia de Software, Verificação Formal de Programas, Conceitos de Linguagens de Programação e Métodos Formais em Programação. Entre suas obras de destaque estão "Princípios de linguagens de programação", "Lógica para computação" e "Modelos clássicos de computação". Seu livro "Lógica para computação" foi agraciado com o Prêmio Jabuti em 2007, e "Princípios de Linguagens de Programação" foi indicado entre os melhores livros da categoria em 2004.
