João Batista Correa Gomes Moreira

  • Endereço para acessar este CV: http://lattes.cnpq.br/6120040174866328
  • Última atualização do currículo em 24/11/2018


É Doutor em Ciência da Computação na Universidade Estadual de Campinas (Unicamp). Graduou-se bacharel em Ciência da Computação pela Universidade Católica de Goiás em 2008. Obteve o título de Mestre em Ciência da Computação pela Universidade Estadual de Campinas em 2010, financiado por bolsa FAPESP. Realizou doutorado-sanduíche na Columbia University entre 2014-2015, financiado pelo programa PDSE da CAPES. Seus principais interesses são linguagens de programação, arquitetura de computadores, sistemas operacionais e segurança computacional. (Texto informado pelo autor)


Identificação


Nome
João Batista Correa Gomes Moreira
Nome em citações bibliográficas
MOREIRA, J. B. C. G.;MOREIRA, JOAO


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


2010 - 2016
Doutorado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
com período sanduíche em Columbia University (Orientador: Angelos Keromytis).
Título: Protection Mechanisms Against Control-Flow Hijacking Attacks, Ano de obtenção: 2016.
Orientador: Sandro Rigo.
Coorientador: Vasileios Kemerlis.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Computational Security; Control-Flow Integrity; Operating Systems.
Grande área: Ciências Exatas e da Terra
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: Ciência da Computação / Subárea: Segurança.
Setores de atividade: Telecomunicações.
2008 - 2010
Mestrado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Consumo de energia em sistemas de memória transacional,Ano de Obtenção: 2010.
Orientador: Sandro Rigo.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: Memórias transacionais; Arquitetura de Computadores; Programação Paralela.
Grande área: Ciências Exatas e da Terra
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.
2004 - 2008
Graduação em Ciência da Computação.
Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.
Título: Transporte e apresentação de dados em redes de sensores sem fios.
Orientador: Solange Silva.




Formação Complementar


2006 - 2006
Programação de microcontroladores PIC. (Carga horária: 20h).
Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.
2005 - 2005
Java Total. (Carga horária: 40h).
Sistemas Abertos, SA, Brasil.
2005 - 2005
Administração de Redes, módulo Terraflash. (Carga horária: 60h).
Terravista Consultoria, TC, Brasil.
2005 - 2005
Java Cliente/Servidor. (Carga horária: 40h).
Sistemas Abertos, SA, Brasil.


Atuação Profissional



Micro Focus, MICRO FOCUS, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Funcionário, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.


Motorola, MOTOROLA, Brasil.
Vínculo institucional

2015 - 2016
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Doutorando, Carga horária: 20
Outras informações
Pesquisador doutorando atuante no convênio Motorola/Unicamp.

Atividades

07/2015 - 12/2016
Pesquisa e desenvolvimento , Motorola, .


Microsoft Corporation, MC*, Estados Unidos.
Vínculo institucional

2013 - 2013
Vínculo: Estágio, Enquadramento Funcional: Pesquisador Estagiário, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Estágio realizado no departamento de pesquisa da empresa Microsoft (Microsoft Research). Desenvolvimento de pesquisa relacionada a geração de código, compiladores e segurança.

Atividades

05/2013 - 09/2013
Estágios , Microsoft Research, .

Estágio realizado
Microsoft Research.

Google Inc., Google, Estados Unidos.
Vínculo institucional

2012 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Estudante
Outras informações
Projeto aprovado no programa de incentivo ao desenvolvimento de software livre Google Summer of Code.

Vínculo institucional

2010 - 2010
Vínculo: Bolsista, Enquadramento Funcional: Estudante, Carga horária: 40
Outras informações
Projeto aprovado no programa de incentivo ao desenvolvimento de software livre Google Summer of Code.

Vínculo institucional

2009 - 2009
Vínculo: Bolsista, Enquadramento Funcional: Estudante, Carga horária: 40
Outras informações
Projeto aprovado no programa de incentivo ao desenvolvimento de software livre Google Summer of Code.

Vínculo institucional

2008 - 2008
Vínculo: Bolsista, Enquadramento Funcional: Estudante, Carga horária: 40
Outras informações
Projeto aprovado no programa de incentivo ao desenvolvimento de software livre Google Summer of Code.

Atividades

05/2012 - 07/2012
Serviços técnicos especializados , Google Inc., .

Serviço realizado
Atuou na integração da ferramenta Nmap dentro do framework PacketFence..
05/2010 - 07/2010
Serviços técnicos especializados , Google Inc., .

Serviço realizado
Atuou no desenvolvimento de um repositório web de imagens no projeto TuxPaint.
05/2009 - 07/2009
Serviços técnicos especializados , Google Inc., .

Serviço realizado
Atuou no desenvolvimento da API e de scripts NSE: Nmap Script Engine.
05/2008 - 07/2008
Serviços técnicos especializados , Google Inc., .

Serviço realizado
Atuou na reestruturação de interfaces Web e na implementação de bibliotecas de segurança para a aplicação OSSIM - Open Source Security Information Manager..

Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2015 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Docente, Carga horária: 8
Outras informações
Programa de estágio docente, Categoria B. Curso: Algoritmos e Programação de Computadores.

Vínculo institucional

2014 - 2014
Vínculo: Bolsista, Enquadramento Funcional: Docente, Carga horária: 8
Outras informações
Programa de estágio docente, Categoria B. Curso: Algoritmos e Programação de Computadores.

Vínculo institucional

2012 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Docente, Carga horária: 8
Outras informações
Programa de estágio docente, Categoria B. Curso: Algoritmos e Programação de Computadores.

Vínculo institucional

2009 - 2009
Vínculo: Bolsista, Enquadramento Funcional: Monitoria, Carga horária: 8
Outras informações
Programa de estágio docente, Categoria C. Curso: Organização de Computadores e Linguagens de Montagem.


Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Bolsista de Iniciação Científica (BIC), Carga horária: 20

Vínculo institucional

2004 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 12

Atividades

02/2007 - 06/2007
Outras atividades técnico-científicas , Departamento de Computação, Departamento de Computação.

Atividade realizada
Monitor de Teleprocessamento e Redes II.
07/2006 - 12/2006
Outras atividades técnico-científicas , Departamento de Computação, Departamento de Computação.

Atividade realizada
Monitoria de Teleprocessamento e Redes I.
02/2006 - 07/2006
Outras atividades técnico-científicas , Departamento de Computação, Departamento de Computação.

Atividade realizada
Monitoria de Estrutura de Dados I.
07/2005 - 12/2005
Outras atividades técnico-científicas , Departamento de Computação, Departamento de Computação.

Atividade realizada
Monitoria de Estrutura de Dados I.
07/2004 - 12/2004
Outras atividades técnico-científicas , Departamento de Matemática e Física, Departamento de Matemática e Física.

Atividade realizada
Monitoria de Cálculo I.

Rede Empreserial, REDEE, Brasil.
Vínculo institucional

2006 - 2007
Vínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 20

Atividades

06/2006 - 07/2007
Estágios , Rede Empresarial, .

Estágio realizado
Estágio como desenvolvedor web.


Linhas de pesquisa


1.
Desenvolvimento de pesquisas focadas em Internet of Things


Projetos de pesquisa


2006 - 2009
Unlocking the genetic diversity in peanut's wild relatives with genomic and genetic tools
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: João Batista Correa Gomes Moreira - Integrante / Wellington Santos Martins - Coordenador.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Linguagens de Programação.


Idiomas


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


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
MOREIRA, JOAO; RIGO, SANDRO . Go With the FLOW: Fine-Grained Control-Flow Integrity for the Kernel. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2016, Niterói. Anais [do] XVI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2016.

2.
MOREIRA, JOAO; TEIXEIRA, LUCAS ; BORIN, EDSON ; RIGO, SANDRO . Leveraging Optimization Methods for Dynamically Assisted Control-Flow Integrity Mechanisms. In: 2014 26th International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2014, Jussieu. 2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing, 2014. p. 49.

3.
MOREIRA, J. B. C. G.; LUCAS, D. ; ARAUJO, G. ; BORIN, E. ; RIGO, S. . Assynchronous Program Flow Verification Through Binary Instrumentation in QEMU. In: Architectural and Microarchitectural Support for Binary Translation, 2012, Portland. Architectural and Microarchitectural Support for Binary Translation, 2012.

4.
MOREIRA, JOAO; KLEIN, FELIPE ; BALDASSIN, ALEXANDRO ; CENTODUCATTE, PAULO ; AZEVEDO, RODOLFO ; RIGO, SANDRO . Using multiple abstraction levels to speedup an MPSoC virtual platform simulator. In: 2011 22nd IEEE International Symposium on Rapid System Prototyping (RSP), 2011, Karlsruhe. 2011 22nd IEEE International Symposium on Rapid System Prototyping, 2011. p. 99.

5.
KLEIN, F. ; BALDASSIN, A. ; MOREIRA, J. B. C. G. ; AZEVEDO, R. ; RIGO, S. . STM versus Lock-based Systems: An Energy Consumption Perspective. In: ACM/IEEE International Symposium on Low Power Electronics and Design, 2010, Austin. ACM/IEEE International Symposium on Low Power Electronics and Design, 2010.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
39th International Symposium on Computer Architecture ISCA. 2012. (Simpósio).

2.
Architectural and Microarchitectural Support for Binary Translation. Asynchronous Program Flow Verification Through Binary Instrumentation in QEMU. 2012. (Congresso).

3.
III Escola Regional de Alto Desempenho de São Paulo. 2012. (Encontro).

4.
2011 22nd IEEE International Symposium on Rapid System Prototyping (RSP).Using multiple abstraction levels to speedup an MPSoC virtual platform simulator. 2011. (Simpósio).

5.
9o Fórum Internacional de Software Livre.Bioperl e o seu uso em projetos genoma. 2008. (Outra).

6.
1a Semana de Integração da Faculdade Estácio de Sá de Goiás.World Wild Worms. 2007. (Outra).

7.
8o Fórum Internacional de Software Livre. 2007. (Outra).

8.
Tercera Conferencia sobre Seguridad Informática Ekoparty.Hacking the Big Brother. 2007. (Outra).

9.
Encontro de Tecnologia e Informática (ETI). 2006. (Encontro).

10.
XI Semana de Computação do CMP. 2005. (Congresso).

11.
X Semana de Computação do CMP. 2004. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 17/12/2018 às 15:44:29