Ana Cristina Rocha Oliveira Valverde

Graduation at Mathematics from Universidade de Brasília (2009) and master's at Mathematics from Universidade de Brasília (2012), acting on the following subjects: orthogonality, confluence, term rewriting systems and formalization.

Possui graduação em Matemática pela Universidade de Brasília (2009), mestrado em Matemática pela Universidade de Brasília (2012) e doutorado em Ciência da Computação pela Universidade de Brasília (2016), atuando principalmente nos seguintes temas: ortogonalidade, confluência, sistema de reescrita de termos e formalização.