Raphael Carlos Santos Machado

Raphael Machado é Doutor em Engenharia de Sistemas e Computação (COPPE/UFRJ 2010). É pesquisador pelo Inmetro e Professor Efetivo pela UFF. É bolsista de produtividade em pesquisa pelo CNPq desde 2013 e Jovem Cientista do Estado do RJ desde 2015, tendo publicado mais de uma centena de artigos científicos nas áreas de Segurança da Informação, Análise de Código, Ofuscação, Incorruptibilidade de Software, Marcas d'Água, Criptografia, Complexidade Computacional, Matemática Combinatória e Teoria dos Grafos. Raphael foi coordenador de mais de duas dezenas de projetos de pesquisa científica, desenvolvimento tecnológico e inovação apoiados por CNPq, Finep, Faperj e Fapesp - tais projetos deram origem não apenas a uma vasta produção acadêmica, mas também, a patentes produtos e serviços utilizados pela indústrias e reconhecidos como "estratégicos" pelo governo federal. Raphael organiza ou organizou inúmeros eventos relevantes nas mais diversas áreas da Computação, incluindo o LAWCG'2018 (evento satélite do International Congress of Mathematicians), o SBSeg 2020, o IEEE MetroInd 2020, as edições 2015, 2016, 2017 e 2018 do WRAC+, o ACM/ISSISP 2015, o RECOMB 2012, o WGA 2012, o CS2I 2014, e várias edições do Workshop SegInfo, além das sessões especiais de Segurança Cibernética dos IEEE MetroInd 2018 e 2019. Raphael é chefe do Laboratório de Informática do Inmetro, onde liderou diversas atividades de consultoria e cooperação técnica a empresas e a órgãos do governo, que deram origem a dezenas de pareceres técnicos. É coordenador do do Programa Profissional de Pós-Graduação em Metrologia e Qualidade do Inmetro, e docente permanente do Programa Acadêmico de Pós-Graduação em Computação do IC/UFF e do Programa Acadêmico de Pós-Graduação em Metrologia do Inmetro. Foi palestrante convidado de eventos de prestígio nacional (como o SegInfo e o SBSeg) e internacional (como o Princeton DIMACS Meeting). Foi membro de conselhos e comitês gestores relevantes nas áreas acadêmica e de segurança da informação, incluindo o Conselho Acadêmico do Inmetro, Comitê Gestor do programa Pronametro-Ensino, Comitê Gestor do SHCDCiber, Comitê Gestor do PNCH-TIC e Conselheiro do Grupo Clavis Segurança da Informação.

Informações coletadas do Lattes em 23/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia de Sistemas e Computação

2006 - 2010

Universidade Federal do Rio de Janeiro
Título: Decomposições para coloração de arestas e coloração total de grafos
Celina Miraglia Herrera de Figueiredo.

Mestrado em Matemática Aplicada

2003 - 2006

Universidade Federal do Rio de Janeiro
Título: Sistemas Dinâmicos e Criptossistemas,Ano de Obtenção: 2006
Ricardo Martins da Silva Rosa.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em Bacharelado em Informática

2001 - 2005

Universidade Federal do Rio de Janeiro
Título: Sobre Busca em Largura e Diâmetro de Grafos
Orientador: Celina M. H. Figueiredo

Curso técnico/profissionalizante em Eletrônica

1997 - 2000

Centro Federal de Educação Tecnológica Celso Suckow da Fonseca

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2010 - 2011

Pós-Doutorado. , Université Paris Diderot, PARIS 7, França. , 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: Matemática Discreta e Combinatória.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Organização de eventos

Machado, R.C.S. . WRAC+2017 - III Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança. 2017. (Congresso).

Machado, R.C.S. . 8th Latin American Workshop on Cliques in Graphs. 2017. (Congresso).

Machado, R.C.S. . WRAC+2016, II Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança. 2016. (Congresso).

MACHADO, RAPHAEL CARLOS SANTOS ; BOCCARDO, DAVIDSON . 9th International Conference on Bio-inspired Information and Communications Technologies - Special Track on Computational Intelligence for Information Security. 2015. (Congresso).

Machado, R.C.S. . WRAC+ 2015: I Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança. 2015. (Congresso).

BOCCARDO, DAVIDSON ; Machado, R.C.S. ; CARMO, LUIZ F. R. C. ; SZWARCFITER, J. . Sixth International Summer School on Information Security and Protection. 2015. (Outro).

CARMO, LUIZ F. R. C. ; BOCCARDO, DAVIDSON R. ; PRADO, CHARLES ; MACHADO, R. C. S. . Workshop Inmetro-NIST: Cyber Security for Smart Infrastructures. 2014. (Congresso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . IX SegInfo ? Workshop de Segurança da Informação ? Edição 2014. 2014. (Congresso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . VIII SegInfo ? Workshop de Segurança da Informação ? Edição 2013. 2013. (Congresso).

DANTAS, S. ; Braga, Marília D. V. ; KOWADA, L. ; Machado, R.C.S. . Tenth Annual RECOMB Satellite Workshop on Comparative Genomics. 2012. (Congresso).

Machado, R.C.S. . Workshop sobre Grafos e Aplicações. 2012. (Congresso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . VII SegInfo ? Workshop de Segurança da Informação ? Edição 2012. 2012. (Congresso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . VI SegInfo ? Workshop de Segurança da Informação ? Edição 2011. 2011. (Congresso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . V SegInfo ? Workshop de Segurança da Informação ? Edição 2010. 2010. (Concurso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . IV SegInfo ? Workshop de Segurança da Informação ? Edição 2009. 2009. (Congresso).

Machado, R.C.S. ; SALGADO, BRUNO ; SOARES, RAFAEL . I SegInfo ? Workshop de Segurança da Informação ? Edição 2005. 2005. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

I Semana de Algoritmos da UFPR.Usos e Aplicações dos Números Aleatórios. 2018. (Seminário).

SATI'2017 - Semana de Atualização em Tecnologia da Informação.Padrões de Segurança Cibernética. 2017. (Seminário).

WPCCG'2017 - II Workshop de Pesquisas em Computação dos Campos Gerais.Padrões de Segurança Cibernética. 2017. (Simpósio).

SEMINÁRIO DE SEGURANÇA CIBERNÉTICA EM METROLOGIA LEGAL.Segurança de Dispositivos Inteligentes: especificação de requisitos e avaliação da conformidade. 2016. (Seminário).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais,.Identidade das Coisas: Reflexoes sobre a identificacao e a autenticacao de dispositivos inteligentes. 2016. (Simpósio).

City Infrastructure Forum Brasil.Redes Ineligentes e Eficiência Energética. 2012. (Seminário).

ALIO/EURO Workshop on Applied Combinatorial Optimization.Approximate Graph Diameter via Double-sweep BFS. 2010. (Encontro).

ALIO-INFORMS International Joint Meeting.Scheduling Problems for Communication over Unidirectional Channels. 2010. (Encontro).

Cologne-Twente Workshop on Graphs and Combinatorial Optimization.Chromatic index of chordless graphs. 2010. (Encontro).

II Seminário Brasileiro de Sistemas de Medição Remota e Centralizada de Água e Gás.Validação de Software em Metrologia Legal. 2010. (Seminário).

International Symposium on Combinatorial Optimization.Total chromatic number of {square,unichord}-free graphs. 2010. (Simpósio).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Algoritmos de coloração de arestas e coloração total baseados em decomposição por proper 2-cutsets. 2010. (Seminário).

Cologne-Twente Workshop on Graphs and Combinatorial Optimization.NP-completeness of determining the total chromatic number of graphs that do not contain a cycle with a unique chord. 2009. (Encontro).

Congresso Brasileiro de Metrologia. Metrologia temporal na verificação de integridade de software em instrumentos de medição. 2009. (Congresso).

Latin-American Algorithms, Graphs and Optimization Symposium.Edge-colouring subject to local restrictions. 2009. (Encontro).

PRINCETON DIMACS WORKSHOP ON GRAPH COLOURING AND STRUCTURE.Edge-colouring unichord-free graphs. 2009. (Encontro).

Princeton Meeting on Discrete Mathematics.Edge-colouring via decompositions. 2009. (Encontro).

Séminaire Algorithmes et Combinatoire du LIAFA.Decompositions for edge-colouring and total-colouring. 2009. (Seminário).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Decomposições para Coloração de Arestas e Coloração Total de Grafos. 2009. (Seminário).

Seminário Internacional de Metrologia Elétrica.Aspectos de Segurança da Informação em Redes de Medidores de Energia Elétrica: uma Visão de Metrologia Legal. 2009. (Seminário).

Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.Verificação de integridade de software embarcado através de análise de tempo de resposta. 2009. (Simpósio).

Workshop de Segurança da Informação.Aspectos de segurança em medidores inteligentes. 2009. (Seminário).

ALIO/EURO Workshop on Applied Combinatorial Optimization.Edge-coloring graphs with no cycle with a unique chord. 2008. (Encontro).

Cologne-Twente Workshop on Graphs and Combinatorial Optimization.A decomposition for total-coloring graphs of maximum degree 3. 2008. (Encontro).

Latin-American Algorithms, Graphs, and Optimization Symposium.Sufficient conditions for a graph to be edge-colorable with maximum degree colors. 2008. (Simpósio).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Coloração de arestas em grafos que não possuem ciclo com corda única. 2008. (Seminário).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Coloração total de grids parciais e grids multidimensionais. 2007. (Seminário).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Condições suficientes para um grafo ser Classe 1. 2007. (Seminário).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Condições suficientes para um grafo ser Classe 1. 2007. (Seminário).

II Latin-American Workshop on Clique in Graphs.On breadth-first search and graph diameter bounds. 2006. (Encontro).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Busca em Largura e Diâmetro de Grafos. 2006. (Seminário).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Jonas Costa Ferreira da Silva

OLIVEIRA, A. K. M.; SALES, C. L.; CAMPELO NETO, M. B.;Machado, R.C.S.. Um Estude de Redes com Fluxos Ramificados Arco-Disjuntos. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Marciel de Liz Santos

WANGHAM, M. S.; ZEFERINO, C. A.;Machado, R.C.S.. MECANISMO DE VERIFICAÇÃO DE INTEGRIDADE DE SOFTWARE BASEADO EM BIOS UEFI. 2018. Dissertação (Mestrado em Computação) - Universidade do Vale do Itajaí.

Aluno: Mayara Midori Omai

ALMEIDA, S.; GUEDES, A.;Machado, R.C.S.; CARMO, R.. COLORAÇÕES DISTINTAS NOS VÉRTICES ADJACENTES EM POTÊNCIAS DE CAMINHO. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: Lincoln de Araújo Sperandio Nogueira

BOCCARDO, DAVIDSON;SZWARCFITER, J.; L. F. R. da C. Carmo; AGUIAR JUNIOR, E. A.;Machado, R.C.S.. ENSAIOS EM COMPUTADORES DE VAZAO: VERIFICACAO DA EXATIDAO SOB CONDICOES ESTATICAS E DINAMICAS. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: Alexandre Simões Raymond

LUCENA, A.; LOPES, A.; MARQUEZINO, F.;Machado, R.C.S.. STRATIGRAPHIC SEDIMENTARY INVERSION USING PATHS IN GRAPHS. 2017. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Bruno Erthal de Abreu

SENNA, M.; ARTIGAS, D.;Machado, R.C.S.. Aplicação de técnicas de segurança da informação para validação de software de bombas medidoras de combustíveis líquidos na verificação subsequente.. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: GIRRESE REINEHR

L. F. R. da C. Carmo;PRADO, CHARLESMachado, R.C.S.; TARELHO, L. V. G.; MICELLI, C.. MEDIDORES INTELIGENTES APLICADOS A UMA NUVEM SEGURA. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: Cristano Castro

L. F. R. da C. Carmo; Delicato, F.; BOCCARDO, DAVIDSON;Machado, R.C.S.. Controle de Integridade de Software Embarcado em Medidores. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Bruno Erthal de Abreu

SENNA, M.; ARTIGAS, D.;Machado, R.C.S.. Aplicação de técnicas de segurança da informação para a validação de bombas medidores de combustíveis líquidos na verificação subsequente. 2017. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: Luana Cordeiro de Almeida

DANTAS, S.; SASAKI, D.; TANUSHEVSKI, S.;Machado, R.C.S.. COLORAC A O TOTAL E COLORAC A O TOTAL EQUILIBRADA DE FAM ILIAS DE SNARKS. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense.

Aluno: Judismar Arpini Júnior

Vinícius G. P. de Sá; PAIXA TEIXEIRA, M. G.;Machado, R.C.S.. Hashing do Cuco com Realocacao Perfeita. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Ariane Cristina Brito Florentino

BARBALHO, S.;Machado, R.C.S.. PROPOSTA DE PERFIL DE PROTEÇÃO PARA HOMOLOGAÇÃO E CERTIFICAÇÃO DE PRODUTO CIBERNÉTICO: O CASO DOS EQUIPAMENTOS DE VIDEOCONFERÊNCIA. 2017. Dissertação (Mestrado em Sistemas Mecatrônicos) - Universidade de Brasília.

Aluno: Joelson Gomes Lima

GARCIA, G.;Machado, R.C.S.. Navegação aérea, GNSS e suas fragilidades: potencial para o eLoran Fonte. 2016. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: Pedro H Diniz

TARELHO, L. V. G.; TEIXEIRA, R. N.;Machado, R.C.S.. CONSTRUCAO, CARACTERIZACAO E AVALIACAO DE TERMOPARES PLATINA-PALADIO PARA UTILIZACAO COMO PADROES EM CALIBRACOES DE SENSORES DE TEMPERATURA. 2016. Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Aluno: Rodrigo Ming Zhou

FIGUEIREDO, C. M. H.Vinícius G. P. de Sá; FREITAS, R.;Machado, R.C.S.. Graceful Labeling. 2016. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Adriano Witkovski

SANTIN, A.;Machado, R.C.S.; RUST, LUIZ FERNANDO. Um IDM e método de autenticação baseado em chaves para prover autenticação única em Internet das Coisas. 2015. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Rafael Cruz Ribeiro

SANTIN, A.;Machado, R.C.S.; RUST, LUIZ FERNANDO. Segurança de privacidade para smart house utilizando mobile cloud computing. 2015. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Adalton de Sena Almeida

NOGUEIRA, L.;Vinícius G. P. de Sá; MARTINHON, C.; PROTTI, F.;Machado, R.C.S.; KLEIN, S.. Minimizando ramificações em árvores geradoras. 2015. Dissertação (Mestrado em Ciências da Informação) - Universidade Federal Fluminense.

Aluno: Kleber Hochwart Cardoso

NEDJAH, N.; MOURELLE, L. M.; MARIANI, V. C.;Machado, R.C.S.. Implementação distribuída de auto-cura em redes inteligentes de distribuição de energia elétrica utilizando árvores de extensão mínima. 2014. Dissertação (Mestrado em Engenharia Eletrônica) - Universidade do Estado do Rio de Janeiro.

Aluno: Poly Hanna da Silva

DANTAS, S.; CLARK, H. R.;Braga, Marília D. V.Machado, R.C.S.. Distancia DCJ-indel e a desigualdade triangular. 2013. Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense.

Aluno: Igor Leão dos Santos

PRIMEZ, L.; Delicato, F.;Machado, R.C.S.. Sensor-SHM. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Joffre Gavinho Filho

L. F. R. da C. Carmo; PRIMEZ, L.;Machado, R.C.S.; Aloysio de Castro Pinto Pedroza. SDA-COG - Sistema de Detecção de Ataques para Redes de Rádios Cognitivos. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Rafael de Oliveira Costa

PRIMEZ, L.; BOCCARDO, DAVIDSON R.; CARMO, LUIZ F. R. C.;MACHADO, R. C. S.; COSTA, L. H. M. K.. TinyObf: Um Arcabouço de Ofuscação de Código e Proteção de Dados para Rede de Sensores Sem Fio. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Carla Chrystina de Castro Pacheco Ferreira

SALLES, R. M.; GARCIA, A.;Machado, R.C.S.; LOPES, H. C. V.; ZIVIANI, A.. DETEC C~AO DE SOCIALBOTS EM REDES SOCIAIS BASEADA EM ATRIBUTOS QUANTITATIVOS. 2018. Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia.

Aluno: Wilson de souza Melo Junior

L. F. R. da C. Carmo;PIRMEZ, LUCI; MICELLI, C.; NEVES, N.; BRITO, A.;Machado, R.C.S.. Autenticação baseada em Contexto Físico: Metodologia, Protocolos e Aplicações. 2018. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Rosembergue Pereira de Souza

L. F. R. da C. Carmo; PRIMEZ, L.; LIMA, P. M. V.;Machado, R.C.S.; SANTIN, A.. Um arcabouço tecnológico para detecção de possíveis serviços. 2018. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Leandro Miranda Zatesko

CARMO, R.; GUEDES, A.;FIGUEIREDO, C. M. H.; SILVA, M. V. G.;Machado, R.C.S.. NOVEL PROCEDURES FOR GRAPH EDGE-COLOURING. 2018. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: SÉRGIO DE MEDEIROS CÂMARA

L. F. R. da C. Carmo; PRIMEZ, L.;Machado, R.C.S.; ZIVIANI, A.; REZENDE, J. F.. AUTENTICACAO DE EVIDENCIAS DIGITAIS PARA SISTEMAS CIBERFISICOS DE RECURSOS LIMITADOS. 2017. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Diana Sasaki

FIGUEIREDO, C. M. H.DANTAS, S.; PREISSMANN, M.; ARTIGAS, D.; KLEIN, S.;Machado, R.C.S.. Sobre coloração total de grafos cúbicos. 2013. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Wilson Melo Junior

L. F. R. da C. Carmo; MICELLI, C.;Machado, R.C.S.. Uso de Eventos Fisicos para Autenticacao em Sistemas Computacionais Pervasivos. 2017. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Wilson de souza Melo Junior

MICELLI, C.; L. F. R. da C. Carmo;Machado, R.C.S.. Uso de eventos físicos para autenticação em sistemas computacionais pervasivos. 2017. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Sérgio Câmara

L. F. R. da C. Carmo; PRIMEZ, L.; REZENDE, J. F.;Machado, R.C.S.. Forense Digital para Sistemas Ciber-Físicos`. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Adalton de Sena Almeida

NOGUEIRA, L.;Vinícius G. P. de Sá; PROTTI, F.;Machado, R.C.S.. HEURÍSTICAS ITERATIVAS PARA MINIMIZAÇÃO DE RAMIFICAÇÕES EM ÁRVORES GERADORAS. 2013. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

Aluno: Mayara Midori Omai

ALMEIDA, S.; SASAKI, D.; GUEDES, A.;Machado, R.C.S.. COLORAÇÃO DISTINTA NA VIZINHANÇA EM GRAFOS INDIFERENÇA. 2017. Exame de qualificação (Mestrando em Engenharia de Produção e Sistemas (Ppgeps)) - Universidade Tecnológica Federal do Paraná.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Cassio Neri Moreira

Neri, C.. Sobre Busca em Largura e Diâmetro de Grafos. 2004. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.

Célia Picinin de Mello

FIGUEIREDO, C. M.C. P. de MelloCAMPOS, C. N.. . Coloração em Grafos: Total e de Arestas.. 2007 - Universidade Federal do Rio de Janeiro.

Adriano Joaquim de OLIVEIRA CRUZ

CRUZ, A. J. O.; FIGUEIREDO, C. M. H.; MOREIRA, C. N.. Sobre busca e largura e diâmetro de grafos. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Luiz Fernando Rust da Costa Carmo

FIGUEIREDO, C. M. H.; Campos, C. N.; MELLO, C. P.; KLEIN, S.;CARMO, L. F. R. C.. Decomposições para Coloração de Arestas e Coloração Total de Grafos. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Seção coletada automaticamente pelo Escavador

Orientou

Gustavo Jose Kuster de Albuquerque

Governança Regulatória em Segurança Cibernética; Início: 2018; Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia; (Orientador);

Thaís Mendes Barras

Acreditação de Laboratórios para Avaliação de Segurança Cibernética; Início: 2018; Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia; (Orientador);

Leandro Pinho Corrêa

Arquitetura de um sistema de geração de números aleatórios para aplicações críticas; Início: 2018; Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia; (Orientador);

Adriana Terra Creazola

Sustentabilidade aplicada as estratégias de gestão pública ? Proposta de um modelo de mapa estratégico sustentável com auxílio da metrologia para a Gestão Pública Municipal; Início: 2018; Dissertação (Mestrado profissional em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia; (Orientador);

Lucas Vital Moreira

Detecção de bots sociais; Início: 2018; Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca; (Orientador);

Alan Oliveira de Sá

Segurança em Sistemas de controle e Automação; Início: 2016; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);

Mariana Pino

Testes de Software com foco em Desempenho e Disponibilidade; Início: 2018; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Carlos Roberto Gonçalves Vianna Filho

Modelos de Viabilidade para a Adoção de Padrões de Segurança Cibernética; 2019; Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca,; Coorientador: Raphael Carlos Santos Machado;

Carlos Alberto Martins de Souza Teles

Requisitos e Ensaios de Segurança Cibernética com foco em Desempenho e Disponibilidade; 2019; Dissertação (Mestrado em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca,; Coorientador: Raphael Carlos Santos Machado;

Alesom

COLORAÇÃO TOTAL EM GRAFOS POTÊNCIA DE CICLO; 2019; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Letícia Mariano Ribeiro de Sousa

Avaliação de Riscos no estudo de Programas de Avaliação da Conformidade na área da Tecnologia da Informação e Comunicação; 2018; Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia,; Orientador: Raphael Carlos Santos Machado;

Márcia Regina Campos Ferreira

O IMPACTO DO RUÍDO NO AMBIENTE LABORAL PARA A VOZ DOS DOCENTES; 2018; Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia,; Orientador: Raphael Carlos Santos Machado;

Antônio Lacerda

GARANTIA DE ATUALIZACAO MASSIVA DE FIRMWARE DE MEDIDORES INTELIGENTES ATRAVES DE UM RECIBO AGREGADOR; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Raphael Carlos Santos Machado;

Railson Motta

Planejamento da vigilância de campo em metrologia legal baseado em gestão de riscos e análise de dados; 2017; Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia,; Orientador: Raphael Carlos Santos Machado;

Bruno de Carvalho do Couto

Comparação interlaboratorial em ensaios de medidores de energia elétrica; 2016; Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia,; Orientador: Raphael Carlos Santos Machado;

Valeria Farias Alves

Uma Abordagem Baseada em Workflow para Produção de Datasets Sintéticos de Fluxos de Acessos com Marcações para Identificação de Ataques de Negação de Serviço; 2015; Dissertação (Mestrado em Tecnologia) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca,; Coorientador: Raphael Carlos Santos Machado;

Roberta de Freitas Chamusca

PROPOSIÇÃO DE UM MÉTODO PARA A SELEÇÃO DE TIPOS DE ESQUEMAS DE CERTIFICAÇÃO DE PRODUTOS; 2015; Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia,; Orientador: Raphael Carlos Santos Machado;

Letícia Mariano Ribeiro de Souza

Análise de Riscos de Programas de Avaliação da Conformidade no Setor de Segurança Cibernética; 2015; Dissertação (Mestrado em Mestrado Profissional em Metrologia e Qualidade) - Instituto Nacional de Metrologia, Qualidade e Tecnologia,; Orientador: Raphael Carlos Santos Machado;

Sergio Medeiros Camara

Uma arquitetura de seguranca para medidores inteligentes - verificacao pratica de dados de energia multitarifada; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Raphael Carlos Santos Machado;

Alan Oliveira de Sá

System Identification Attacks, Model-based Offensives and Countermeasures in Networked Control Systems; 2019; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Raphael Carlos Santos Machado;

Helio Bomfim Macedo Filho

Colorações de Cliques e Colorações de Bicliques de Grafos; 2014; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Pedro Monte Mor

Detecção de ataques baseada em flows; 2014; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca; Orientador: Raphael Carlos Santos Machado;

Viktor Hugo

Metodologia de criação de datasets rotulados para sistemas de deteção de ataques; 2014; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca; Orientador: Raphael Carlos Santos Machado;

Riccardo Campisano

MÉTODOS DE AGRUPAMENTO DE ACESSOS BASEADOS EM FLUXOS DE REQUISIÇÕES DE SERVIDORES WEB; 2014; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca; Orientador: Raphael Carlos Santos Machado;

Luis Magalhães

Metodologia de criação de datasets rotulados para sistemas de deteção de ataques; 2014; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca; Orientador: Raphael Carlos Santos Machado;

Érika de Freitas

Metodologia de criação de datasets rotulados para sistemas de deteção de ataques; 2014; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Sistemas de Informação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca; Orientador: Raphael Carlos Santos Machado;

André Gustavo Lima Figueiredo

Construção de um simulador de ataques DDoS; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Felipe Gonçalves Costa Castro

Construção de um simulador de ataques DDoS; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Marcos Vinicius Machado Rodrigues

Construção de um simulador de ataques DDoS; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Paulo Rodrigo Lima Figueiredo

Construção de um simulador de ataques DDoS; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Pedro Henrique da Silva Nogueira

Construção de um simulador de ataques DDoS; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Lawrence Fernandes

Desenvolvimento de uma ferramenta de identificação de dispositivos em rede; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Matheus Santos

Desenvolvimento de um ambiente de simulação de ataques distribuídos de negação de serviço; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Guilherme Pereira

Desenvolvimento de um ambiente de apoio à computação distribuída; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Rafael Valfre

Análise forense computacional e identificação de origens de ataques distribuídos de negação de serviço; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Jarcy de Azevedo Junior

Construção de um simulador de ataques DDoS; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Raquel Lima Logullo de Oliveira

Construção de um simulador de ataques DDoS; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Raphael Carlos Santos Machado;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Ricardo Martins da Silva Rosa

Sistemas dinâmicos e criptossistemas; 2006; Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ricardo Martins da Silva Rosa;

Celina Miraglia Herrera de Figueiredo

Decomposições para coloração de arestas e coloração total de grafos; 2010; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Celina Miraglia Herrera de Figueiredo;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • OLIVEIRA DE SÁ, ALAN ; CASIMIRO, ANTÓNIO ; Machado, Raphael C. S. ; DA C. CARMO, LUIZ F. R. . Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration. SENSORS , v. 20, p. 792, 2020.

  • BENTO, LUCILA M.S. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C.S. ; MIYAZAWA, FLÁVIO K. ; PEREIRA DE SÁ, VINÍCIUS G. ; SZWARCFITER, JAYME L. . Dijkstra graphs. DISCRETE APPLIED MATHEMATICS , v. 261, p. 52-62, 2019.

  • SA, A. ; Machado, R.C.S. ; ALMEIDA, N. N. . O Encontro da Guerra Cibernética com as Guerras Eletrônica e Cinética no Âmbito do Poder Marítimo. REVISTA DA ESCOLA DE GUERRA NAVAL (ED. PORTUGUÊS) , v. 25, p. 89-128, 2019.

  • BENTO, LUCILA M. S. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C. S. ; PEREIRA DE SÁ, VINÍCIUS G. ; SZWARCFITER, JAYME L. . Full Characterization of a Class of Graphs Tailored for Software Watermarking. ALGORITHMICA , v. 81, p. 2899-2916, 2019.

  • MELO JUNIOR, W. ; Machado, R.C.S. ; L. F. R. da C. Carmo . Using Physical Context-Based Authentication against External Attacks: Models and Protocols. Security and Communication Networks , v. 2018, p. 1-14, 2018.

  • DE SÁ, ALAN O. ; DA COSTA CARMO, LUIZ F. R. ; Machado, Raphael C. S. . A controller design for mitigation of passive system identification attacks in networked control systems. JOURNAL OF INTERNET SERVICES AND APPLICATIONS , v. 9, p. 1-19, 2018.

  • DE MACEDO FILHO, H.B. ; de Figueiredo, C.M.H. ; LI, Z. ; Machado, R.C.S. . Using SPQR-trees to speed up recognition algorithms based on 2-cutsets. DISCRETE APPLIED MATHEMATICS , v. 245, p. 101-108, 2018.

  • BENTO, LUCILA M.S. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C.S. ; PEREIRA DE SÁ, VINÍCIUS G. ; SZWARCFITER, JAYME LUIZ . On the resilience of canonical reducible permutation graphs. DISCRETE APPLIED MATHEMATICS , v. 234, p. 32-46, 2018.

  • ZHOU, RODRIGO M. ; de Figueiredo, Celina M.H. ; Machado, Raphael C.S. ; DE SÁ, VINÍCIUS G. PEREIRA . On the embedding of cone graphs in the line with distinct distances between neighbors. DISCRETE APPLIED MATHEMATICS , v. 256, p. 157-162, 2018.

  • FILHO, H. B. MACÊDO ; MACHADO, R. C. S. ; DE FIGUEIREDO, C. M. H. . Efficient Algorithms for Clique-Colouring and Biclique-Colouring Unichord-Free Graphs. ALGORITHMICA , v. 77, p. 786-814, 2017.

  • SA, A. ; L. F. R. da C. Carmo ; Machado, R.C.S. . Bio-inspired Active System Identification: a Cyber-Physical Intelligence Attack in Networked Control Systems. MOBILE NETWORKS & APPLICATIONS , p. 1-14, 2017.

  • Dantas, Simone ; GROSHAUS, MARINA ; GUEDES, ANDRÉ ; Machado, Raphael C. S. ; RIES, BERNARD ; SASAKI, DIANA . On star and biclique edge-colorings. International Transactions in Operational Research , v. 24, p. 339-346, 2017.

  • DA SILVA, POLY H. ; Machado, Raphael ; Dantas, Simone ; BRAGA, MARILIA D.V. . Genomic Distance with High Indel Costs. IEEE-ACM Transactions on Computational Biology and Bioinformatics , v. 14, p. 728-732, 2017.

  • DE SA, ALAN OLIVEIRA ; CARMO, LUIZ F. RUST DA COSTA ; Machado, Raphael C. S. . Covert Attacks in Cyber-Physical Control Systems. IEEE Transactions on Industrial Informatics , v. 13, p. 1641-1651, 2017.

  • MACÊDO FILHO, HÉLIO B. ; Machado, Raphael C.S. ; de Figueiredo, Celina M.H. . Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3. Theoretical Computer Science , v. 618, p. 122-134, 2016.

  • Machado, R.C.S. ; BOCCARDO, DAVIDSON ; Vinícius G. P. de Sá ; SZWARCFITER, J. . Software control and intellectual property protection in cyber-physical systems. EURASIP Journal on Information Security , v. 2016, p. 8, 2016.

  • Machado, Raphael C.S. ; de Figueiredo, Celina M.H. . Linear-time graph distance and diameter approximation. International Transactions in Operational Research , v. 23, p. 843-851, 2016.

  • MACÊDO FILHO, H.B. ; DANTAS, S. ; Machado, R.C.S. ; FIGUEIREDO, C.M.H. . Biclique-colouring verification complexity and biclique-colouring power graphs. Discrete Applied Mathematics , v. 192, p. 65-76, 2015.

  • SILVA, V P ; SILVA, D S ; BOCCARDO, D R ; MACHADO, R C S ; CARMO, L F R C . Reliable data acquisition for inspection systems. Journal of Physics. Conference Series (Online) , v. 575, p. 012045, 2015.

  • DA FONSECA, GUILHERME DIAS ; PEREIRA DE SÁ, VINÍCIUS GUSMÃO ; MACHADO, RAPHAEL CARLOS SANTOS ; DE FIGUEIREDO, CELINA MIRAGLIA HERRERA . On the recognition of unit disk graphs and the Distance Geometry Problem with Ranges. DISCRETE APPLIED MATHEMATICS , v. 197, p. 3-19, 2015.

  • da Fonseca, Guilherme D. ; de Figueiredo, Celina M.H. ; PEREIRA DE SÁ, VINÍCIUS G. ; Machado, Raphael C.S. . Efficient sub-5 approximations for minimum dominating sets in unit disk graphs. Theoretical Computer Science , v. 540-541, p. 70-81, 2014.

  • Machado, Raphael C.S. ; de Figueiredo, Celina M.H. ; Trotignon, Nicolas . Complexity of colouring problems restricted to unichord-free and { square,unichord }-free graphs. DISCRETE APPLIED MATHEMATICS , v. 164, p. 191-199, 2014.

  • DO PRADO, CHARLES B. ; BOCCARDO, DAVIDSON R. ; Machado, Raphael C. S. ; DA COSTA CARMO, LUIZ F. R. ; DO NASCIMENTO, TIAGO M. ; BENTO, LUCILA M. S. ; COSTA, RAFAEL O. ; DE CASTRO, CRISTIANO G. ; CÂMARA, SÉRGIO M. ; PIRMEZ, LUCI ; OLIVEIRA, RENATO . 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.

  • Machado, R.C.S. ; FIGUEIREDO, C. M. H. ; Trotignon, Nicolas . Edge-colouring and total-colouring chordless graphs. Discrete Mathematics , v. 313, p. 1547-1552, 2013.

  • DA SILVA, POLY H ; Machado, Raphael ; Dantas, Simone ; BRAGA, MARÍLIA DV . DCJ-indel and DCJ-substitution distances with distinct operation costs. Algorithms for Molecular Biology , v. 8, p. 21, 2013.

  • de Sá, Vinícius G.P. ; BOCCARDO, DAVIDSON R. ; RUST, LUIZ FERNANDO ; Machado, Raphael C.S. . A tight bound for exhaustive key search attacks against Message Authentication Codes. RAIRO - Theoretical Informatics and Applications , v. 47, p. 171-180, 2013.

  • GYÁRFÁS, ANDRÁS ; LI, ZHENTAO ; Machado, Raphael ; SEB', ANDRÁS ; THOMASSÉ, STÉPHAN ; Trotignon, Nicolas . Complements of nearly perfect graphs. JOURNAL OF COMBINATORICS , v. 4, p. 299-310, 2013.

  • NASCIMENTO, TIAGO 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, 2012.

  • Campos, C.N. ; de Figueiredo, C.H. ; Machado, R. ; de Mello, C.P. . The total chromatic number of split-indifference graphs. Discrete Mathematics , v. 312, p. 2690-2693, 2012.

  • GAVINHO FILHO, J. ; L. F. R. da C. Carmo ; Machado, R. ; PRIMEZ, L. . Intrusion Detection System for Cognitive Radio Network. International Journal of Computer Science and Network Security , v. 12, p. 1-10, 2012.

  • CAMARA, SERGIO ; Machado, Raphael ; CARMO, LUIZ F.R.C. . A Consumption Authenticator Based Mechanism for Time-of-Use Smart Meter Measurements Verification. APPLIED MECHANICS AND MATERIALS , v. 241-244, p. 218-222, 2012.

  • Machado, Raphael C. S. ; de Figueiredo, Celina M. H. . A decomposition for total-coloring partial-grids and list-total-coloring outerplanar graphs. Networks (New York, N.Y. Print) , v. 57, p. 261-269, 2011.

  • Machado, R.C.S. ; de Figueiredo, C.M.H. . Total chromatic number of unichord-free graphs. Discrete Applied Mathematics , v. 159, p. 1851-1864, 2011.

  • de Sá, Vinícius G.P. ; da Fonseca, Guilherme D. ; Machado, Raphael C.S. ; de Figueiredo, Celina M.H. . Complexity dichotomy on partial grid recognition. Theoretical Computer Science , v. 412, p. 2370-2379, 2011.

  • Machado, Raphael ; DE FIGUEIREDO, CELINA . Complexity separating classes for edge-colouring and total-colouring. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. 17, p. 281-285, 2011.

  • MACHADO, R. C. S. ; de Figueiredo, Celina M.H. . Decompositions for edge-coloring join graphs and cobipartite graphs?. Discrete Applied Mathematics , v. 158, p. 1336-1342, 2010.

  • MACHADO, R. C. S. ; FIGUEIREDO, C. M. H. ; VUSKOVIC, K. . Chromatic index of graphs with no cycle with a unique chord. Theoretical Computer Science , v. 411, p. 1221-1234, 2010.

  • L. F. R. da C. Carmo ; MACHADO, R. C. S. . Metrologia Temporal na Verificação de Integridade de Software em Instrumentos de Medição. Produto & Produção (Online) , v. 11, p. 80-88, 2010.

Seção coletada automaticamente pelo Escavador

Outras produções

Machado, R.C.S. . Simulador de Ataques Distribuídos de Indisponibilidade. 2014.

MACHADO, R. C. S. . Nota Técnica Dimci/Dmtic 25/2015. 2015.

Machado, R.C.S. . Why are countries creating public random number generators?. 2018. (Programa de rádio ou TV/Entrevista).

Machado, R.C.S. . Software Pioneiro no Brasil Avalia Desempenho e Disponibilidade de Sites. 2018. (Programa de rádio ou TV/Entrevista).

FIGUEIREDO, C. M. H. ; SALES, C. L. ; FREITAS, R. ; OLIVEIRA, A. K. M. ; Machado, R.C.S. ; CAPELLE, M. . Matemática Contemporânea, Special Issue 8th Latin-American Workshop on Cliques in Graphs. 2019. (Editoração/Periódico).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2018 - Atual

    Algoritmos, Modelos Combinatórios e Aplicações (FAPERJ/JCNE), Descrição: Algoritmos são o conceito mais fundamental da Ciência da Computação. Seu estudo remete a teorias básicas como a Complexidade Computacional e a Computabilidade. Por outro lado, o projeto de algoritmos, acompanhado de todos os seus paradigmas - algoritmos sequenciais, paralelos, distribuídos, randomizados, aproximativos, quânticos, dentre outros - permite a aplicação do computador na resolução de problemas nos mais diversos campos do conhecimento. No presente projeto, buscamos investigar o conceito de algoritmo em todas as suas dimensões, investigando desde a adequação de modelos e paradigmas a diversos campos do conhecimento, até o desenvolvimento de algoritmos aplicados a cenários práticos. Como ferramenta essencial ao desenvolvimento de algoritmos, a modelagem combinatória será investigada de diversas formas no presente projeto. Por um lado, a investigação de problemas combinatórios permite alcançar um entendimento amplo e profundo a respeito das possibilidades e das limitações de algoritmos. Por outro lado, a matemática combinatória é essencial ao desenvolvimento de estruturas de dados que suportam a execução de algoritmos eficientes. O projeto será coordenado por Raphael Machado, bolsista PQ-2 do CNPq, com experiência na coordenação de projetos Faperj (INST, APQ1, TECNOVA), Finep (TI-Maior) e CNPq (Universal, RHAE), e atuante nas mais diversas áreas da computação teórica e aplicada, tais como complexidade computacional, criptografia e protocolos de segurança, segurança de aplicações, biologia computacional, geometria computacional, teoria dos grafos, dentre outras. O projeto tem apoio da Faperj, por meio da chamada JCNE (Jovem Cientista do Nosso Estado) 2017, no valor de R$75.600, Processo E-26/203.232/2017.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (4) / Mestrado profissional: (7) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2017 - Atual

    Desenvolvimento de um Serviço de Geração de Números Aleatórios para Aplicações em Criptografia e Segurança (FAPESP/MCTI/MC/CGI), Descrição: O projeto tem por objetivo central o desenvolvimento de um serviço oficial de geração de números aleatórios para aplicações em criptografia e protocolos de segurança. O serviço estará calcado nos princípios gerais da metrologia, fazendo uso das ferramentas de rastreabilidade e comparações interlaboratoriais para garantir a ``qualidade'' da fonte de entropia do sistema. Adicionalmente, serão investigados os aspectos científicos associados à geração de números aleatórios, incluindo eventos físicos a serem utilizados como fonte de entropia, algoritmos de geração de números pseudo-aleatórios, e protocolos baseados em ``beacons''. O projeto é apoiado pela FAPESP, chamada FAPESP/MCTI/MC/CGI 2015, no valor de R$180mil, processo 2015/24480-7.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Coordenador / Rust - Integrante / Jayme Szwarcfiter - Integrante / Luiz Vicente Gomes Tarelho - Integrante / LEONARDO COSTA RIBEIRO - Integrante / Jeroen van der Graaf - Integrante / Routo Torada - Integrante / Mario Benevides - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2017 - Atual

    Computacao Orientada a Dados: Novos Modelos para a Eficiencia Computacional e suas Aplicacoes a Problemas Praticos, Descrição: O presente projeto visa dar suporte as pesquisas desenvolvidas por seis jovens pesquisadores de elevada produtividade atuando nas areas de Analise e Projeto de Algoritmos, Otimizacao Combinatoria, Bancos de Dados e Engenharia de Software. O objetivo do projeto e, por meio do apoio a estes jovens pesquisadores e do incentivo a colaboracao e pesquisas conjuntas, viabilizar o desenvolvimento de abordagens para a solucao dos novos problemas computacionais, os quais caracterizam-se pela necessidade de processamento inteligente e eficiente de grandes volumes de dados e que, portanto, demandam a aplicacao de novas ferramentas oriundas de disciplinas tais como estatistica, probabilidade, metodos numericos e aprendizado de maquina em complemento as ferramentas classicas da Computacao. A equipe do projeto e adequada para assumir o desafio proposto. A equipe principal e composta por seis pesquisadores de elevada produtividade - todos eles bolsistas CNPq/PQ-2, sendo quatro Jovens Cientistas do Nosso Estado pela FAPERJ - e que terao apoio de outros cinco pesquisadores seniores tambem de elevada produtividade e reconhecimento cientifico - sao quatro bolsistas CNPq/PQ-1A e uma bolsista CNPq/PQ-1D. Os pesquisadores do presente projeto de pesquisa possuem vinculos com instituicoes de perfis diversos, incluindo um centro de pesquisas federal (Inmetro), uma escola tecnica federal (CEFET/RJ), uma universidade estadual (UERJ), um instituto universitario de computacao em consolidacao (IC/UFF) e um instituto universitario tradicional na area de computacao (COPPE/UFRJ). Os recursos do presente projeto serao aplicados na implantacao de laboratorios onde atuarao os pesquisadores principais do presente projeto. Precisamente, esta previsto o apoio ao Laboratorio de Computacao Aplicada no CEFET/RJ, ao Laboratorio de Gerenciamento de Versao e Configuracao de Software na UFF, ao Laboratorio de Computacao, Metrologia e Qualidade no Inmetro, alem da aquisicao de equipamentos (computadores) e custeio de viagens (participacao em eventos) para os pesquisadores principais. A presenca de uma equipe de pesquisa multidisciplinar como a presente equipe viabiliza a execucao de um espectro de linhas de pesquisa que vao desde as mais teoricas - tais como Projeto de Algoritmos e Analise de Complexidade Computacionais - passando pelo desenvolvimento de ferramentas genericas - com base em otimizacao combinatoria e metodos estatisticos - ate a pesquisa aplicada a problemas computacionais concretos - e ai, podemos citar o gerenciamento de repositorios de software, a analise de dados em smart cities, a seguranca orientada a dados, dentre outras. Como resultados do presente projeto, estao previstos, nao apenas, avancos cientificos nas disciplinas relacionadas ao projeto, mas tambem a formacao de recursos humanos, a evolucao nos conteudos curriculares dos cursos de Computacao, e o desenvolvimento de aplicativos de software para solucionar problemas praticos, alem, e claro, a implantacao de laboratorios no CEFET/RJ, na UFF e no Inmetro.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2017 - Atual

    Algoritmos, Combinatória e Aplicações (CNPq/Universal), Descrição: Trata-se de projeto para apoiar as atividades de pesquisa de Raphael Carlos Santos Machado, pesquisador do Inmetro doutorado pelo PESC/COPPE/UFRJ em janeiro de 2010 e que vem atuando ativamente em temas fundamentais de pesquisa em Computa c~ao, assim como em linhas de pesquisa aplicada, desenvolvimento tecnol ógico, inova ção e suas aplica ções na Ind ústria e na Sociedade. O projeto tem por objetivo central a consolida ção da Computa ção como uma ciência báasica, mas que possui aplica ção nas mais diversas areas, impactando de maneira ampla todos os setores da Ind ústria e da Sociedade. O projeto é apoiado pelo CNPq, chamada Universal 2016, recebendo total de R$ 26.961,30. (Outorga Processo: 421007/2016-8 Chamada: Universal 01/2016 - Faixa A - até R$ 30.000,00.). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Coordenador.

  • 2015 - 2017

    Algoritmos, Combinatória e Aplicações (FAPERJ/JCNE), Descrição: Algoritmos são o conceito mais fundamental da Ciência da Computação. Seu estudo remete a teorias básicas como a Complexidade Computacional e a Computabilidade. Por outro lado, o projeto de algoritmos, acompanhado de todos os seus paradigmas - algoritmos sequenciais, paralelos, distribuídos, randomizados, aproximativos, quânticos, dentre outros - permite a aplicação do computador na resolução de problemas nos mais diversos campos do conhecimento. No presente projeto, buscamos investigar o conceito de algoritmo em todas as suas dimensões, investigando desde a adequação de modelos e paradigmas a diversos campos do conhecimento, até o desenvolvimento de algoritmos aplicados a cenários práticos. Como ferramenta essencial ao desenvolvimento de algoritmos, a matemática combinatória será investigada de diversas formas no presente projeto. Por um lado, a investigação de problemas combinatórios permite alcançar um entendimento amplo e profundo a respeito das possibilidades e das limitações de algoritmos. Por outro lado, a matemática combinatória é essencial ao desenvolvimento de estruturas de dados que suportam a execução de algoritmos eficientes. O projeto foi apoiado pela Faperj, chamada JCNE (Jovem Cientista do Nosso Estado) 2014, no valor de R$75.600,00.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2014 - 2016

    Matemática discreta: problemas de partição em grafos (Capes/MathAmSud), Projeto certificado pelo(a) coordenador(a) Simone Dantas de Souza em 30/05/2018., Descrição: Este projeto trata da investigação de dois tipos de problemas em gráficos: problemas de particionamento e problemas de reconhecimento. Em relação aos problemas de particionamento, vamos nos concentrar nos problemas clássicos de partição e em vários tipos de coloração em gráficos, que por sua vez podem ser vistos como problemas particulares de partição (veja a discussão na Seção B1). As questões que gostaríamos de responder com relação a esses problemas são principalmente questões complexas, ou seja, gostaríamos de determinar a complexidade desses problemas em várias classes especiais de gráficos. Além disso, investigaremos a estrutura de várias classes de gráficos que podem ser definidas usando algumas partições particulares do conjunto de vértices. Em relação aos problemas de reconhecimento, vamos nos concentrar em uma generalização do problema de reconhecimento padrão conhecido como o problema do sanduíche. Mais uma vez, vamos investigar questões de complexidade e tentar obter uma classificação sobre o problema do sanduíche em gráficos perfeitos. Financiador(es): Centre National de la Recherche Scientifique - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio de Ciencia, Tecnología e Innovación Productiva - Auxílio financeiro.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / simone dantas - Coordenador / Marina Groshaus - Integrante / André Guedes - Integrante / Bernard Ries - Integrante / diana sasaki - Integrante / Hélio Bomfim de Macêdo Filho - Integrante / Frédéric Maffray - Integrante / Francisco Juan Soulignac - Integrante / Juan Pablo Puppo - Integrante / Laetitia Lemoine - Integrante / Deiwison Souza Machado - Integrante.

  • 2013 - 2016

    SADI - Simulador de Ataques Distribuídos de Indisponibilidade (CNPq/RHAE), Descrição: O objetivo do presente projeto é desenvolver uma ferramenta de simulação de Ataques Distribuídos de Negação de Serviço ? denotamos a ferramenta pelo codinome SADI (Simulador de Ataques Distribuídos de Indisponibilidade). Ataques distribuídos de negação de serviços são baseados na atuação coordenada de um grande número de agentes maliciosos, os quais buscam sobrecarregar o sistema-alvo e os seus sistemas de detecção e resposta a ataques. O SADI dará origem a um Serviço de Simulação que será oferecido segundo dois modelos básicos. No modelo ?simulação remota?, o uso de virtualização permitirá a rápida instanciação de máquinas remotas de ataque distribuídas geograficamente, e, com isso, reproduzir os mais diversos perfis de ataque com um elevado grau de similaridade. O modelo ?simulação local? será executado através do posicionamento de equipamentos de simulação nas ?bordas? das redes e sistemas sob simulação. Tais equipamentos buscarão reproduzir localmente o efeito de um ataque distribuído. O projeto apresentou resultados excepcionais, dando origem a um enorme conhecimento teórico, mas também, a uma ferramenta prestigiada no mercado de segurança da informação - sendo a base para um serviço de teste de sobrecarga - e reconhecida pelo governo (Ministério da Defesa) como um "Produto Estratégico de Defesa". O projeto contou com o apoio do CNPq, chamada RHAE, no valor total de R$ 123.200,00 em bolsas. (Processo 45408220134.). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2012 - 2015

    Estrutura dos Grafos e Aplicações (CNPq/Universal), Descrição: O projeto tem por objetivo principal o desenvolvimento de pesquisa científica básica e aplicada através das seguintes atividades: {identificação de problemas combinatórios}, particularmente em grafos, formulados a partir de problemas práticos aplicados; {aplicação de ferramentas combinatórias}, particularmente grafos, a problemas práticos aplicados. Para facilitar o entendimento da proposta do projeto, propomos a seguinte classificação das linhas de pesquisa do projeto, as quais serão apropriadamente descritas ao longo do documento: pesquisa básica em {Teoria dos Grafos}; {Geometria Computacional} aplicada; {Biologia Computacional} e algoritmos para genômica comparativa; ferramentas combinatórias aplicadas à {Segurança da Informação}; atribuição de canais em redes de {Rádios Cognitivos}. O projeto tem como metas: obtenção de resultados relevantes nas áreas de pesquisa associadas à Teoria dos Grafos, com ênfase na relação entre estas áreas teóricas e aplicações a problemas reais; o desenvolvimento de recursos humanos de alto nível, através da participação de alunos de universidades e centros de pesquisa --- tanto de alunos de programas de pós-graduação quanto de alunos de graduação; a divulgação dos temas de pesquisa associados ao projeto, através da organização de encontros e eventos científicos que promovam a pesquisa em Teoria dos Grafos e suas aplicações. Recebeu apoio do CNPq, chamada Universal 14/2012, no valor de R$ 29.520,32. (Outorga Processo 485389/2012-6.). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Coordenador / Celina Miraglia Herrera de Figueiredo - Integrante / Rust - Integrante / Vinicius Gusmão - Integrante / simone dantas - Integrante / BOCCARDO, DAVIDSON - Integrante / BRAGA, MARILIA - Integrante / rosiane freitas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2012 - 2013

    Estrutura dos Grafos e Aplicações (FAPERJ/APQ1), Descrição: Trata-se de projeto para apoiar as atividades de pesquisa de Raphael Carlos Santos Machado, pesquisador do Inmetro doutorado pelo PESC/COPPE/UFRJ em janeiro de 2010 e que vem atuando ativamente em temas de teoria da computação e em linhas de pesquisa aplicada. O projeto tem por objetivo principal o desenvolvimento de pesquisa científica básica e aplicada através das seguintes atividades: - identificação de problemas combinatórios, particularmente em grafos, formulados a partir de problemas práticos aplicados; - aplicação de ferramentas combinatórias, particularmente grafos, a problemas práticos aplicados. Para facilitar o entendimento da proposta do projeto, propomos a seguinte classificação das linhas de pesquisa do projeto: - pesquisa básica em Teoria dos Grafos; - Geometria Computacional aplicada; - Biologia Computacional e algoritmos para genômica comparativa; - ferramentas combinatórias aplicadas à Segurança da Informação; - atribuição de canais em redes de Rádios Cognitivos; O projeto tem como metas: - obtenção de resultados relevantes nas áreas de pesquisa associadas à Teoria dos Grafos, com ênfase na relação entre estas áreas teóricas e aplicações a problemas reais; - o desenvolvimento de recursos humanos de alto nível, através da participação de alunos de universidades e centros de pesquisa --- tanto de alunos de programas de pós-graduação quanto de alunos de graduação; - a divulgação dos temas de pesquisa associados ao projeto, através da organização de encontros e eventos científicos que promovam a pesquisa em Teoria dos Grafos e suas aplicações. O projeto recebeu apoio da FAPERJ, chamada APQ1, num valor total de R$ 28.520,32. (Processo 261118512012.). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2011 - 2016

    Problemas combinatórios em rearranjos de genomas (CNPq/PROMETRO), Descrição: O foco principal do projeto são análises combinatórias de problemas oriundos de mutações de larga escala ou rearranjos de genomas. Um dos problemas mais estudados nesta área é o de comparar dois genomas para determinar o número mínimo de mutações ou rearranjos necessários para transformar um genoma no outro. Este problema é denominado distância de rearranjos. Devido à complexidade do problema, sua análise combinatória é feita através de diversos modelos diferentes, com diferentes graus de restrição. O projeto foi apoiado com recursos CNPq/Inmetro, por meio da chamada Prometro, da ordem de R$420mil.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / Braga, Marília D V - Coordenador / simone dantas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2011 - 2015

    Matemática Discreta e aplicações (FAPERJ/PRONEM), Projeto certificado pelo(a) coordenador(a) Simone Dantas de Souza em 30/05/2018., Descrição: Apoio a Grupos Emergentes de Pesquisa do Rio de Janeiro. O presente projeto tem como foco principal a formação de recursos humanos e a produção de trabalhos relacionados ao estudo de problemas na área de Teoria de Grafos, tanto no seu aspecto teórico quanto do ponto de vista das aplicações em temas de inovação tais como a bioinformática, telefonia celular e neurociência.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Raphael Carlos Santos Machado - Integrante / simone dantas - Coordenador.

  • 2011 - 2013

    Plataforma teórica e experimental de Sistemas Rádio Cognitivos (Finep/FUNTTEL), Descrição: Objetivos do projeto: ? Investigação das redes oportunísticas, que permitem o compartilhamento de banda de frequência entre diversos usuários, envolvendo emprego de novos esquemas de acesso rádio, baseados em técnicas cognitivas ou de percepção do ambiente radioelétrico. ? Desenvolver esquemas de Alocação e Acesso Dinâmico do Espectro. ? Desenvolver esquemas e algoritmos de segurança para as comunicações em rádios cognitivos. ? Desenvolver plataforma de testes usando rádios cognitivos e ferramenta de gerência de espectro. ? Propor novos esquemas de gerenciamento dinâmico do espectro aos órgãos regulatórios. ? Contribuir para padronização da tecnologia, acompanhando os esforços em âmbito mundial. ? Promover o conceito de "Rádio Cognitivo" como meio preferencial para viabilizar otimização do uso do espectro O projeto recebeu apoio da Finep, por meio da chamada FUNTTEL 02/2009, no valor de aproximadamente R$4,6mi.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Integrante / Rodolfo Saboia de Souza - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2011 - 2012

    Segurança Cibernética em Smart Grids (P&D ANEEL), Descrição: Smart Grids consistem na evolução das atuais redes de distribuição de energia elétrica através da incorporação de recursos de processamento e transmissão de dados. Um dos pontos mais críticos associados a essa evolução são os inúmeros complexos problemas de segurança da informação a ela associados. O candidato tem atuado fortemente no sentido de permitir uma evolução da rede mantendo requisitos de segurança da informação. Em particular, o candidato tem obtido resultados relevantes em problemas de ``verificação de integridade de software'' e ``proteção de software''. O projeto em questão teve como objetivos: Aprimorar o processo de validação dos softwares embarcados nos sistemas de medição de energia elétrica. Busca-se estudar vulnerabilidades, ferramentas de testes e metodologias de avaliação de medidores inteligentes. Investigar e compreender o processo de mapeamento do código fonte em um código objeto a ser executado no medidor. Resultados esperados: relatório sobre as principais técnicas para verificação da relação fonte/objeto e resultados avaliativos. Verificação de integridade dos softwares embarcados nos medidores. Desenvolver técnicas para avaliação e detecção de alteração nos códigos em uso nos medidores. Criação/Avaliação de cadeias de confiança para Smart Grids. Busca-se desenvolver metodologia de segurança baseada em assinaturas digitais capaz de evitar a manipulação e alteração de dados de um medidor sem rastros. Projeto de um ``chip'' para controle metrológico Busca-se elaborar especificação funcional e análise de viabilidade da implementação de controlador metrológico (chip dedicado) para a nova geração de medidores inteligentes. Investigação das técnicas de proteção de software para a infra-estrutura avançada de medição. Identificar as técnicas mais apropriadas para evitar que o código embutido no medidor seja revelado/alterado. O projeto foi apoiado pela Eletrobrás Rondônica (CERON) por meio de recursos P&D ANEEL, da ordem de R$800mil.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Integrante / Rust - Coordenador / BOCCARDO, DAVIDSON - Integrante / PRADO, CHARLES - Integrante., Financiador(es): Eletrobras Distribuição Rondônia - Auxílio financeiro.

  • 2011 - Atual

    Genômica Computacional (Inmetro), Descrição: O presente projeto de pesquisa busca a aplicação de computadores e informática para a compreensão e modelagem das estruturas e processos da vida. Isso implica o uso de métodos computacionais (por exemplo, algoritmos) para a representação e simulação de sistemas biológicos, bem como para a interpretação de dados experimentais, muitas vezes em grande escala. Especificamente, buscamos o uso de computadores para investigar problemas de genômica, conforme explicamos a seguir. Genomas estão sujeitos a constantes mutações no curso da evolução. Estas mutações podem ser de pequena escala, como os poliformismos de base única (SNPs ou single nucleotide polymorphisms), ou de larga escala, isto é, afetam fragmentos contendo um ou mais genes. As mutações de larga escala podem ser inversões, inserções ou deleções de fragmentos, block-interchanges (quando dois fragmentos em um mesmo cromossomo trocam de posição), transposições (caso particular de block-interchanges, quando os dois fragmentos são vizinhos), fusões e fissões de cromossomos, e translocações, quando dois cromossomos trocam extremidades. Inversões, por exemplo, são frequentemente observadas, especialmente na evolução de procariotos, como bactérias. Em eucariotos, inversões são também muito relevantes - atualmente se atribui a elas um papel fundamental nas teorias que explicam o surgimento e a evolução dos cromossomos sexuais em mamíferos e em outros organismos. Os demais eventos de rearranjos também são observados na prática. Como um exemplo, citamos o cromossomo 2 do ser humano, que corresponde à fusão de dois cromossomos do chimpanzé. O foco principal do estudo são os problemas computacionais - algorítmicos e combinatórios - oriundos de mutações de larga escala ou rearranjos de genomas. Um dos problemas mais estudados nesta área é o de comparar dois genomas para determinar o número mínimo de mutações ou rearranjos necessários para transformar um genoma no outro.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Coordenador / Rust - Integrante / BRAULIO SOARES ARCHANJO - Integrante / FABIANO BARBIERI GONZAGA - Integrante / GISELLE NOGUEIRA FONTES - Integrante / LEONARDO COSTA RIBEIRO - Integrante / RENATA CARVALHO SILVA - Integrante.

  • 2010 - 2011

    Estrutura de Grafos: Teoria e Aplicações (FAPERJ/INST), Descrição: Trata-se de projeto coordenado por Raphael Machado, visando apoiar pesquisas em teoria em aplicação de grafos no Inmetro, instituição à qual está vinculado o pesquisador proponente. O projeto está caracterizado como pesquisa científica e será executado em parceria com a Universidade Federal do Rio de Janeiro, onde estudam dois colaboradores da equipe (alunos de mestrado). O projeto favorece a condução de pesquisas em grafos em uma equipe composta por quatro pesquisadores/colaboradores, do qual faz parte o proponente do projeto (Raphael Machado). Também compões o grupo de pesquisas em grafos do Inmetro mais três colaboradores do presente projeto: um jovem pesquisador em pós-doutoramento no Inmetro e dois alunos de mestrado em informática na UFRJ desenvolvendo suas dissertações em aplicações de grafos relacionadas aos campos de atuação do Inmetro. O projeto conta, ainda, com uma grande rede de colaboradores vinculados a outras instituições brasileiras e no exterior. O tema central do projeto, estrutura de grafos, abordado através de dois problemas básicos --- estrutura dos grafos unichord-free e dos grafos ISK4-free --- e dois problemas aplicados --- rastreabilidade de software via análise de grafos de fluxos de dados e alocação de canais em rádios cognitivos através da solução de problemas de coloração de grafos. Os quatro problemas são desafiadores e bem estudados na literatura, sendo citados em periódicos de primeira linha. O projeto foi apoiado pela FAPERJ, por meio do Auxílio Instalação, tendo recebido 9.980,67 em recursos financeiros.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Raphael Carlos Santos Machado - Coordenador / D. R. Boccardo - Integrante / T. M. Nascimento - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2010 - Atual

    Núcleo de excelência - Algoritmos Randomizados, Quânticos, e Aproximativos: Projeto, Análise e Implementação de Soluções Eficientes para problemas Combinatórios Fundamentais (CNPq/Faperj/PRONEX), Projeto certificado pelo(a) coordenador(a) Celina Miraglia Herrera de Figueiredo em 30/05/2018., Descrição: Projeto tem seu principal foco em Projeto, Análise e Implementação de Algoritmos. As pesquisas propostas envolvem investigações rigorosas de problemas fundamentais e correspondentes soluções algorítmicas. Congrega 30 pesquisadores experientes e iniciantes, bem como seus alunos, de 10 instituições de renome do Estado do Rio de Janeiro: UFRJ, UFF, PUC-Rio, UFRRJ, LNCC, INMETRO, UERJ, UFF-PURO, CEFET e FAETEC.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Coordenador / Vinicius Gusmão - Integrante / simone dantas - Integrante / Jayme Szwarcfiter - Integrante / fabio protti - Integrante / sulamita klein - Integrante / luis kowada - Integrante / Franklin de Lima Marquezino - Integrante / Luerbio Faria - Integrante / marcia cerioli - Integrante / claudson bornstein - Integrante / Luiz Satoru Ochi - Integrante / Carlos Alberto de Jesus Martinhon - Integrante / Renato Portugal - Integrante / Marcus Vinicius Soledade Poggi de Aragao - Integrante / Ruy Luiz Milidiu - Integrante / Eduardo Uchoa Barboza - Integrante / rafael teixeira bernardo - Integrante.

  • 2010 - Atual

    Complexidade de problemas combinatórios: a dicotomia polinomial e NP-completo (CNPq/Universal), Projeto certificado pelo(a) coordenador(a) Celina Miraglia Herrera de Figueiredo em 30/05/2018., Descrição: Projeto para apoiar um grupo de 15 jovens pesquisadores. O projeto está caracterizado como pesquisa científica, em tema de interesse do fundo setorial de Biotecnologia, dado o objetivo principal de apoiar a boa formação de recursos humanos para a pesquisa no país na área de Teoria da Computação, com ênfase na complexidade computacional de problemas combinatórios formulados a partir de problemas em bioinformática.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Raphael Carlos Santos Machado - Integrante / Celina Miraglia Herrera de Figueiredo - Coordenador / Vinicius Gusmão - Integrante / Guilherme - Integrante / luis kowada - Integrante / diana sasaki - Integrante / BRAGA, MARILIA - Integrante / Hélio Bomfim de Macêdo Filho - Integrante / rafael teixeira bernardo - Integrante / Vania Maria Felix Dias - Integrante / Claudia Villela Maciel - Integrante / Murilo Vicente Gonçalves da Silva - Integrante / Emilio Ashton Vital Brazil - Integrante / André da Cunha Ribeiro - Integrante / rodrigo hausen - Integrante / leticia bueno - Integrante.

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2015 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Instituto Euvaldo Lodi SP - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - 2015

    Avaliação de Segurança de Aplicações de Software, Descrição: Projeto que visa ao desenvolvimento de metodologias, técnicas e ferramentas para avaliação de segurança de aplicações de software. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Instituto Euvaldo Lodi SP - Auxílio financeiro / Clavis Segurança da Informação - Auxílio financeiro.

  • 2014 - Atual

    Cuirass: uma ferramenta para análise e proteção de software, Descrição: O objetivo do projeto é desenvolver uma ferramenta destinada ao fortalecimento de aplicativos de software face a ataques que visem comprometer a sua segurança. A ferramenta Cuirass será formada por um módulo de análise de software - destinado a identificar vulnerabilidades no aplicativo de software analisado - e por um módulo de proteção - destinado a fortalecer o aplicativo de software, contornando as vulnerabilidades de software e inserindo mecanismos de proteção contra engenharia reversa e adulteração de código.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): FAPERJ - Auxílio financeiro.

  • 2014 - Atual

    Desenvolvimento de uma plataforma de testes de sobrecarga e negação de serviço, Descrição: O projeto tem por objetivo o desenvolvimento de ferramentas e métodos para o desenvolvimento de testes de sobrecarga e negação de serviço, aí incluída as reprodução de cenários de ataques distribuídos de negação de serviço e a reprodução de cenários de sobrecarga de aplicações web.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Técnico de nível médio: (0) Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Raphael Carlos Santos Machado - Coordenador., Financiador(es): Clavis Segurança da Informação - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

Seção coletada automaticamente pelo Escavador

Prêmios

2015

Produto Estratégico de Defesa, Ministério da Defesa (em reconhecimento ao Simulador de Ataques Distribuídos de Indisponibilidade,.

2014

Jovem Cientista do Nosso Estado, FAPERJ.

2013

Solução mais inovadora para o setor bancário, FEBRABAN (em reconhecimento ao Simulador de Ataques Distribuídos de Indisponibilidade, desenvolvido.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

2008 - Atual

Instituto Nacional de Metrologia, Qualidade e Tecnologia

Vínculo: Servidor Público, Enquadramento Funcional: Pesquisador-tecnologista, Carga horária: 40

Atividades

  • 08/2019

    Ensino, Programa de Pós-Graduação em Metrologia, Nível: Pós-Graduação,Disciplinas ministradas, Redes de Comunicação, Segurança Cibernética e Internet das Coisas

  • 01/2019

    Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação,Disciplinas ministradas, Segurança da Informação: Proteção de Software

  • 05/2018

    Direção e administração, Inmetro em Xerém, .,Cargo ou função, Presidente da Comissão Gestora do Pronametro-PNCH-TIC.

  • 05/2018

    Conselhos, Comissões e Consultoria, Inmetro em Xerém, Cicma.,Cargo ou função, Membro da Comissão Gestora do Subprograma Pronametro-Ensino.

  • 08/2017

    Conselhos, Comissões e Consultoria, Inmetro em Xerém, Cicma.,Cargo ou função, Membro do Conselho Acadêmico.

  • 07/2017

    Direção e administração, Inmetro em Xerém, .,Cargo ou função, Coordenador do Programa de Pós-Graduação em Metrologia e Qualidade.

  • 05/2017

    Direção e administração, Centro de Metrologia Cientifica e Industrial, .,Cargo ou função, Chefe do Laboratório de Informática do Inmetro.

  • 01/2014

    Conselhos, Comissões e Consultoria, Diretoria de Metrologia Científica e Industrial, .,Cargo ou função, Membro da Comissão Deliberativa.

  • 01/2013

    Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação,Disciplinas ministradas, Topicos Especiais em Metrologia Cientifica I

  • 10/2018 - 02/2019

    Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação,Disciplinas ministradas, Metrologia Elétrica e de TIC

  • 10/2017 - 01/2018

    Ensino, Mestrado Profissional em Metrologia e Qualidade, Nível: Pós-Graduação,Disciplinas ministradas, Metrologia Elétrica e de TIC

2019 - Atual

Universidade Federal Fluminense

Vínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 20

Atividades

  • 08/2019

    Ensino, Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Avançados em Sistemas de Computação: Segurança da Informação

  • 02/2019

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Segurança da Informação

  • 02/2019

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação II

2016 - 2019

Clavis Segurança da Informação

Vínculo: Sócio, Enquadramento Funcional: Membro do Conselho de Administração, Carga horária: 20

2016 - 2016

Clavis Segurança da Informação

Vínculo: Sócio, Enquadramento Funcional: Líder Pesquisa, Desenvolvimento e Inovação, Carga horária: 20

2012 - 2016

Clavis Segurança da Informação

Vínculo: Celetista, Enquadramento Funcional: Instrutor, Carga horária: 12

2016 - Atual

Centro Federal de Educação Tecnológica Celso Suckow da Fonseca

Vínculo: Colaborador, Enquadramento Funcional: Docente Permanente, Carga horária: 8

Outras informações:
Docente Permanente do Programa de Pós-Graduação em Ciência da Computação.

Atividades

  • 05/2016

    Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação, .,Cargo ou função, Membro da Comissão de Avaliação Docente.

  • 05/2016

    Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação, .,Cargo ou função, Membro da Comissão de Seleção.

  • 11/2018 - 02/2019

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise e Projeto de Algoritmos

  • 02/2018 - 05/2018

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Algoritmos - Criptografia e Segurança da Informação

  • 02/2017 - 04/2017

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise e Projeto de Algoritmos

2016 - 2017

Centro de Gestão e Estudos Estratégicos

Vínculo: Consultor, Enquadramento Funcional: Especialista, Carga horária: 0

Outras informações:
Participação no projeto ?Prospecção Tecnológica no Setor de Energia Elétrica?, Grupo Temático Distribuição de Energia Elétrica, Macrotemática Tecnologia da Informação e Comunicação, por meio da elaboração de notas técnicas sobre o assunto.

2011 - 2013

Universidade Federal do Rio de Janeiro

Vínculo: Professor vistante, Enquadramento Funcional: PROFESSOR TEMPORÁRIO, Carga horária: 20

Atividades

  • 03/2012

    Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Segurança da Informação

  • 03/2012

    Ensino, Engenharia Química, Nível: Graduação,Disciplinas ministradas, Cálculo I

  • 03/2012

    Ensino, Licenciatura em Matemática, Nível: Graduação,Disciplinas ministradas, Introdução à Computação

  • 08/2011 - 12/2011

    Ensino, Bacharelado em Informática, Nível: Graduação,Disciplinas ministradas, Computação 1

2011 - 2011

Centro Universitário Carioca

Vínculo: Celetista formal, Enquadramento Funcional: PROFESSOR ADJUNTO, Carga horária: 9

2005 - 2008

Serviço Federal de Processamento de Dados

Vínculo: Funcionário Público - CTL, Enquadramento Funcional: Analista, Carga horária: 40

2007 - 2009

Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ

Vínculo: Bolsista, Enquadramento Funcional: Tutor Presencial, Carga horária: 10

Outras informações:
Tutor dos cursos de Matemática (UFF) e Sistemas de Informação (UFF/UFRJ), responsável pelas disciplinas: Matemática Básica (revisão de conteúdo do ensino médio), Pré-cálculo (introdução ao Cálculo), Matemática para Computação (ementa de Cálculo 1), Álgebra Linear II, Matemática Discreta, Fundamentos de Algoritmos, e Estruturas de Dados. Atuou nos polos de Rio Bonito e São Gonçalo.

1999 - 2000

Centro Brasileiro de Pesquisas Físicas

Vínculo: Bolsista, Enquadramento Funcional: Bolsista-pesquisador (análogo a IC-Jr), Carga horária: 20

Outras informações:
Atuação na área de instrumentação científica no Laboratório de Física Experimental de Altas Energias, com visita de 2 meses ao Fermilab (detector DZero).

2000 - 2001

Universidade do Estado do Rio de Janeiro

Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20

Outras informações:
Atuou no laboratório de sistemas multimídia, sendo o responsável (sisadmin) pelos servidores do vestibular da UERJ.