Rodrigo Borges Nogueira

  • Endereço para acessar este CV: http://lattes.cnpq.br/5135695150174390
  • Última atualização do currículo em 03/09/2015


Graduação em Engenharia Mecatrônica pela Universidade de Brasília (2004). Mestrado em Informática pela Universidade de Brasília (2008). Aluno de Doutorado em Engenharia Elétrica na Universidade de Brasília (início em 2014) (Texto informado pelo autor)


Identificação


Nome
Rodrigo Borges Nogueira
Nome em citações bibliográficas
NOGUEIRA, R. B.

Endereço


Endereço Profissional
Ministério da Justiça, Secretaria Executiva.
Ministério da Justiça
Zona Cívico-Administrativa
70064900 - Brasília, DF - Brasil
Telefone: (61) 20259433
URL da Homepage: www.mj.gov.br


Formação acadêmica/titulação


2013
Doutorado em andamento em Engenharia Elétrica.
Universidade de Brasília, UnB, Brasil.
Orientador: Ricardo Staciarini Puttini.
Coorientador: Anderson Clayton Alves Nascimento.
Palavras-chave: Service Oriented Architecture; Cloud Computing; WS-Security.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Computação Segura Distribuída.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Criptografia.
2006 - 2008
Mestrado em Informática.
Universidade de Brasília, UnB, Brasil.
Título: Validação Formal de Protocolos Criptográficos - O Caso dos Protocolos em Cascata,Ano de Obtenção: 2008.
Orientador: Maurício Ayala Rincón.
Palavras-chave: Protocolos Criptográficos; Verificação Formal; PVS.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Verificação formal.
1999 - 2004
Graduação em Engenharia Mecatrônica.
Universidade de Brasília, UnB, Brasil.
Título: Ferramenta de simulação em tempo real para desenvolvimento de modelos de sistemas físicos..
Orientador: Gerson Henrique Pfitscher.




Formação Complementar


2015 - 2015
Ruby On Rails, jQuery, Coffeescript, Design Basics. (Carga horária: 40h).
Code School, CODE SCHOOL, Estados Unidos.
2015 - 2015
Enseignement à distance CLICK ON FRENCH. (Carga horária: 180h).
Click On French, CLICK ON FRENCH, Índia.
2014 - 2014
CISSP Seminar. (Carga horária: 40h).
Strong Security, STRONG SECURITY, Brasil.
2014 - 2014
Cloudera Administrator for Apache Hadoop. (Carga horária: 32h).
Semantix, SEMANTIX, Brasil.
2010 - 2010
Administração e Tunning de Banco de Dados MySQL. (Carga horária: 32h).
Curso Contratado, CONT, Brasil.
2010 - 2010
Curso de Gerência de Projetos. (Carga horária: 56h).
Curso Contratado, CONT, Brasil.
2010 - 2010
GESTÃO DA TECNOLOGIA DA INFORMAÇÃO DE ACORDO IN 04. (Carga horária: 20h).
Zênite Consultoria Jurídica, ZNT, Brasil.
2009 - 2009
JBoss Tunning. (Carga horária: 16h).
Curso Contratado, CONT, Brasil.
2009 - 2009
EJB com JBoss Application Server. (Carga horária: 40h).
Curso Contratado, CONT, Brasil.
2008 - 2008
Análise por Pontos de Função. (Carga horária: 32h).
X25 Informática, X25 Informática, Brasil.
2006 - 2006
Linux Administração de Sistemas. (Carga horária: 40h).
Novintec, NOVINTEC, Brasil.
2005 - 2005
Curso de Formação Profissional. (Carga horária: 480h).
Departamento de Polícia Rodoviária Federal, DPRF/MJ, Brasil.
2004 - 2004
Oracle9i: Program with PL/SQL. (Carga horária: 30h).
Unimix, UNIMIX, Brasil.
2004 - 2004
Análise e Projeto de Sistemas Orientados a Objetos.
X25 Informática, X25 Informática, Brasil.


Atuação Profissional



Ministério da Justiça, MJ, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: , Enquadramento Funcional: Servidor Público cedido (Origem: DPRF), Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Atuando no Projeto RIC (Registro de Identidade Civil)


Departamento de Polícia Rodoviária Federal, DPRF/MJ, Brasil.
Vínculo institucional

2005 - 2013
Vínculo: , Enquadramento Funcional: PRF, Carga horária: 40
Outras informações
Desenvolvimento, manutenção e gerência de sistemas.


Accenture do Brasil, ACC, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas Pleno, Carga horária: 40
Outras informações
Programação em C++, Delphi, Lex/Yacc para Windows e Unix HP-UX.

Vínculo institucional

2003 - 2004
Vínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 30


Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2002 - 2003
Vínculo: Bolsista PIBIC, Enquadramento Funcional: Bolsista PIBIC
Outras informações
Desenvolvimento de trabalho de título "Desenho e Síntese de Hardware via Técnicas da Teoria da Reescrita".

Vínculo institucional

2001 - 2002
Vínculo: Bolsista PIBIC, Enquadramento Funcional: Bolsista PIBIC
Outras informações
Desenvolvimento do trabalho de título "Visualização de Relações de Equivalência entre Modelos Computacionais e Representações Gramaticais de Linguagens Formais", com a criação de uma extensão para o sistema SAGEMoLiC.



Projetos de pesquisa


2001 - 2004
Aplicação da teoria de reescrita no projeto de hardware reconfigurável

Projeto certificado pelo(a) coordenador(a) Mauricio Ayala Rincon em 22/11/2013.
Descrição: Exploração da aplicabilidade da teoria de reescrita-lógica no desenho de hardware reconfigurável e a sua adequação na implementação eficiente de soluções para problemas algébricos, combinatórios sobre palavras e seqüências e computacionais, em geral..
Situação: Concluído; Natureza: Pesquisa.


Outros Projetos


2012 - Atual
Projeto RIC (Registro de Identidade Civil)
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (5) / Doutorado: (5) .
Integrantes: Rodrigo Borges Nogueira - Integrante / Hélvio Pereira Peixoto - Coordenador.Financiador(es): Ministério da Justiça - Cooperação.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Criptografia.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Verificação Formal.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Projeto de Hardware via Teoria da Reescrita.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Francês
Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2002
Prêmio de primeiro colocado no Seminário Sobre Novas Tecnologias no Ensino de Graduação na UnB: SAGEMoLiC - A Framework to Visualize Equivalences between Computational Models of Regular Languages, Decanato de Ensino e Graduação da Universidade de Brasília..


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
NOGUEIRA, R. B.; F.L.C. de Moura ; NASCIMENTO, A. C. ; RINCON, M. A. . Formalization of Security Proofs Using PVS in the Dolev-Yao Model. In: Computability in Europe 2010, 2010, Ponta Delgada / Azores. Computability in Europe 2010 Booklet, 2010. p. 291.

2.
Bernardo David ; NASCIMENTO, A. C. ; NOGUEIRA, R. B. . Oblivious Transfer Based on the McEliece Assumptions with Unconditional Security for the Sender. In: SBSeg 2010, 2010, Fortaleza. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2010.

3.
NOGUEIRA, R. B.; JACOBI, R. P. ; RINCON, M. A. ; HARTENSTEIN, R. W. ; LLANOS, C . Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic.. In: 16th Symposium on Integrated Circuits and System Design - SBCCI 03, 2003, São Paulo. Proc. 16th Symposium on Integrated Circuits and System Design - SBCCI 03, 2003. p. 205-210.

4.
RINCON, M. A. ; NOGUEIRA, R. B. ; HARTENSTEIN, R. W. ; LLANOS, C . Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments.. In: XXIII International Conference of the Chilean Computer Science Society, 2003, Chillán. 23rd International Conf. of the Chilean Computer Science Society, 2003. p. 60-69.

Resumos publicados em anais de congressos
1.
NOGUEIRA, R. B.; RINCON, M. A. ; Poubel, H. W. . Visualizing Equivalence Relations Between Computational Models and Grammars of Context-Free Languages.. In: Congresso da Sociedade Brasileira de Matemática Aplicada e Computacional - XXVI CNMAC, 2003, São José do Rio Preto. Anais XXVI CNMAC, 2003. p. 609-609.

2.
NOGUEIRA, R. B.; RINCON, M. A. . Especificação de Sistemas de Reescrita para Simulação das Fases de Processadores Elaborados.. In: 10º Congresso de Iniciação Científica da Universidade de Brasília, 2003, Brasília. Anais do 9º Congresso de Iniciação Científica da Universidade de Brasília, 2003.

3.
NOGUEIRA, R. B.; RINCON, M. A. . Visualização de Teoremas de Equivalência entre Modelos Computacionais e Representações Gramaticais: O caso das linguagens livres de contexto.. In: 8º Congresso de Iniciação Científica da Universidade de Brasília, 2002, Brasília. Anais do 9º Congresso de Iniciação Científica da Universidade de Brasília, 2002. p. 28-28.


Produção técnica
Programas de computador sem registro
1.
NOGUEIRA, R. B.; Santos Rego, Yuri ; RINCON, M. A. . Formalização da segurança do modelo criptográfico de Dolev Yao em PVS. 2012.

2.
RINCON, M. A. ; Silva, A. H. R. ; Fonseca, A. F. ; NOGUEIRA, R. B. . SAGEMoLiC. 2002.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IEEE BigData/CLOUD/ICWS/SCC/MS/SERVICES. 2014. (Congresso).

2.
13 Encontro de Gerentes de Projetos PMI/DF. 2013. (Encontro).

3.
II Advanced School of Cryptology and Information Security. 2013. (Seminário).

4.
Computability in Europe 2010. Formalization of Security Proofs Using PVS in the Dolev-Yao Model. 2010. (Congresso).



Inovação



Programa de computador sem registro
1.
NOGUEIRA, R. B.; Santos Rego, Yuri ; RINCON, M. A. . Formalização da segurança do modelo criptográfico de Dolev Yao em PVS. 2012.


Projetos de pesquisa

Outros projetos



Página gerada pelo Sistema Currículo Lattes em 24/10/2018 às 4:01:42