Ana é natural de São Paulo, ingressou como docente na UFRGS, junto ao Departamento de Informática Teórica, em 1999, tendo se tornado Professora Titular em 2016.

Graduou-se em Engenharia pela Universidade de São Paulo (1984) e concluiu o mestrado em Ciência da Computação pelo PPGC, em 1992. Obteve o título de Doutora em Informática pela Universidade de Karlsruhe, em 1997. Entre 1997 e 1998 atuou como Research Assistant na Universidade de Massachusetts (Amherst). Ao longo de sua carreira, manteve forte cooperação com pesquisadores da Alemanha. Realizou pós-doutorado na Universidade Würzburg, com bolsa da Fundação Alexander Von Humboldt, entre 2006 e 2007. Foi novamente bolsista desta fundação, em 2014 e 2018, na Universidade Humboldt (Berlim) e na Universidade Técnica de Berlim. Mais recentemente, entre 2021 e 2022, foi bolsista do Käte Hamburguer Kolleg, na Universidade Técnica de Aachen (RWTH).

Em 2012, Ana foi premiada com o 1º lugar no Prêmio Santander Universidades – Ciência e Inovação. Em 2020, foi agraciada com o Prêmio Pesquisador Gaúcho, pela FAPERGS, na área de Matemática, Estatística e Computação. Recentemente, em outubro de 2023, foi reconhecida como uma dentre os 10 Brasileiros de Destaque em Inteligência Artificial.

Ao longo dos seus 25 anos no INF, Ana ministrou disciplinas de Inteligência Artificial Avançada, Computação Numérica e Simbólica, Introdução à Bioinformática, Laboratório de Programação em Lógica, Linguagens Formais e Autômatos e Lógica para Computação. Contribuiu, também, em diversos cargos administrativos: foi Chefe e Chefe Substituta do Departamento de Informática Teórica, por vários mandatos, e membro da Comissão de Pesquisa do INF e sua Vice-Coordenadora. Além dessa atuação interna, foi Membro do Comitê Matemática, Estatística e Computação da FAPERGS. Sua aposentadoria foi publicada no D.O.U de 09 de agosto de 2024.