Possui graduação em Engenharia Química pela Universidade Federal do Rio de Janeiro (1970), mestrado em M A Mathematics - University of California Berkely (1973) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1985). É professora adjunta aposentada do Universidade Federal do Riode Janeiro.Atualmente é prof. titular da Universidade do Estado do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria de Programação, atuando principalmente nos seguintes temas: lógica modal, algebra relacional, raciocínio genérico, raciocíno qualitativo e algebra com fork.
bachelor's at Engenharia Química from Universidade Federal do Rio de Janeiro (1970), master's at M A Mathematics from University of California System (1973) and doctorate at Computer Science from Universidade Federal do Rio de Janeiro (1985). Has experience in Computer Science, acting on the following subjects: lógica modal, algebra relacional, raciocínio genérico, raciocíno qualitativo and algebra com fork.