Possui graduação em Ciência da Computação pela Universidade Federal Fluminense (1992), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1994), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2000) e pós-doutorado pelo Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia da UFRJ. É Professora Titular do Instituto de Computação da Universidade Federal Fluminense, professora permanente do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia, da UFRJ. Atuou na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, focando principalmente nos seguintes temas: linguagens de programação e especificação formal de sistemas. Atua na área de Sistemas de Informação focando principalmente nos seguintes temas: Computação e Sociedade e Abordagens Sociotécnicas em Sistemas de Informação. Atua na área de Estudos Sociais de Ciência e Tecnologia, focando principalmente a História da Computabilidade e investigações sobre o trabalho acadêmico. Atua em ensino de graduação na Universidade Federal Fluminense desde 1994 e coordena projetos de extensão desde 2005. Participou do processo de concepção e implantação do curso de Bacharelado em Sistemas de Informação da Universidade Federal Fluminense, do qual foi vice-coordenadora por seis anos. É sócia fundadora e membro da diretoria (gestões eleitas 2017-2019 e 2019-2021) da Associação Brasileira de Estudos Sociais de Ciência e Tecnologia (ESOCITE.BR). É sócia das seguintes entidades: Associação Nacional de História (ANPUH), Sociedade Brasileira de História das Ciências (SBHC), International Association for Computing And Philosophy (IACAP), Computability in Europe(CiE), Sociedade Brasileira de Computação(SBC).
bachelor's at Ciência da Computação from Universidade Federal Fluminense (1992), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1994) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2000). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: informática e sociedade, estudos de ciência, tecnologia e sociedade, linguagens de programação, especificação formal de sistemas and inclusão digital.
