graduate at Bacharelado Em Ciência da Computação from Universidade de São Paulo (1976), master's at Mathematics from Universidade de São Paulo (1983) and ph.d. at Mathematics from Universidade de São Paulo (1992). Has experience in Computer Science, focusing on Formal Languages and Automata, acting on the following subjects: relação racional, expressao regular, transdutor, funcao sequencial and funcao subsequencial.
possui graduação em Bacharelado em Ciência da Computação pela Universidade de São Paulo (1976), mestrado em Matemática Aplicada pela Universidade de São Paulo (1983) e doutorado em Matemática Aplicada pela Universidade de São Paulo (1992). Atualmente é professora doutora da Universidade de São Paulo. Tem experiência na área de Teoria da Computação, com ênfase em Linguagem Formais e Autômatos.