Tiago Monteiro do Nascimento
Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Rio de Janeiro (2008) e mestrado em informática pela Universidade Federal do Rio de Janeiro (2011).
Informações coletadas do Lattes em 08/12/2023
Acadêmico
Formação acadêmica
Doutorado interrompido em 2014 em Informática
2011 - Atual
Universidade Federal do Rio de Janeiro
Título: Análise de Vulnerabilidades em Sistemas Físicos Cibernéticos,
Luiz Fernando Rust da Costa Carmo. Ano de interrupção: 2014Palavras-chave: Verificação de Código; Program analysis.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Qualidade e Segurança de Software.
Mestrado em Informática
2009 - 2011
Universidade Federal do Rio de Janeiro
Título: Rastreabilidade entre Códigos Fontes e Códigos Binários,Ano de Obtenção: 2011
Luiz Fernando Rust da Costa Carmo.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Redes Neurais Artificiais; Verificação de Código; Rastreabilidade de código.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Redes de Computadores.
Graduação em Bacharelado em Ciência da Computação
2002 - 2008
Universidade Federal do Rio de Janeiro
Título: Bacharel em Ciência da Computação
Curso técnico/profissionalizante em Informática
1998 - 2000
Fundação de Apoio à Escola Técnica do Estado do Rio de Janeiro
Formação complementar
2014 - 2014
Interpretação dos Requisitos da NBR ISO/IEC 17025. (Carga horária: 18h). , Instituto Nacional de Metrologia, Qualidade e Tecnologia, INMETRO, Brasil.
2004 - 2004
Linux Administração - NCE/UFRJ. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2003 - 2003
Banco de Dados - Conceitos e SQL - NCE/UFRJ. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2003 - 2003
Visual Basic - NCE/UFRJ. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2003 - 2003
Linux Básico - NCE/UFRJ. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2000 - 2000
Montagem e Manutenção de Micros. , Fundação de Apoio à Escola Técnica do Estado do Rio de Janeiro, FAETEC, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Alemão
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: Sistemas de Computação/Especialidade: Redes de Computadores.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Segurança da Informaçã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.
Participação em eventos
X International Congress on Electrical Metrology - SEMETRO. Análise de Marcação e Fluxo de Controle para detectar Funcionalidades Escondidas em Instrumentos de Medição. 2013. (Congresso).
Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.Rastreabilidade de Códigos Executáveis usando Redes Neurais. 2010. (Simpósio).
XVI Congresso da Sociedade Brasileira de Computação. 2006. (Congresso).
XIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).
Produções bibliográficas
-
Prado, C B ; Boccardo, D R ; MACHADO, R. C. ; CARMO, L. F. R. C. ; NASCIMENTO, T. M. ; BENTO, L. ; COSTA, R. ; CASTRO, C. G. ; CAMARA, S. M. ; PIRMEZ, Luci ; OLIVEIRA, R. . Software Analysis and Protection for Smart Metering. NCSL INTERNATIONAL MEASURE: THE JOURNAL OF MEASUREMENT SCIENCE , v. 9, p. 22-29, 2014.
-
BOCCARDO, DAVIDSON ; RIBEIRO, LEONARDO ; CANAAN, RODRIGO ; CARMO, LUIZ ; PIRMEZ, Luci ; MACHADO, RAPHAEL ; PRADO, CHARLES ; NASCIMENTO, TIAGO . Energy footprint framework: A pathway toward smart grid sustainability. IEEE Communications Magazine (Print) , v. 51, p. 50-56, 2013.
-
NASCIMENTO, T. M. ; BOCCARDO, DAVIDSON R. ; PRADO, CHARLES B. ; MACHADO, RAPHAEL C. S. ; CARMO, LUIZ F. R. C. . PROGRAM MATCHING THROUGH CODE ANALYSIS AND ARTIFICIAL NEURAL NETWORKS. International Journal of Software Engineering and Knowledge Engineering , v. 22, p. 225-241, 2012.
-
NASCIMENTO, TIAGO M. ; PRADO, CHARLES B. ; BOCCARDO, DAVIDSON R. ; CARMO, LUIZ F. R. C. ; MACHADO, RAPHAEL C. S. . Program Equivalence Using Neural Networks. In: Junichi Suzuki; Tadashi Nakano. (Org.). Bio-Inspired Models of Network, Information, and Computing Systems. 1ed.: , 2012, v. 87, p. 637-650.
-
BOCCARDO, DAVIDSON R. ; Nascimento, Tiago M. ; Machado, Raphael C. ; PRADO, CHARLES B. ; CARMO, LUIZ F. R. C. . Traceability of Executable Codes Using Neural Networks. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. 6531, p. 241-253.
-
NASCIMENTO, T. M. ; BOCCARDO, D. R. ; CARMO, L. F. R. C. . Análise de Marcação e Fluxo de Controle para detectar Funcionalidades Escondidas em Instrumentos de Medição. In: X International Congress on Electrical Metrology - SEMETRO, 2013, Buenos Aires. Proceedings of 10th International Congress on Electrical Metrology, 2013.
-
PRADO, C. B. ; BOCCARDO, D. R. ; MACHADO, R. C. S. ; NASCIMENTO, T. M. ; CARMO, L. F. R. C. ; COSTA, R. O. . Segurança Cibernética em Smart Metering. In: X International Congress on Electrical Metrology - SEMETRO, 2013, Buenos Aires. Proceedings of 10th International Congress on Electrical Metrology, 2013.
-
NASCIMENTO, T. M. ; BOCCARDO, D. R. ; PRADO, C. B. ; CARMO, L. F. R. C. ; MACHADO, R. C. S. . Traceability of Executable Codes using Neural Networks. In: Information Security Conference, 2010, Boca Raton. Proceedings of the Information Security Conference, 2010.
-
NASCIMENTO, T. M. ; PRADO, C. B. ; BOCCARDO, D. R. ; CARMO, L. F. R. C. ; MACHADO, R. C. S. . Program Equivalence using Neural Networks. In: International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, 2010, Boston. 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, 2010. v. 0. p. 0-0.
-
NASCIMENTO, T. M. ; CARMO, L. F. R. C. ; BOCCARDO, D. R. ; MACHADO, R. C. S. ; PRADO, C. B. . Rastreabilidade de Códigos Executáveis usando Redes Neurais. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2010, Fortaleza. Anais do X Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2010. v. CDROM. p. 297-310.
-
CARMO, L. F. R. C. ; NASCIMENTO, T. M. ; ALVES, Gustavo Alberto de Oliveira ; COSTA, Ricardo de Barros ; REIS JUNIOR, Carlos Augusto . ESTRATÉGIAS DE MITIGAÇÃO DE RISCOS DE SEGURANÇA DO AMBIENTE AGRIS. In: Simpósio Segurança da informação - SSI, 2005, São José dos Campos. Anais do 7 Simpósio Segurança da informação, 2005.
-
MACHADO, R. C. S. ; PRADO, C. B. ; MORAES, F. P. ; NASCIMENTO, T. M. ; BOCCARDO, D. R. ; CARMO, L. F. R. C. . Validação de Software em Metrologia Legal. In: Congresso Interno do Inmetro, 2010, Duque de Caxias. I Congresso Interno do Inmetro, 2010.
-
BOCCARDO, D. R. ; NASCIMENTO, T. M. ; MACHADO, R. C. S. ; PRADO, C. B. ; MORAES, F. P. ; CARMO, L. F. R. C. . Proteção, Rastreabilidade e Verificação de Integridade de Dispositivos com Software Embarcado. In: Congresso Interno do Inmetro, 2010, Duque de Caxias. I Congresso Interno do Inmetro, 2010.
-
NASCIMENTO, T. M. ; BOCCARDO, D. R. ; CARMO, L. F. R. C. . Análise de Marcação e Fluxo de Controle para detectar Funcionalidades Escondidas em Instrumentos de Medição. 2013. (Apresentação de Trabalho/Congresso).
-
NASCIMENTO, T. M. ; CARMO, L. F. R. C. ; BOCCARDO, D. R. ; MACHADO, R. C. S. ; PRADO, C. B. . Rastreabilidade de Códigos Executáveis usando Redes Neurais. 2010. (Apresentação de Trabalho/Simpósio).
Outras produções
CARMO, L. F. R. C. ; NASCIMENTO, T. M. . Projeto AGRIS - Análise e Gerência em Riscos de Segurança da Informação. 2005.
Histórico profissional
Endereço profissional
-
Accenture, Business Process Outsourcing. , Praia Botafogo - 166, Botafogo, 22250145 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 1057, URL da Homepage:
Experiência profissional
2019 - Atual
AccentureVínculo: Celetista, Enquadramento Funcional: Analista, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
11/2019
Serviços técnicos especializados , Business Process Outsourcing.,Serviço realizado, Desenvolvimento Web; Análise de dados.
2015 - 2019
Instituto de Pesquisa Econômica Aplicada - DFVínculo: Bolsista, Enquadramento Funcional: Desenvolvedor, Carga horária: 30
Atividades
-
07/2015 - 12/2019
Pesquisa e desenvolvimento, Instituto de Pesquisa Econômica e Aplicada.,Linhas de pesquisa
2011 - 2015
Instituto Nacional de Metrologia, Qualidade e TecnologiaVínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Bolsista Prometro, Edital MCT/CNPq/Inmetro 059/2010 - PROMETRO, Processo 311336/2010-8.
Modalidade - Categoria: MDT-H - H 01/2011 - 08/2011. Modalidade - Categoria: MDT-F - F 09/2011 - Atual. Pesquisa e desenvolvimento em plataformas x86 e ARM usando linguagens de programação como C e Assembly para análise e validação de software.
2009 - 2010
Instituto Nacional de Metrologia, Qualidade e TecnologiaVínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Bolsista FAPERJ - Programa Inmetro. Pesquisa e desenvolvimento em mapeamento de códigos fontes e binários para identificação de software (Rastreabilidade de software).
Atividades
-
01/2011 - 06/2015
Pesquisa e desenvolvimento, Diretoria de Metrologia Científica e Industrial.,Linhas de pesquisa
-
07/2009 - 12/2010
Pesquisa e desenvolvimento, Diretoria de Metrologia Científica e Industrial.,Linhas de pesquisa
2005 - 2006
Universidade Federal do Rio de JaneiroVínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações:
Desenvolvimento de software utilizando conhecimento de programação em C++ e conhecimentos de Rede. Projeto AGRIS - Análise e Gerência em Riscos de Segurança da Informação, http://labnet.nce.ufrj.br/?page_id=470
2003 - 2005
Universidade Federal do Rio de JaneiroVínculo: Bolsista, Enquadramento Funcional: Monitor de Laboratório, Carga horária: 20
Outras informações:
Monitoria no Laboratório de Computação e Informática do DCC-IM/UFRJ.
Utilizava-se conhecimento de montagem e manutenção de micros, rede, SO e programação.
2000 - 2000
Empresa Brasileira de Correios e TelégrafosVínculo: Programa de Estágio, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações:
Estágio desenvolvendo página de Intranet e Banco de Dados.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Tiago Monteiro do Nascimento e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?