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.

Informações coletadas do Lattes em 10/02/2026

Acadêmico

Formação acadêmica

Doutorado em Informática

2003 - 2007

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Confiança em Agentes Inteligentes
, Ano de obtenção: 2007. Edward Hermann Haeusler. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Agentes inteligentes; BDI; Lógica modal; Confiança; Lógica Epistêmica; Sistemas Multi-Agentes Abertos. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Setores de atividade: Informática; Outros.

Mestrado em Informática

2001 - 2003

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Técnicas para o Uso do Cálculo de Hoare em PCC
, Ano de Obtenção: 2003.Edward Hermann Haeusler.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Código não-confiável; PCC; Cálculo de Hoare; Prova de Teoremas; Invariantes; Compilador. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Setores de atividade: Desenvolvimento de Programas (Software).

Graduação em Engenharia de Computação

1997 - 2001

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Uma Visão Geral da Análise da Consistência
Orientador: Therezinha Souza da Costa
Bolsista do(a): Pontifícia Universidade Católica, PUC-RIO, Brasil.

Ensino Médio (2º grau)

1994 - 1996

Colegio Ph

Ensino Fundamental (1º grau)

1993 - 1993

Colégio Van Gogh

Ensino Fundamental (1º grau)

1986 - 1992

Colegio marista Sao Jose

Formação complementar

2025 - 2025

Introduction to Cybersecurity. (Carga horária: 7h). , Cisco Systems, CISCO, Estados Unidos.

2024 - 2024

Treinamento para Mesários - Eleições 2024. (Carga horária: 8h). , TRIBUNAL SUPERIOR ELEITORAL, TSE_PPPROV, Brasil.

2022 - 2022

Treinamento para Mesários - Eleições 2022. (Carga horária: 8h). , TRIBUNAL SUPERIOR ELEITORAL, TSE_PPPROV, Brasil.

2021 - 2021

Lei Brasileira de Proteção de Dados Pessoais. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2020 - 2020

Excelência no Atendimento. (Carga horária: 20h). , Instituto Legislativo Brasileiro, ILB, Brasil.

2020 - 2020

CONHECENDO O NOVO ACORDO ORTOGRÁFICO. (Carga horária: 20h). , Instituto Legislativo Brasileiro, ILB, Brasil.

2019 - 2019

SEI! USAR. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2019 - 2019

LibreOffice. (Carga horária: 120h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2018 - 2018

Linux Mint. (Carga horária: 120h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2018 - 2018

Treinamento para Mesários - Eleições 2018. (Carga horária: 6h). , Tribunal Superior Eleitoral, TSE, Brasil.

2017 - 2017

Segurança da Informação. (Carga horária: 90h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2016 - 2016

Redação Oficial. (Carga horária: 60h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2015 - 2015

Curso de Joomla!. (Carga horária: 80h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2002 - 2003

Preparatório Para o Exame de Cambridge do CAE. , Cultura Inglesa, CI, Brasil.

2001 - 2003

Inglês. , Cultura Inglesa, CI, Brasil.

2001 - 2001

Tecnologias da Informação Aplicadas à Educação. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

2000 - 2000

Planejamento de Negócios. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

2000 - 2000

Noções de Liderança. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

1999 - 1999

Avaliação da Qualidade da Informação na Web. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

1997 - 1997

Word 95. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.

1997 - 1997

Pascal. , Instituto Brasileiro de Pesquisa Em Informática, IBPI, Brasil.

1988 - 1996

Inglês. , Cultura Inglesa, CI, Brasil.

1993 - 1993

dos 6 2. , Instituto Brasileiro de Pesquisa Em Informática, IBPI, Brasil.

1993 - 1993

Windows 3 1. , Instituto Brasileiro de Pesquisa Em Informática, IBPI, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Japonês

Compreende Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Análise Numérica.

Participação em eventos

IX SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS.Serviço da Web do Sistema Integrado de Gestão Acadêmica da UFRJ (SIGA). 2021. (Seminário).

VIII SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS.Serviço da Web do Sistema de Pessoal da UFRJ (SIRHu) para Recuperar Dados de Servidores. 2020. (Seminário).

1º Seminário Agility Scrum. 2019. (Seminário).

CAOS - Conferência Anual Orientada a Segurança. 2019. (Outra).

Semana da Computação da UFRJ. 2019. (Outra).

VII SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS.PINC ? Sistema do Programa de Iniciação Científica da Faculdade de Medicina da UFRJ. 2019. (Seminário).

CAOS - Conferência Anual Orientada a Segurança. 2018. (Outra).

Semana da Computação da UFRJ. 2018. (Outra).

CAOS - Conferência Anual Orientada a Segurança. 2017. (Outra).

Semana da Computação da UFRJ. 2017. (Outra).

CAOS - Conferência Anual Orientada a Segurança. 2016. (Outra).

CAOS - Conferência Anual Orientada a Segurança. 2015. (Outra).

GTER39|GTS25. 2015. (Encontro).

XVIII SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2015. (Simpósio).

SBBD 2014 - Simpósio Brasileiro de Banco de Dados.Litebase: A Database System for Mobile Devices. 2014. (Simpósio).

XVII SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2014. (Simpósio).

XVI SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2013. (Simpósio).

VII INFORMAR - Simpósio de Tenologia da Informação e Comunicações da Marinha. 2012. (Simpósio).

XV SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2012. (Simpósio).

Escola Regional de Informática - ERI 2011.Confiança em Agentes Inteligentes. 2011. (Encontro).

Minicurso 1 do XIV SPOLM - Modelagem e Simulação Computacional. 2011. (Simpósio).

Minicurso 2 do XIV SPOLM - Problemas de Clusterização e Roteamento de Veículos em Otimização Combinatória. 2011. (Simpósio).

XIV SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2011. (Simpósio).

Escola Regional de Informática (ERI) 2010.Lógica Modal para Sistemas Multi-Agentes Abertos. 2010. (Encontro).

Minicurso 1 do XIII SPOLM - Aprendizagem de Máquinas. 2010. (Simpósio).

VI INFORMAR - Simpósio de Tenologia da Informação e Comunicações da Marinha. 2010. (Simpósio).

XIII SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2010. (Simpósio).

IV Congresso da Academia Trinacional de Ciências. Proof-Carrying Code Usando Cálculo de Hoare. 2009. (Congresso).

IX Encontro Regional de Matemática Aplicada e Computacional.Generating Multistep Methods for Special Ordinary Differential Equations of Higher-Order. 2009. (Encontro).

Minicurso 1 do XII SPOLM - Teoria de Grafos Espectrais. 2009. (Simpósio).

Minicurso Geometria e Grupos no IV Congresso da Academia Trinacional de Ciências. 2009. (Congresso).

XII SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2009. (Simpósio).

SIMS 2008 - XIII Simpósio de Informática e VIII Mostra de Software Acadêmico.Correção de Programas. 2008. (Simpósio).

XI SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha. 2008. (Simpósio).

Gödel: Logic and Time. 2007. (Encontro).

LAACS 2007 - Latin American Autonomic Computing Symposium.A Logic for Expressing Trust in Intelligent Agents. 2007. (Simpósio).

Seminário dos Alunos de Pós-Graduação em Lógica e Metafísica da UFRJ.Lógica para Sistemas Multi-Agentes Abertos. 2007. (Seminário).

SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha.Confiaça em Agentes Inteligentes. 2007. (Simpósio).

XIX Encontro Brasileiro de Lógica.XIX Encontro Brasileiro de Lógica. 2006. (Encontro).

Simpósio Brasileiro de Linguagens de Programação. 2005. (Simpósio).

SIMS 2005 - X Simpósio de Informática e V Mostra de Software.Simulador de Máquina de Turing. 2005. (Simpósio).

Fifth Workshop on Strategies in Automated Deduction. Fifth Workshop on Strategies in Automated Deduction. 2004. (Congresso).

Introduction to the Isabelle Proof Assistant. 2004. (Outra).

Tutorial de Real Time Maude. 2004. (Outra).

PRONEX 2002. 2003. (Seminário).

WoLLIC 2002 - 9 Workshop on Logic, Language, Information and Computation. 2002. (Congresso).

Produções bibliográficas

IMPERIAL, J. C. ; MUSCO, M. F. M. O. A. ; FARIA, M. B. ; AGUIAR, T. V. . PINC - SISTEMA DO PROGRAMA DE INICIAÇÃO CIENTÍFICA DAS FACULDADES DE MEDICINA E ENFERMAGEM DA UFRJ. Revista Práticas em Gestão Pública Universitária , v. 6, p. 271-282, 2021.
IMPERIAL, J. C. . Confiança em Agentes Inteligentes. In: Escola Regional de Informática - ERI 2011, 2011, Rio de Janeiro. Escola Regional de Informática - ERI 2011, 2011.
IMPERIAL, J. C. . Proof-Carrying Code Usando Cálculo de Hoare. In: Escola Regional de Informática (ERI) 2010, 2010, Rio de Janeiro. Escola Regional de Informática (ERI) 2010, 2010.
IMPERIAL, J. C. . Lógica Modal para Sistemas Multi-Agentes Abertos. In: Escola Regional de Informática (ERI) 2010, 2010, Rio de Janeiro. Escola Regional de Informática (ERI) 2010, 2010.
IMPERIAL, J. C. . Proof-Carrying Code Usando Cálculo de Hoare. In: IV Congresso da Academia Trinacional de Ciências, 2009, Foz do Iguaçu. IV Congresso da Academia Trinacional de Ciências, 2009.
IMPERIAL, J. C. ; HAEUSLER, Edward Hermann . Confiança em Agentes Inteligentes. In: SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha, 2007, Rio de Janeiro. SPOLM - Simpósio de Pesquisa Operacional e Logística da Marinha, 2007.
IMPERIAL, J. C. . Lógica Modal para Sistemas Multi-Agentes Abertos. In: Seminário dos Alunos de Pós-Graduação em Lógica e Metafísica da UFRJ, 2007, Rio de Janeiro. Seminário dos Alunos de Pós-Graduação em Lógica e Metafísica da UFRJ, 2007.
IMPERIAL, J. C. ; HAEUSLER, Edward Hermann . Proof-Carrying Code Usando Cálculo de Hoare. In: INFORMAR - Simpósio de Tecnologia da Informação da Marinha, 2004, Rio de Janeiro. I Simpósio de Tecnologia da Informação da Marinha, 2004. p. 10-10.
IMPERIAL, J. C. ; SILVA, M. D. ; AVELAR, M. G. M. . Sistema do Serviço da Web do Sistema Integrado de Gestão Acadêmica da UFRJ. In: Workshop de Tecnologia da Informação e Comunicação das Instituições Federais de Ensino Superior do Brasil, 2023, São Paulo. Workshop de Tecnologia da Informação e Comunicação das Instituições Federais de Ensino Superior do Brasil. São Paulo, 2024.
IMPERIAL, J. C. ; LIFSCHITZ, S. ; HAZAN, G. C. ; MUNIZ, B. A. . Litebase: A Database System for Mobile Devices. In: SDDB 2014 - Simpósio Brasileiro de Banco de Dados, 2014, Curitiba. SDDB 2014 - Simpósio Brasileiro de Banco de Dados, 2014. p. 215-220.
IMPERIAL, J. C. ; HAEUSLER, Edward Hermann . A Logic for Expressing Trust in Intelligent Agents. In: LAACS 2007 - Latin American Autonomic Computing Symposium, 2007, Petrópolis. LAACS 2007 - Latin American Autonomic Computing Symposium, 2007.
IMPERIAL, J. C. . Monitores no Minix 2.0. In: 11º Simpósio de Informática 6º Mostra de Softaware Acadêmico, 2006, Uruguaiana. Revista Hífen. Uruguaiana: Gráfica Universitária, 2006. v. 30. p. 203-206.
IMPERIAL, J. C. . Simulador de Máquina de Turing. In: SIMS 2005 - X Simpósio de Informática e V Mostra de Software, 2005, Uruguaina. Revista Hífen. Uruguaiana, 2005. v. 29. p. 251-253.
IMPERIAL, J. C. ; HAEUSLER, Edward Hermann . Some Strategies for the Automatic Use of Hoare Logic. In: Fifth Workshop on Strategies in Automated Deduction, 2004, Cork. Fifth Workshop on Strategies in Automated Deduction, 2004. p. 52-61.
IMPERIAL, J. C. ; PEREIRA, C. M. S. ; MUSCO, M. F. M. O. A. ; FARIA, M. B. . Sistema do Programa de Iniciação Artística e Cultural da UFRJ (PIBIAC). In: XI SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS, 2023, Rio de Janeiro. XI SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS. Rio de Janeiro, 2023.
IMPERIAL, J. C. ; SILVA, M. D. ; AVELAR, M. G. M. . Serviço da Web do Sistema Integrado de Gestão Acadêmica da UFRJ (SIGA). In: IX SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS, 2021, Rio de Janeiro. IX SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS. Rio de Janeiro, 2021.
IMPERIAL, J. C. ; JOSE, H. S. S. . Serviço da Web do Sistema de Pessoal da UFRJ (SIRHu) para Recuperar Dados de Servidores. In: VIII SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS, 2020, Rio de Janeiro. VIII SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS. Rio de Janeiro, 2020.
IMPERIAL, J. C. ; FARIA, M. B. ; MUSCO, M. F. M. O. A. ; AGUIAR, T. V. . PINC ? Sistema do Programa de Iniciação Científica da Faculdade de Medicina da UFRJ. In: VII SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS, 2019, Rio de Janeiro. VII SEMINÁRIO DE INTEGRAÇÃO DOS TÉCNICOS ADMINISTRATIVOS, 2019.
IMPERIAL, J. C. . Generating Multistep Methods for Special Ordinary Differential Equations of Higher-Order. In: IX Encontro Regional de Matemática Aplicada e Computacional, 2009, Petrópolis. IX Encontro Regional de Matemática Aplicada e Computacional, 2009.
IMPERIAL, J. C. . Análise de Métodos Numéricos para Resolver Equações Diferenciais. In: SIMS 2008 - XIII Simpósio de Informática e VIII Mostra de Software Acadêmico, 2008, Uruguaina. Hífen (Uruguaiana. Online). Uruguaiana, 2008. v. 32. p. 335-335.
IMPERIAL, J. C. . Correção de Programas. In: SIMS 2008 - XIII Simpósio de Informática e VIII Mostra de Software Acadêmico, 2008, Uruguaiana. Hífen (Uruguaiana. Online). Uruguaiana, 2008. v. 32. p. 336-336.
IMPERIAL, J. C. ; HAEUSLER, Edward Hermann . Some Strategies for the Semi-Automatic Use of Hoare Logic. In: XIX Encontro Brasileiro de Lógica, 2006, Itatiáia. XIV Encontro Brasileiro de Lógica, 2006.
IMPERIAL, J. C. . Generating Multistep Methods for Special Ordinary Differential Equations of Higher-Order. In: XXIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2006, Campinas. XXIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2006.
IMPERIAL, J. C. . Analysing Methods to Solve Ordinary Differential Equations. In: XXIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2006, Rio de Janeiro. XXIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2006.
IMPERIAL, J. C. ; HAEUSLER, Edward Hermann ; ENDLER, M. . Especificação e Prova de Correção de MKSEC em BAN. In: INFORMAR - Simpósio de Tecnologia da Informação da Marinha, 2004, Rio de Janeiro. I Simpósio de Tecnologia da Informação da Marinha, 2004. p. 12-12.
IMPERIAL, J. C. . TBC e EAD 2001 (Artigo).
IMPERIAL, J. C. ; SOARES NETO, C. S. . Qualidade de Serviço em Linguagens de Descrição de Arquitetura 2001 (Monografia).

Outras produções

IMPERIAL, J. C. . Corretor de Programas. 2002.

IMPERIAL, J. C. . Simulação do Funcionamento de uma Máquina de Turing. 2001.

IMPERIAL, J. C. . Tutorial do Jape. 2006. (Desenvolvimento de material didático ou instrucional - Tutorial).

Prêmios

2021

Remote Work and Virtual Collaboration Professional Certificate - Aprovada com 75%, CertiProf.

2020

DevOps Essentials Professional Certificate - Aprovada com 73%, CertiProf.

2020

Kanban Foundation, CertiProf.

2020

Cyber Security Foundation, CertiProf.

2019

Scrum Foundation Professional Certificate - Aprovada com 82,5%, CertiProf.

2014

2º colocada no concurso público para o cargo técnico-administrativo de analista de tecnologia da informação - desenvolvimento, PR4/UFRJ.

2014

4º colocada no concurso público para o cargo de profissional pesquisador em desenvolvimento de sistemas, Fundação BIO-RIO/CEPEL.

2013

1º Colocada no Concurso para professor substituto da UFF em Ciência da Computação, Instituto de Computação da UFF.

2005

Avaliação para o projeto de tradução da Microsoft: Pass Overall good quality. Text is accurate and well written, Microsoft.

2003

Considerada um dos melhores alunos da Cultura Inglesa no primeiro semestre de 2003, Cultura Inglesa.

2003

Certificado de Cambridge CAE (Certificate in Advanced English) - Aprovação com C, Universidade de Cambridge.

2003

Primeiro lugar na seleção do Programa de Doutorado, Departamento de Informática da PUC-Rio.

2002

Certificado de Cambridge PET (Preliminary English Test) - aprovação com mérito, Universidade de Cambridge.

2002

Certificado de Cambridge FCE (First Certificate in English) - Aprovação com A, Universidade de Cambridge.

2002

Considerada um dos melhores alunos da Cultura Inglesa no segundo semestre de 2002, Cultura Inglesa.

2002

Bolsa Nota Dez, FAPERJ.

2001

Segundo lugar na seleção do Programa de Mestrado, Departamento de Informática da PUC-Rio.

2001

Certificado de excelência acadêmica dos formandos do CTC, Ciclo Básico do Centro Técnico Científico da PUC-Rio.

1998

Certificado de excelência acadêmica no quarto período, dos alunos saindo do Ciclo Básico (primeiro lugar), Ciclo Básico do Centro Técnico Científico da PUC-Rio.

1997

Certificado de excelência acadêmica no segundo período, dos alunos do Ciclo Básico, Ciclo Básico do Centro Técnico Científico da PUC-Rio.

1996

Primeiro lugar geral na área de Tecnológicas no Vestibular do Unificado de 1997, Unificado.

1996

Segundo lugar em Informática no Vestibular da UFF de 1997, UFF.

1996

Primeiro lugar na primeira fase em Informática no Vestibular da UFF de 1997, UFF.

1996

Segundo lugar em Engenharia Eletrônica no Vestibular da Uni-rio/Cefet de 1997, Uni-Rio.

1996

Sexto lugar em Informática no Vestibular da UFRJ de 1997, UFRJ.

1996

Décimo-segundo lugar em Informática na primeira fase do vestibular da UERJ de 1997, UERJ.

1996

Décimo-terceiro lugar em Engenharia no vestibular da PUC-Rio de 1997, PUC-Rio.

1996

1º Colocada geral no 4º Simulado do Colégio/Curso pH, pH.

Histórico profissional

Experiência profissional

2014 - 2015

TotalCross Global Mobile Platform

Vínculo: Engenheira de Software, Enquadramento Funcional: Engenheira de Software, Carga horária: 7

Outras informações:
Manutanção de um sistema de gerenciamento de bancos de dados para dispositivos móveis. Suporte aos sistemas da SoftSite. Migração da plataforma TotalCross para WP8. Suporte, manutenção e atualização do conversor de classe Java para classe TotalCross. Atividades prestadas remotamente.

2013 - 2014

TotalCross Global Mobile Platform

Vínculo: Engenheira de Software, Enquadramento Funcional: Engenheira de Software, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de um sistema de gerenciamento de bancos de dados para dispositivos móveis. Suporte aos sistemas da SoftSite. Migração da plataforma TotalCross para WP8. Suporte e manutenção do conversor de classe Java para classe TotalCross.

2010 - 2013

Superwaba

Vínculo: Engenheira de Software, Enquadramento Funcional: Engenheira de Software, Carga horária: 35, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de um sistema de gerenciamento de bancos de dados para dispositivos móveis.

2007 - 2009

Superwaba

Vínculo: Engenheira de Software, Enquadramento Funcional: Engenheira de Software, Carga horária: 30

Outras informações:
Desenvolvimento de um sistema de gerenciamento de bancos de dados para dispositivos móveis.

2005 - 2005

Microsoft Corporation

Vínculo: Colaborador, Enquadramento Funcional: Revisor de tradução, Carga horária: 16

Outras informações:
Participação no projeto de tradução da documentação disponível no MSDN para o Visual Studio 2005 para o Português do Brasil. Na avaliação para a seleção do projeto, onde foi feita a tradução de um texto, o meu conceito foi: ?Pass Overall good quality. Text is accurate and well written.? O processo é incialmente feito de forma automática, utilizando um software proprietário. Os arquivos resultantes são revistos pelos participantes do projeto.

Atividades

09/2005 - 12/2005
Serviços técnicos especializados , Microsoft Corporation.Serviço realizado, Revisão de tradução.

1997 - 1997

Colégio Curso pH

Vínculo: Colaborador, Enquadramento Funcional: Outro (monitoria), Carga horária: 8

Outras informações:
Monitoria de matemática para os alunos do segundo grau e do curso pré-vestibular do Colégio/Curso pH.

Atividades

03/1997 - 12/1997
Ensino,Disciplinas ministradas, monitoria de matemática

2009 - 2010

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Pesquisadora bolsista DTI II, Enquadramento Funcional: Pesquisadora, Carga horária: 32, Regime: Dedicação exclusiva.

Outras informações:
Projeto de Telemedicina usando sistemas multi-agentes.

2004 - 2004

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Colaborador, Enquadramento Funcional: Outro (monitor), Carga horária: 3

Outras informações:
Estágio em Docência no doutorado na PUC-Rio na cadeira de Lógica e Especificação da pós-graduação.

2002 - 2002

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Colaborador, Enquadramento Funcional: Outro (monitor), Carga horária: 3

Outras informações:
Estágio em Docência na Graduação no mestrado na PUC-Rio na cadeira de Lógica e Especificação

1998 - 1999

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Outro, Enquadramento Funcional: Outro (bolsista de iniciação científica), Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Iniciação Científica no Departamento de Física da PUC-Rio em ?Processamento e Montagem de Dados Espectroscópicos?.

1997 - 1997

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Colaborador, Enquadramento Funcional: Outro (monitor), Carga horária: 2

Outras informações:
Monitoria de Introdução à Ciência da Computação para os alunos do CTC da PUC-Rio

Atividades

03/2004 - 07/2004
Ensino, Informática, Nível: Pós-GraduaçãoDisciplinas ministradas, Lógica e Especificação da pós-graduação
02/2002 - 06/2002
Ensino, Informática, Nível: Pós-GraduaçãoDisciplinas ministradas, Monitoria de Lógica e Especificação da graduação
08/1997 - 12/1997
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, monitoria de Introdução à Ciência da Computação

2015 - Atual

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Analista de TI - Desenvolvimento, Carga horária: 40

Outras informações:
Levantamento e análise de requisitos. Modelagem de sistemas (UML). Programação Web (Java, PHP, JavaScript, HTML, JQuery, CSS, frameworks para desenvolvimento de sistemas). Implantação de sistemas Web (integração contínua com Jenkins, Git e Docker).