Joao Rafael Moraes Nicola

Possui graduação em Computação pela Universidade de Brasília(2000) e mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais(2006). Atualmente é da Universidade de Brasília e Analista Legislativo, Informática Legislativa do Senado Federal. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:sistema de tipos, programação funcional, teoria de linguagens, semãntica de linguagens de programação.

Informações coletadas do Lattes em 21/03/2025

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação

2004 - 2006

Universidade Federal de Minas Gerais
Título: Polimorfismo de registros no Sistema CT,Ano de Obtenção: 2007
Carlos Camarão.Coorientador: Lucília Figueiredo. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: sistema de tipos; programação funcional; teoria de linguagens; semãntica de linguagens de programaçã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. Setores de atividade: Atividades dos serviços de tecnologia da informação.

Graduação em Computação

1996 - 2000

Universidade de Brasília
Título: JOS - Um protótipo de núcleo de sistema operacional
Orientador: Alba Cristina M. de Melo

Idiomas

Inglês

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

Português

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

Italiano

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve 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: Sistemas de Computação/Especialidade: Arquitetura de Sistemas 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: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Produções bibliográficas

CAMARAO, C. ; VASCONCELLOS, C. ; FIGUEIREDO, L. ; NICOLA, J. R. M. . Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. Journal of Universal Computer Science (Print) , v. 13, p. 874-890, 2007.
NICOLA, J. R. M. ; Antônio M. A. Alexandre ; Alba C. M. de Melo . A Framework for Building Simulators of Clock Synchronization Algorithms. In: 12th Symp. on Computer Architecture and High Performance Computing (SBAC-PAD), 2000, São Pedro. Proceedings of the 12th Symposium on Computer Architecture and High Performance Computing. São Carlos - SP: UFSCar, 2000. p. 225-231.

Histórico profissional

Endereço profissional

Senado Federal, Prodasen. , Senado Federal, Zona Cívico-Administrativa, 70165900 - Brasília, DF - Brasil, Telefone: (061) 33033673

Experiência profissional

2009 - Atual

Senado Federal

Vínculo: Servidor Público, Enquadramento Funcional: Analista Legislativo, Informática Legislativa, Carga horária: 35

Atividades

07/2011
Pesquisa e desenvolvimento , Prodasen, .,Linhas de pesquisa
08/2009 - 06/2011
Pesquisa e desenvolvimento , Prodasen, .,Linhas de pesquisa

2008 - 2009

Supremo Tribunal Federal

Vínculo: Servidor Público, Enquadramento Funcional: Analista Judiciário - Análise de Sistemas, Carga horária: 35

2001 - 2003

eSec Segurança Digital

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

10/2001 - 06/2003
Pesquisa e desenvolvimento , Desenvolvimento, .,Linhas de pesquisa

2001 - 2001

Mirante Informática

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

02/2001 - 08/2001
Pesquisa e desenvolvimento , Desenvolvimento, .,Linhas de pesquisa

2000 - 2000

Instituto Nacional de Meteorologia - Sede

Vínculo: Celetista, Enquadramento Funcional: Estagiário em Informática, Carga horária: 20

Atividades

08/2000 - 12/2000
Estágios , Informática, .,Estágio realizado, Estágio em Computação Paralela / Alto Desempenho.

2006 - 2008

Monjolo Biscoitos Caseiros Ltda.

Vínculo: Celetista, Enquadramento Funcional: Diretor de Informática, Carga horária: 40

Sem data

Universidade de Brasília