Anna Carolina Carvalho Moreira de Oliveira

Aluna de Doutorado no Programa de Engenharia de Sistemas e Computação na linha de Inteligência Artificial, na COPPE-UFRJ. E desenvolvedora do CAPGov (Centro de Apoio a Políticas de Governo). Possui graduação em Ciências Matemáticas e da Terra pela Universidade Federal do Rio de Janeiro (2014) e Mestrado no Programa de Engenharia de Sistemas e Computação na linha de Inteligência Artificial, na COPPE-UFRJ (2018). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas.

She is a doctoral student in Artificial Intelligence at the Department of Systems Engineering and Computer Science at COPPE-UFRJ. And developer at CAPGov (Government Policy Support Center). She has Bachelor's degree in Mathematics and Earth Sciences from Federal University of Rio de Janeiro (2014) and master's degree in Artificial Intelligence at the Department of Systems Engineering and Computer Science at COPPE-UFRJ (2018). Has experience in Computer Science, focusing on Logics and Program Semantics