Anamaria Martins Moreira

Electrical Engineer from Pontifícia Universidade Católica do Rio de Janeiro (1984), master in Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1990) and Doctor in Computer Science from Institut National Polytechnique de Grenoble (1995). Post-doc in LORIA (INRIA, Nancy, France - 2002) and in PUC-Rio (2012). Currently is a professor at UFRJ, continuing the work done in UFRN from 1997 up to 2013. Supervise or has supervised undergraduate, master and doctorate students. Has experience in Computer Science, focusing on the subjects: formal specifications, rewriting, tool support for formal methods and testing. From 2008 and up to 2011, also acts as International Affairs Officer for UFRN. From 2011 to 2014 coordinated a mobility project for undergraduate students in Computer Science and Engineering with Holand.

possui graduação em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio - 1984), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1990), doutorado em Informática pelo Institut National Polytechnique de Grenoble (1995), pós doutorado no LORIA (INRIA, Nancy, França - 2002) e na PUC-Rio (2012). Atualmente é professora-pesquisadora da Universidade Federal do Rio de Janeiro, onde continua o trabalho desenvolvido entre 1997 e 2013 na Universidade Federal do Grande do Norte. Orienta ou orientou alunos de graduação, mestrado e doutorado. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: especificações formais (algébricas e baseadas em conjuntos), sistemas de reescrita, ferramentas de apoio aos métodos formais e testes. De 2008 a 2011 atuou como Assessora para Assuntos Internacionais da UFRN, quando coordenou a reestruturação do setor, passando então a Secretária de Relações Internacionais. No período 2011-2014 coordenou projeto de graduação sanduíche em computação com a Holanda.