Juliana Carpes Imperial

Possui graduação em Engenharia de Computação pela Pontifícia Universidade Católica do Rio de Janeiro (2001), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2003) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2007). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: prova de teoremas, correção de programas, cálculo de Hoare e confiança em sistemas multi-agentes. Na área profissional, de 2007 até 2015, trabalhou com o desenvolvimento de um sistema de banco de dados para uma plataforma de desenvolvimento de programas para dispositivos móveis (TotalCross). Também trabalhou no desenvolvimento e melhoria dessa própria plataforma. De 2015 em diante é servidora da UFRJ, no cargo de analista de TI - desenvolvimento, focando em programação WEB e implantação de sistemas.

graduation at Engenharia de Computação from Pontifícia Universidade Católica do Rio de Janeiro (2001), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2003) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2007). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: correção de programas, cálculo de hoare, invariantes, sistemas multi-agentes abertos and confiança.