Geiza Maria Hamazaki da Silva

  • Endereço para acessar este CV: http://lattes.cnpq.br/2100358669537195
  • Última atualização do currículo em 14/12/2017


Possui graduação em Bacharelado Em Informática pela Universidade Federal Fluminense (1997), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1999) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2004). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: Ontologia, Program synthesis, intuitionistic logic, dedução natural, lógica intuicionista e lógica clássica. (Texto informado pelo autor)


Identificação


Nome
Geiza Maria Hamazaki da Silva
Nome em citações bibliográficas
Silva, G. M. H.;Silva, G M H;Silva, G.M.H.;Silva, Geiza Maria Hamazaki da;Geiza Maria Hamazaki da Silva

Endereço


Endereço Profissional
Universidade Federal do Estado do Rio de Janeiro, Reitoria, Centro de Ciências Exatas e Tecnologia.
Avenida Pasteur, 458
Urca
22290240 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 38734015
URL da Homepage: http://www2.uniriotec.br/UNIRIO-CCET/


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


1999 - 2004
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Extraindo Conteúdo Computacional de Provas Intuicionistas, Ano de obtenção: 2004.
Orientador: Edward Hermann Haeusler.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Lógica Intuicionista; Linguagem de Programação Imperativa; Prova como Programa.
Grande área: Ciências Exatas e da Terra
1997 - 1999
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Um Estudo em Sintese Construtiva de Programas utilizando Lógica Intuicionista,Ano de Obtenção: 1999.
Orientador: Edward Hermann Haeusler.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Lógica Intuicionista; Prova como Programa.
Grande área: Ciências Exatas e da Terra
1993 - 1997
Graduação em Bacharelado Em Informática.
Universidade Federal Fluminense, UFF, Brasil.
Título: Traduções de DDL para C.
Orientador: Luis Carlos de Castro Guedes.




Atuação Profissional



Universidade Federal do Estado do Rio de Janeiro, UNIRIO, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto , nivel 4, Regime: Dedicação exclusiva.

Vínculo institucional

2013 - 2016
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, nivel 3, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2011 - 2013
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, nivel 2, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2009 - 2011
Vínculo: , Enquadramento Funcional: Professor Adjunto, nivel1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2017 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Linguagens Fomais e Autômatos
Inteligência Artificial
04/2017 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, .

Cargo ou função
Comissão de Validação de Diplomas.
04/2017 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Escola de Informática Aplicada.

Cargo ou função
Membro do Núcleo Docente Estruturante.
08/2015 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Informática Aplicada.

04/2015 - Atual
Direção e administração, Centro de Ciências Exatas e Tecnologia, .

Cargo ou função
Coordenador pro tempore do Curso de Bacharelado em Sistemas de Informação.
04/2015 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, .

Cargo ou função
Membro Conselho do Centro de Ciências Exatas e Tecnologia.
07/2013 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, .

Cargo ou função
Membro da Comissão de Matrícula.
03/2011 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, .

01/2010 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Informática Aplicada.

Cargo ou função
Membro Colegiado do Departamento de Informática Aplicada.
02/2017 - 07/2017
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Estruturas Discretas
Introdução a Lógica Computacional
08/2016 - 12/2016
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Estruturas Discretas
Linguagens Formais e Autômatos
02/2016 - 07/2016
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Estruturas Discretas
Linguagens Formais e Autômatos
08/2015 - 12/2015
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Técnicas de Programação1
Técnicas de Programação2
Linguagens Formais e Autômatos
02/2013 - 12/2015
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Membro da Câmara de Pesquisa e Bolsas.
09/2011 - 09/2015
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Comissão para Acompanhar os trabalhos de Coleta Seletiva nas dependências dos Campi da UNIRIO.
02/2015 - 07/2015
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Técnicas de Programação 1
12/2013 - 03/2015
Direção e administração, Centro de Ciências Exatas e Tecnologia, .

Cargo ou função
Substituto do Coordenador pro tempore do Curso de Bacharelado em Sistemas de Informação.
02/2014 - 12/2014
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Técnicas de Programação 2
10/2011 - 12/2014
Extensão universitária , Reitoria, Centro de Ciências Humanas e Sociais.

Atividade de extensão realizada
Projeto Desenvolvimento de Sistema Informatizado de Educação Nutricional e Alimentar via Web Orientada para Escolas Infantis e Unidades de Alimentação e Nutrição.
10/2013 - 01/2014
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
´Técnicas de Programação 2
Linguagens Formais e Autômatos
04/2013 - 09/2013
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Tecnicas de Programação 2
04/2013 - 09/2013
Ensino, Engenharia de Produção, Nível: Graduação

Disciplinas ministradas
Fundamentos da Representação do Conhecimento e Raciocínio
10/2012 - 03/2013
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Tecnicas de Programação 1
10/2012 - 03/2013
Ensino, Engenharia de Produção, Nível: Graduação

Disciplinas ministradas
Fundamentos de Representação do Conhecimento e Raciocínio
03/2012 - 10/2012
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Técnicas de Programação 1
Técnicas de Programação 2
Linguagens Formais e Automatos
08/2011 - 12/2011
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Representação do Conhecimento e Raciocínio
Técnicas de Programação 1
01/2011 - 10/2011
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Informática Aplicada.

Cargo ou função
Membro da Secretaria de conselho superiores ( CONSUNI).
03/2011 - 09/2011
Extensão universitária , Reitoria, Centro de Ciências Humanas e Sociais.

Atividade de extensão realizada
Projeto Rondon Esportivo - Jogos Mundiais Militares 2011.
03/2011 - 07/2011
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Técnicas de Programação 2
Técnicas de programação1
08/2010 - 12/2010
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Representação do Conhecimento e Raciocínio
Técnicas de Programação 1
2/2010 - 7/2010
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados 1
Técnicas de Programação1
09/2009 - 12/2009
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Tecnicas de Programação 2

Centro de Educação à Distância/Universidade Aberta do Brasil, CEDERJ/UAB, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Coordenador de Disciplina, Carga horária: 20


Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2010 - 2010
Vínculo: Professor, Enquadramento Funcional: Adjunto, Carga horária: 8

Vínculo institucional

2008 - 2010
Vínculo: Professor, Enquadramento Funcional: Adjunto, Carga horária: 16

Vínculo institucional

2008 - 2008
Vínculo: Professor, Enquadramento Funcional: Adjunto, Carga horária: 12

Vínculo institucional

2007 - 2008
Vínculo: Professor, Enquadramento Funcional: Adjunto, Carga horária: 14

Vínculo institucional

2005 - 2007
Vínculo: Professor Contratado, Enquadramento Funcional: Adjunto, Carga horária: 8

Vínculo institucional

2004 - 2006
Vínculo: Professor, Enquadramento Funcional: Adjunto, Carga horária: 12

Vínculo institucional

2000 - 2003
Vínculo: Professor Contratado, Enquadramento Funcional: Contratado, Carga horária: 4

Atividades

8/2004 - Atual
Pesquisa e desenvolvimento , Tecnologia Em Métodos Formais, .

03/2008 - 02/2010
Direção e administração, Departamento de Informatica - PUC-Rio, .

Cargo ou função
Coordenador de Curso Estrutura de Dados.
03/2008 - 02/2010
Direção e administração, Departamento de Informatica - PUC-Rio, .

Cargo ou função
Coordenador de Curso Introdução a Engenharia de Computação.
08/2008 - 12/2008
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados
Introdução à Ciência da Computação
Introdução a Engenharia de computação
Linguagens e Máquinas
03/2008 - 08/2008
Direção e administração, Departamento de Informatica - PUC-Rio, .

Cargo ou função
Coordenador de Curso Introdução a Ciência da Computação.
03/2008 - 08/2008
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Engenharia de Computação
Projeto Final II
Estrutura de Dados
08/2007 - 02/2008
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução a Engenharia de Computação
Linguagens e Máquinas
Estrutura de Dados
8/2005 - 8/2007
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Linguagens e Máquinas
07/2005 - 07/2007
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Linguagens e Máquinas
Estrutura de Dados
8/2004 - 12/2005
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução Filosófica a Lógica
8/2004 - 7/2005
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução à Engenharia
8/2002 - 12/2002
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Introdução Filosófica à Lógica
3/2002 - 7/2002
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Lógica
8/2001 - 12/2001
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
3/2000 - 12/2000
Ensino, Engenharia, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados

Centro de Análises de Sistemas Navais - Ministério da Marinha, CASNAV, Brasil.
Vínculo institucional

2001 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Pesquisa e Desenvolvimento, Carga horária: 24
Outras informações
Desenvolvimento de Sistemas e Pesquisa sobre métodos Criptográficos

Atividades

8/2001 - 4/2010
Pesquisa e desenvolvimento , Centro de Análises de Sistemas Navais - Ministério da Marinha, .



Linhas de pesquisa


1.
Algorítmos Criptográficos
2.
Curvas Elípicas
3.
Segurança da Informação
4.
Lógica Intuicionista
5.
Síntese de Programas
6.
Projeto de Extensão Multidisciplinar e Participativo de implantação do Decreto 5940/06
7.
Padrões para Interoperabilidade de Dados Industriais


Projetos de pesquisa


2013 - Atual
Estudo sobre a norma ISO15926
Descrição: A norma ISO 15926 aborda o armazenamento de informações e a construção da base de conhecimento para a integração dos dados do ciclo de vida de plantas de processo, incluindo instalações de produção de petróleo e gás. Estas bases de conhecimento são modeladas utilizando estruturas de um subconjunto da Lógica de Primeira Ordem e implementadas como ontologias para informações, de acordo com o W3C Web Ontology Language. Devido à estrutura e ao grande número de termos definidos na ontologia que descreve a norma ISO 15926, a complexidade para a modelagem de novos conceitos e a sua utilização pode ser considerada alta. Este projeto visa o estudo e contribuição, com a comunidade internacional que desenvolve esta norma, através da elaboração de material didático, verificação dos modelos desenvolvidos e implementação de ferramentas que facilitem a divulgação e utilização desta norma..
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2011
Arte Digital - Reprodução Autônoma de Imagens
Descrição: Este projeto propõe um sistema onde dado uma imagem são aplicados filtros de forma a extrair a silhueta da imagem que é reproduzida através de um ?braço robótico?..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Geiza Maria Hamazaki da Silva - Coordenador.Financiador(es): Universidade Federal do Estado do Rio de Janeiro - Bolsa.
2010 - 2015
Solução para Armazenamento e Comunicação de Informações com Segurança
Descrição: Financiado pela FAPERJ, este projeto objetiva a criação de ferramentas, confiáveis e flexíveis, para transmissão de informações sigilosas através de um ambiente de suporte "automático" para o armazenamento e transmissão de documentos criptografados para um conjunto significativo de dispositivos móveis: o smartphone e o pocket PC A base de testes será em um dispositivo que terá como sistema operacional o Windows Mobile, utilizando algoritmos criptográficos públicos simétricos e assimétricos. Para permitir a interoperabilidade da aplicação, o armazenamento dos documentos será realizado no formato XML. A aplicação terá uma versão para computadores, permitindo assim a sincronização com smartphone e pocket PC. Após essa fase, a aplicação será estendida para outros sistemas operacionais. Em paralelo a todo desenvolvimento serão utilizadas técnicas vindas da área de métodos formais a fim de verificar propriedades da aplicação e dos protocolos de comunicação móvel..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Edward Hermann Haeusler - Integrante / Fabio Augusto Alves Teixeira - Integrante / Rodrigo de Souza Ramos - Integrante / Davi Correia da Silva Alves - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 1
2010 - Atual
Projeto de Pesquisa Redes de cooperação colaborativas na implantação da coleta seletiva solidária em instituições de ensino superior
Descrição: Descreve e analisa a implantação do Decreto 5940/06 em instituições Federais de ensino Superior identificando os limites e as possibilidades do processo de operacionalização do Marco Legal..
Situação: Em andamento; Natureza: Pesquisa.


Projetos de extensão


2011 - 2015
Projeto de extensão Participativo e multidisciplinar para a implantação do DEcreto 5940/06 no Campus da UNIRIO
Descrição: Projeto de extensão que tem como objetivo subsidiar a superior administração universitária para a implantação da rota eficiente de coleta seletiva solidária no campus a partir da articulação universidade e cooperativas de catadores de materiais recicláveis..
Situação: Concluído; Natureza: Extensão.
2011 - Atual
Programa Redes Colaborativas Solidárias - RECOSOL
Situação: Em andamento; Natureza: Extensão.


Projetos de desenvolvimento


2011 - 2014
Ambiente de Aprendizado Online- AMAO
Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.
2008 - 2009
Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas
Situação: Concluído; Natureza: Desenvolvimento.
2006 - 2008
Anubis - TECMF
Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) .
Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Cooperação.
Número de produções C, T & A: 2
2004 - 2006
Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET
Situação: Concluído; Natureza: Desenvolvimento.
2003 - 2005
Fundamentos Matemáticos para a Crioptografia do Link Yb
Situação: Concluído; Natureza: Desenvolvimento.


Revisor de periódico


2014 - Atual
Periódico: iSys: Revista Brasileira de Sistemas de Informação


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


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


Prêmios e títulos


2013
Prêmio Jornada de Iniciação Científca- Melhor trabalho do Centro, Universidade Federal do Estado do Rio de Janeiro - UNIRIO.
2011
Prêmio de Graduação Nilci da Silva Guimarães, Universidade Federal do Estado do Rio de Janeiro - UNIRIO.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
SALLES, D. V.2008SALLES, D. V. ; Silva, G. M. H. ; SOUZA, W. A. R. . Criptossistemas Elipticos: Principios de Projeto.. Pesquisa Naval (SDM), v. 21, p. 82-88, 2008.

2.
Silva, G. M. H.;Silva, G M H;Silva, G.M.H.;Silva, Geiza Maria Hamazaki da;Geiza Maria Hamazaki da Silva2005 Silva, G. M. H.; HAEUSLER, Edward Hermann ; VELOSO, Paulo A. S. . Exploring Computational Contents of Intuitionist Proofs. Logic Journal of the IGPL (Online), Oxford University Press, v. 13, n.1, p. 69-93, 2005.

3.
Silva, G. M. H.;Silva, G M H;Silva, G.M.H.;Silva, Geiza Maria Hamazaki da;Geiza Maria Hamazaki da Silva2001Silva, G. M. H.; HAEUSLER, Edward Hermann ; VELOSO, Paulo A.s . Constructive Program Synthesis Using Intuitionist Logic and Natural Deduction. Frontiers in Artificial Intelligence and Applications, LAPTEC- 2001, 2001.

Trabalhos completos publicados em anais de congressos
1.
Silva, G.M.H.; SAETTLER, A. M. ; LLANES, K. R. ; IVSON, P. ; NASCIMENTO, D. L. M. ; CORSEUIL, E. T. L. . AN ONTOLOGY-DRIVEN FRAMEWORK FOR DATA INTEGRATION AND DYNAMIC SERVICE COMPOSITION: CASE STUDY IN THE OIL & GAS INDUSTRY. In: 16th International Conference on WWW/INTERNET 2017, 2017, Algarve. 16th International Conference on WWW/INTERNET 2017, 2017.

2.
JARDIM, P. ; TABORANSKY, A. ; Silva, G.M.H. ; IVSON, P. . Uso de Tecnologia NoSQL para Extração de Informação sobre Unidades de Exploração e Produção de Petróleo. In: III Encontro de Inovação em SI, 2016, Florianópolis. Anais do III Encontro de Inovação em Sistemas de Informação, 2016. p. 32-35.

3.
Silva, G M H; VIEIRA, B. L. ; LOPES, G. B. M. . Modelling Geometric Objects with ISO 15926: Three proposals with a comparative analysis.. In: 5º Seminário de Pesquisa em Ontologias no Brasil e 7º International Workshop on Metamodels, Ontologies and Semantic Technologies, 2012, Recife. Anais do 5º Seminário de Pesquisa em Ontologias no Brasil e 7º International Workshop on Metamodels, Ontologies, 2012.

4.
TEIXEIRA, F. A. A. ; Silva, G. M. H. ; Assakura, R. . Sistema para Armazenamento e Transmissão de Informação com Segurança no Ambiente Windows. In: IX ENACOMP, 2011, Catalão Goiás. IX ENACOMP, 2011.

5.
Silva, G. M. H.; RADEMAKER, A. ; Vasconcelos, D.R. ; AMARAL, Fernando Naufel Do ; MARTINS, Carlos Bazílio ; COSTA, V. G. ; HAEUSLER, Edward Hermann . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study.. In: Australasian Ontology Workshop, 2007, Surfers Paradise. CRPIT- Australian Computer Society. Melbourne, 2007. v. 85.

6.
AMARAL, Fernando Naufel Do ; MARTINS, Carlos Bazílio ; Silva, G. M. H. ; RADEMAKER, A. ; HAEUSLER, Edward Hermann . An Ontology-based Approach to the Formalization of Information Security Policies.. In: VORTE-EDOC, 2006, HONG-KONG. Proceedings of VORTE-EDOC. Los Alamito: IEEE Communications Society, 2006. p. 20-28.

7.
SALLES, D. V. ; Silva, G. M. H. . Metodo para Codificar e Decodificar Textos sobre uma Curva Eliptica. In: INFOMAR - Simpósio de Tecnologia da Informação da Marinha - CasNAV, 2004, Rio de Janeiro. INFOMAR - Simposio de Tecnologia da Informação da Marinha, 2004. v. 1. p. 1-8.

8.
SALLES, D. V. ; Silva, G. M. H. . O Problema do Logaritmo Discreto e o Algoritmo BSGS. In: INFOMAR - Simpósio de Tecnologia da Informação da Marinha - CasNAV, 2004, Rio de Janeiro. INFOMAR - Simpósio de Tecnologia da Informação da Marinha, 2004. v. 1. p. 1-8.

9.
Silva, G. M. H.; HAEUSLER, Edward Hermann ; VELOSO, Paulo A.s . Sintese Construtiva de Programas usando Lógica Intuicionista. In: Workshop de Métodos Formais, 2001, João Pessoa, 2000.

10.
MARTINS, Carlos Bazílio ; Silva, G. M. H. ; OCHI, Luiz Satoru . Um Sistema Evolucionário Híbrido Baseado em Algoritmos Genéticos para a Solução de Problemas de Roteamento de uma Frota de Veículos. In: III Congresso Brasileiro de Redes Neurais, 1997, 1997.

11.
MARTINS, Carlos Bazílio ; Silva, G. M. H. ; OCHI, Luiz Satoru . O Problema de Roteamento de uma Frota de Veículos: Uma Abordagem Via Algoritmos Genéticos não Convencionais e Decomposição em Pétalas. In: XX Congresso Nacional de Matemática Aplicada e Computacional, 1997, Florianópolis, 1997.

Resumos expandidos publicados em anais de congressos
1.
Silva, G. M. H.; SAETTLER, A. M. ; RUBACK, L. ; VIEIRA, B. L. ; CORSEUIL, E. T. L. . Modelling objects in OWL: a First Order Logic based tool. In: International Conference WWW/INTERNET, 2014, Porto. Proceedings of the 13th International Conference WWW/INTERNET, 2014.

2.
Silva, G. M. H.; VIEIRA, B. L. . Modelling Geometric Objects with ISO15926. In: Workshop on Logics and Ontologies for Natural Language, 2014, Rio de Janeiro. Annals of the 1st Workshop on Logics and Ontologies for Natural Language, 2014.

3.
NAVARRO, A. B. ; BAPTISTA, V. F. ; GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; ROCHA, I. G. ; Silva, G. M. H. ; BIANCO, C. M. B. T. . POLÍTICAS PÚBLICAS NO ÂMBITO DOS RESÍDUOS: UM LONGO CAMINHO CURTO OU UM CURTO CAMINHO LONGO DE EDUCAÇÃO AMBIENTAL. In: X Congresso Nacional de Meio Ambiente, 2013, Poços de Caldas. X Congresso Nacional de Meio Ambiente, 2013.

4.
TEIXEIRA, F. A. A. ; Ramos, R.S. ; Silva, G.M.H. . Armazenamento e comunicação de informações com segurança na plataforma Windows. In: 10ª Jornada de Iniciação Científica - Semana de Integração Acadêmica - UNIRIO, 2012, Rio de Janeiro. 10ª Jornada de Iniciação Científica, 2012.

5.
Assakura, R. ; Alves, D.C.S ; Silva, G.M.H. . Armazenamento e comunicação de informações com segurança para o Sistema Operacional Android. In: 10ª Jornada de Iniciação Científica - Semana de Integração Acadêmica - UNIRIO, 2012, Rio de Janeiro. 10ª Jornada de Iniciação Científica, 2012.

Resumos publicados em anais de congressos
1.
TETEO, L. A. ; Silva, G.M.H. . Soluções e Desafios Relacionados a Análise de Desempenho de Algortítmos Criptograficos Aplicados a Tecnologia VOIP. In: 14a. Jornada de Iniciação Científica - Unirio, 2015, Rio de Janeiro. 14a. Jornada de Iniciação Científica - Unirio - Resumos, 2015.

2.
DAIR, P. C. ; Silva, G.M.H. . ESTUDO SOBRE O ARMAZENAMENTO DE INFORMAÇÕES COM SEGURANÇA NA NUVEM UTILIZANDO A PLATAFORMA WINDOWS. In: 14a. Jornada de Iniciação Científica - Unirio, 2015, Rio de Janeiro. 14a. Jornada de Iniciação Científica - Unirio - Resumos, 2015.

3.
ALBUQUERQUE, G. R. ; MATTOS, G. C. ; MARTINEZ, K. M. ; Silva, G. M. H. ; GONCALVES, E. C. ; TEODORO, A. J. . Jogos Cognitivos Eletrônicos para a Aprendizagem de Conceitos Nutricionais e Coleta de Dados. In: V Encontro Anual de Tecnologia da Informação, 2014, Frederico Westphalen. Anais do Encontro Anual de Tecnologia da Informação, 2014.

4.
Ramos, R.S. ; SANTOS, D. A. ; Silva, G.M.H. . Proposta Inicial de Implementação para Transmissão de Voz com segurança na Plataforma Windows. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

5.
SOARES, C. A. ; Silva, G.M.H. . Proposta de Implementação de um Sistema para Armazenamento e Comunicação de Informações com Segurança para o Sistema Operacional Android. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

6.
PASSOS, T. M. ; Silva, G.M.H. . Sistema de Armazenamento e Comunicação de Mensagens com Segurança no Ambiente Windows Phone. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

7.
TETEO, L. A. ; Silva, G.M.H. . Estudo sobre Análise de Desempenho de algoritmos criptográficos aplicados a tecnologia VOIP. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

8.
Ramos, R.S. ; SANTOS, D. A. ; Silva, G. M. H. . ESTUDO SOBRE A TRANSMISSÃO DE VOZ COM SEGURANÇA NA PLATAFORMA WINDOWS. In: 12ª Jornada de Iniciação Científica - UNIRIO, 2013, Rio de Janeiro. 12ª Jornada de Iniciação Científica, 2013.

9.
SOARES, C. A. ; LEAL, M. G. M. ; Silva, G. M. H. . ARMAZENAMENTO E COMUNICAÇÃO DE INFORMAÇÕES COM SEGURANÇA PARA O SISTEMA OPERACIONAL ANDROID. In: 12ª Jornada de Iniciação Científica - UNIRIO, 2013, Rio de Janeiro. 12ª Jornada de Iniciação Científica, 2013.

10.
TEIXEIRA, F. A. A. ; Silva, G. M. H. . SISTEMA PARA ARMAZENAMENTO E COMUNICAÇÃO DE MENSAGENS COM SEGURANÇA NO AMBIENTE WINDOWS PC. In: 12ª Jornada de Iniciação Científica - UNIRIO, 2013, Rio de Janeiro. 12ª Jornada de Iniciação Científica, 2013.

11.
GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. . The Relevance of Development a Policy of Environmental Sustainability at the University. In: ISEE 2012, 2012, Rio de Janeiro. ISEE 2012, 2012.

12.
GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. . Coleta Seletiva Solidária e eu com isso?. In: VII Fórum de Educação Ambiental, 2012, Salvador. VII Fórum de Educação Ambiental, 2011.

13.
Frade, E.A. ; Silva, G. M. H. . Processamento e Reprodução de Imagem com Arduíno. In: IX ENACOMP, 2011, Catalão- Goias. IX ENACOMP, 2011.

14.
Silva, G. M. H.; LOPES, G. B. M. . Abordagem de Modelagem na Norma ISO15926. In: Conferência Ibero-Americana IADIS- WWW/Internet 2011, 2011, Rio de Janeiro. Conferência Ibero-Americana IADIS- WWW/Internet 2011, 2011.

15.
Silva, G. M. H.; HAEUSLER, Edward Hermann . On the Syntactical Characterization of the relative Intuitionistic Validity. In: XIVEBL - Encontro Brasileiro de Lógica, 2006, Itatiaia, 2006.

16.
Silva, G. M. H.. Exploring Computational Contents of Intuitionistic Proof. A First- Order Approach. In: EBL, 2003, Campinas, 2003.

Apresentações de Trabalho
1.
Silva, G. M. H.; LOPES, G. B. M. . Abordagem de Modelagem na Norma ISO15926. 2011. (Apresentação de Trabalho/Conferência ou palestra).

2.
ALMEIDA, V. P. ; Silva, G. M. H. ; SOSSAI JUNIOR, J. ; HAEUSLER, Edward Hermann . Aplicação de ontologias na extração de informações de modelos hidrodinâmicos: sistema baseado em conhecimento. 2008. (Apresentação de Trabalho/Seminário).


Produção técnica
Programas de computador sem registro
1.
SALLES, D. V. ; Silva, G. M. H. . Cifra RIGEL 1.0. 2007.

2.
SALLES, D. V. ; Silva, G. M. H. . Cifra SEANET. 2006.

3.
SALLES, D. V. ; ABREU, R. M. ; Silva, G. M. H. . Cifra Link Yb 1.0. 2003.

Trabalhos técnicos
1.
Silva, G.M.H.; SAETTLER, A. M. ; RUBACK, L. ; VIEIRA, B. L. ; CORSEUIL, E. T. L. . From FOL to OWL: a computer aided modelling process for ISO15926. 2015.

2.
SALLES, D. V. ; Silva, G. M. H. ; GUEDES, L. C. C. ; SOUZA, W. A. R. . Projeto de Construção das Cifras Simétricas: Rigel 2.0w/r, Mira 2.0w/r ,Syrma1.0w/r. 2009.

3.
SALLES, D. V. ; Silva, G. M. H. . Fundamentos e Implementação das Funções Aritméticas para Corpos Binários. 2006.

4.
SALLES, D. V. ; Silva, G. M. H. . Especificação dasOperações Aritméticas em Coordenadas Afins sobre o Grupo Elíptico Ea,b(GF(p**n)). 2006.

5.
SALLES, D. V. ; ABREU, R. M. ; Silva, G. M. H. . Fundamentos Básicos da Cifra SEANET. 2005.

6.
SALLES, D. V. ; Silva, G. M. H. ; ABREU, R. M. . Especificação da Cifra Yb 2.0. 2004.


Demais tipos de produção técnica
1.
Silva, G. M. H.. Ensino a Distância de Técnicas de Programação 1. 2012. (Desenvolvimento de material didático ou instrucional - Material Didático).

2.
Silva, G. M. H.. Desvendando o Arduíno. 2011. (Curso de curta duração ministrado/Extensão).

3.
Silva, G. M. H.. Introdução e Aplicações da Plataforma Arduino. 2011. (Palestra).

4.
Silva, G. M. H.. Representação do Conhecimento e Interoperabilidade. 2011. (Palestra).

5.
Silva, G. M. H.. Mindstorm x Programação. 2009. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MEDEIROS, A.; MARTINS, Carlos Bazílio; Silva, G.M.H.. Participação em banca de Aline da Cruz Rodrigues Souza. Arquitetura para Interoperabilidade Técnica em Sistemas de Registro Eletrônico em Saúde em Organizações Públicas de Saúde. 2017. Dissertação (Mestrado em Engenharia de Sistemas de Informação) - Universidade Federal Fluminense.

2.
FERREIRA, S. B. L.; Silva, G.M.H.; Andrade, L.C.V.; Pimentel, M.. Participação em banca de João Felipe Moreira Ramos. Repensando o Construído: A abordagem Design Thinking como parâmetro para identificação de fatores de sucesso e fracasso em aplicativos de posicionamento geográfico. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

3.
VIANNA, D. S.; MARTINS, Carlos Bazílio; Silva, G.M.H.. Participação em banca de Thiago Jeffery Barisão de Lima. Colaborário - Sistema Colaborativo para Geração de Quadro de Horários de Curso Universitário. 2016. Dissertação (Mestrado em Engenharia de Sistemas de Informação) - Universidade Federal Fluminense.

4.
HAEUSLER, Edward Hermann; ENDLER, M.; VITERBO, J.; RADEMAKER, A.; Silva, G. M. H.. Participação em banca de Vitor de Almeida Pinheiro. Patient-Buddy-Build: Customized Mobile Monitoring for Patients With Chronic Diseases. 2013. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

5.
AMARAL, L. F. G.; BENITS, W.; Silva, G.M.H.. Participação em banca de William Augusto Rodrigues de Souza. Mecanismo Inteligente Semi Automático para Identificação e Monitoramento de Informações sobre Fármacos e Medicamentos. 2012 - Instituto Nacional da Propriedade Industrial.

6.
HAEUSLER, Edward Hermann; BENEVIDES, M. R. F.; Silva, G. M. H.; CAFEZEIRO, I.. Participação em banca de Bruno Schroeder. A Graphic Based Theorem Prooving Platform. 2008.

Teses de doutorado
1.
HAEUSLER, Edward Hermann; DOWEK, G.; NALON, C.; PEREIRA, L. C. P. D.; VIANA, J. P.; Silva, G. M. H.. Participação em banca de Bruno Lopes Vieira. Extending Propositional Dynamic Logic for Petri Nets. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
HAEUSLER, Edward Hermann; DOWEK, G.; JOINET, J.; SANZ, W. C.; Silva, G. M. H.; PEREIRA, L. C. P. D.. Participação em banca de Cecília Reis Englander Lustosa. On some relations between Naturall Deduction an Sequent Calculus. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
HAEUSLER, Edward Hermann; LABER, E. S.; MENEZES, P. B.; CORREA, M.S.; BENEVIDES, M. R. F.; Silva, G. M. H.; VELOSO, Paulo A. S.. Participação em banca de DAVI ROMERO DE VASCONCELOS. Lógica Modal de Primeira-Ordem para Raciocinar sobre Jogos. 2007. Tese (Doutorado em Doutorado) - Pontifícia Universidade Católica do Rio de Janeiro.

4.
HAEUSLER, Edward Hermann; CORREA, M.S.; Silva, G. M. H.; RINCON, M. A.; PEREIRA, L. C. P. D.. Participação em banca de Vaston Gonçalves da Costa. Compactação de Provas Lógicas. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

5.
PEREIRA, L. C. P. D.; Silva, G. M. H.; CONIGLIO, M. E.. Participação em banca de Wagner de Campos Sanz. Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural. 2006. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Mestrado
1.
MOREIRA, R. M.; PEREIRA, A. M. B.; GAMA, A. L.; Silva, G.M.H.. Participação em banca de Daniel Luiz Mattos Nascimento. Interoperabilidade entre Sistemas de Automação de Projetos Utilizando Industry Foundadtion Classes. 2016. Exame de qualificação (Mestrando em Montagem Industrial) - Universidade Federal Fluminense.

Trabalhos de conclusão de curso de graduação
1.
Silva, G.M.H.; ALVIM, A.; DINIZ, M. C.. Participação em banca de Matheus Miranda Ferreira da Costa.SUL - Sistema Útil de Localização. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

2.
Silva, G.M.H.; DINIZ, M. C.. Participação em banca de Guilherme Caeiro de Mattos.PresentEye: Sistema de Controle de Presença por Reconhecimento Facial. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

3.
Silva, G.M.H.; PIMENTA, A.; Pimentel, M.. Participação em banca de Lucas dos Santos Salgado.Operação Dourada : Um Desafio Matemático. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

4.
Silva, G.M.H.; Baião, F. A.; FERREIRA, S. B. L.. Participação em banca de Gabriel Ramalho de Albuquerque.Categorização semiautomática de textos aplicada em sistema web de divulgação de notícias. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

5.
Silva, G.M.H.; PIMENTA, A.; ALVIM, A.. Participação em banca de Karina Martins Martinez.Espaço Matemático: jogo adaptativo de matemática.. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

6.
Silva, G.M.H.; TANAKA, A.; CORSEUIL, E. T. L.; IVSON, P.. Participação em banca de Augusto Taboransky, Pedro Jardim.Uso de Tecnologia NoSQL para Extração de Informação sobre Unidades de Exploração e Produção de Petróleo. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

7.
ROCHA, L. L. A.; Silva, G.M.H.; SOUSA JUNIOR, L. A. M.. Participação em banca de Thadeu Santos Silva Gonçalves e Sandro Moura da Silveira.Automação Residencial Utilizando Arduíno e Sistema Operacional Android. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

8.
ARAUJO, R. M.; CLASSE, T. M.; Silva, G.M.H.. Participação em banca de Vinicius Rodrigues Lima.Um Sistema de Informação para Apoio à Busca de Pessoas Desaparecidas no Rio de Janeiro. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

9.
TANAKA, A.; MONTEZ, L. C. M.; Silva, G.M.H.. Participação em banca de Matheus Charif Penchel e Rodrigo Cantarela.Sistema Web de Anúncio de Vagas em Imóveis: um Exemplo de Desenvolvimento Ágil com Ruby on Rails. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

10.
Silva, G.M.H.; LUCENA, S.; SANTOS, R.. Participação em banca de Davi de A. dos Santos,Rodrigo R. de Souza..Estudo sobre o desenvolvimento de aplicações VOIP para plataforma Windows com criptografia. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

11.
Silva, G.M.H.; Pimentel, M.; MOURA, P. N. S.. Participação em banca de Cecília de A. Soares, Pedro L. Zaluar.Uma Abordagem Baseada em Projetos para o ensino de programação: Investigações sobre a tecnologia Android. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

12.
Silva, Geiza Maria Hamazaki da; ARAUJO, B. B. P. L.; Pimentel, M.. Participação em banca de Bruno dos Santos Silva.Scrambled videos - Sistema de inserção e manipulação de video clips curtos. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

13.
Silva, G. M. H.; CAMPOS, C. A. V.; SANTOS, R.. Participação em banca de Fábio Augusto Alves Teixeira.Sistema de Armazenamento e Compartilhamento de Informações com Segurança? Ambiente WINDOWS PC. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

14.
CORREIA, A. L.; DINIZ, M. C.; Silva, G.M.H.. Participação em banca de Leonardo Moreira de Souza e Tulio Henrique Seixas Lemes.Um Estudo sobre Phonegap e seu desempenho ante a Linguagem nativa do Android. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

15.
Silva, G.M.H.; FERREIRA, S. B. L.; DINIZ, M. C.. Participação em banca de João Felipe Moreira Ramos.Avaliação e Correção parcial das barreiras de acessibilidade das páginas da plataforma MOODLE/CEDERJ. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

16.
Silva, G.M.H.; DINIZ, M. C.; Pimentel, M.. Participação em banca de Guilherme da Costa Albuquerque.Ferramenta para Divulgação de Oportunidades do Portal BSI. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

17.
Silva, G. M. H.; VIEIRA, B. L.; Andrade, L.C.V.. Participação em banca de Felipe Arruda Pontes e Zanoni de Castro Miranda.AMAO - Desenvolvimento de um Ambiente Online de Auxílio à Correção e Resolução de Avaliações de Programação. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

18.
Silva, G. M. H.; ARAUJO, B. B. P. L.; SIQUEIRA, S. W. M.. Participação em banca de Rúben Schiavini Jardim.Jogo virtual de reeducação alimentar infantil. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

19.
Silva, G. M. H.; Pimentel, M.; BELMONTE, L. M. M.. Participação em banca de Juliana S. da Silva,Taís V. F. Cordeiro, Wanessa R. da Silva.?WEARING WHAT? - FERRAMENTA DE IDENTIFICAÇÃO DE VESTIMENTAS PARA DEFICIENTES VISUAIS. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

20.
Pimentel, M.; Andrade, L.C.V.; Silva, G.M.H.. Participação em banca de Pedro Lasmar Marins.Uma experiência com o método DOJO para melhorar a aprendizagem em uma disciplina de Sistemas de Informação. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

21.
Pimentel, M.; SOUZA, G. S.; Silva, G.M.H.. Participação em banca de Rafael de Melo Barbosa e Victor dos Santos Ferreira.DebatePapo v. Facebook: Um sistema de bate-papo educacional integrado aos grupos do facebook. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

22.
MARTINS, Carlos Bazílio; BERNARDINI, F. C.; ARTIGAS, D.; Silva, G. M. H.. Participação em banca de Paula Ceccon Ribeiro.Uso de Robótica como Ferramenta de Apoio ao Ensino de Disciplinas de Programação em Cursos de Computação e Engenharia. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

23.
Andrade, L.C.V.; Pimentel, M.; Silva, G. M. H.. Participação em banca de Henrique Jotha.Grupo de discussão GD- IBIS+. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

24.
Andrade, L.C.V.; Pimentel, M.; Silva, G. M. H.. Participação em banca de Vitor Barros.Grupo de discussão GD- IBIS+. 2011. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal do Estado do Rio de Janeiro.

25.
Almeida, V. P.; HAEUSLER, Edward Hermann; Leite, J.C.S.P; Silva, G. M. H.. Participação em banca de Vitor Pinheiro da Almeida.Uma Ferramenta para Auxílio na Busca em SPARQL Endpoints na Web. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

26.
LABER, E. S.; RENTERIA, R.; Silva, G. M. H.. Participação em banca de Iam Vita Jabour.Análise Estrutural para Classificação de Páginas web. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.



Participação em bancas de comissões julgadoras
Concurso público
1.
MARQUES, E.; Silva, G.M.H.; SILVA, S. M.. Seleção de Tutores do Consórcio Cederj. 2017. Consórcio Cederj (Centro de Educação Superior a Distância do Estado do Rio.

2.
Silva, G.M.H.. Seleção Tutores Consórcio CEDERJ. 2017. Consórcio Cederj (Centro de Educação Superior a Distância do Estado do Rio.

3.
MARQUES, E.; SILVA, S. M.; Silva, G.M.H.. Seleção de Tutores do Consórcio Cederj. 2016.

4.
GARCIA, A.; OLIVEIRA, F.; Silva, G. M. H.. Concurso Professor Adjunto do Instituto de Matemática e Estatística- Compiladores e Estruturas de Linguagens. 2015. Universidade do Estado do Rio de Janeiro.

5.
HAEUSLER, Edward Hermann; BRAGA, C.; QUEIROZ, F.; Silva, G.M.H.. Concurso Publico Professor Assistente- Polo Universitário Rio das Ostras. 2013. Universidade Federal Fluminense.

6.
Vasconcelos, D.R.; PAILLARD, G. A. L.; Silva, G. M. H.. Concurso Publico Professor Assistente- Lógica, Teoria da Computação e Linguagens Formais e Autômatos. 2013. Universidade Federal do Ceará.

7.
CARVALHO JUNIOR, F. H.; Silva, G. M. H.; PAILLARD, G. A. L.. Concurso Publico Professor Assistente- Linguagens de Programação e Compiladores. 2013. Universidade Federal do Ceará.

8.
HAEUSLER, Edward Hermann; Silva, G. M. H.; Petrucio Viana. Concurso Publico Professor Assistente- Polo Universitário Rio das Ostras. 2009. Universidade Federal Fluminense.

Outras participações
1.
MARQUES, E.; SILVA, S. M.; Silva, G.M.H.. Seleção de Tutores do Consórcio Cederj. 2015. Consórcio Cederj (Centro de Educação Superior a Distância do Estado do Rio.

2.
MARQUES, E.; SILVA, S. M.; Silva, G.M.H.. Seleção de Tutores do Consórcio Cederj. 2014.

3.
MARQUES, E.; SILVA, S. M.; Silva, G.M.H.. Seleção de Tutores do Consórcio Cederj. 2013. Consórcio Cederj (Centro de Educação Superior a Distância do Estado do Rio.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
VII Fórum de Educação Ambiental. Coleta Seletiva Solidária e eu com isso?. 2012. (Congresso).

2.
1 Seminário da Agenda Ambiental na Administração Pública do Instituto de Pesquisas Jardim Botânico do Rio de Janeiro A3P/ JBRJ. 2011. (Seminário).

3.
Conferência Ibero-Americana IADIS WWW/Internet 2011. Abordagemd e Modelagem na norma ISO15926. 2011. (Congresso).

4.
Conferência Ibero-Americana IADIS WWW/Internet 2011. Usabilidade e Interação Humano-Computador/ Interaccion Persona-Ordenador y Usabilidad. 2011. (Congresso).

5.
IXENACOMP- ENCONTRO ANUAL DE COMPUTAÇÃO.Representação do Conhecimento e Interoperabilidade. 2011. (Encontro).

6.
IX ENACOMP- ENCONTRO ANUAL DE COMPUTAÇÃO.Desvendando o Arduíno. 2011. (Encontro).

7.
I Escola Regional de Informática do Rio de Janeiro.Meia-Maratona de Programação. 2010. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
Silva, G.M.H.. SBSI 2017. 2017. (Congresso).

2.
Silva, G.M.H.. SBSI 2017 - Minicursos. 2017. (Congresso).

3.
Silva, G.M.H.. SBSI 2016 - Minicursos. 2016. (Congresso).

4.
Silva, G.M.H.. SBSI 2016 - Minicursos. 2016. (Congresso).

5.
Silva, G.M.H.. SBSI 2016. 2016. (Congresso).

6.
GONCALVES,H. H. A. B. Q. ; Silva, G.M.H. ; SAMPAIO, M. ; MARQUES, P. V. A. ; AIUB, C. . VI Encontro de Iniciativas Ambientais internas e externas a UNIRIO. 2015. (Outro).

7.
CAPPELLI, C. ; SANTORO, F. M. ; Silva, G.M.H. ; VITERBO, J. . II Escola Regional de Sistemas de Informação ? RJ. 2015. (Outro).

8.
Silva, G.M.H.. SBSI 2015: Minicursos. 2015. (Congresso).

9.
Silva, G.M.H.. SBSI 2015: Special Track 2 - ASI: IS Applications and Tools. 2015. (Congresso).

10.
Silva, G.M.H.. SBSI 2015: Special Track 3 - ESI: Information Systems Education. 2015. (Congresso).

11.
Silva, G.M.H.. SBSI 2015: Minicursos. 2015. (Congresso).

12.
Silva, G.M.H.. SBSI 2015: Special Track 2 - ASI: IS Applications and Tools. 2015. (Congresso).

13.
Silva, G.M.H.. SBSI 2015. 2015. (Congresso).

14.
GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. ; ROCHA, M. G. . IV Encontro de Iniciativas Ambientais internas e externas a UNIRIO. 2013. (Outro).

15.
GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. . III Encontro de Iniciativas Ambientais internas e externas a UNIRIO. 2012. (Outro).

16.
GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; Silva, G. M. H. ; ROCHA, M. G. . III Encontro de Iniciativas ambientais internas e externas à UNIRIO.. 2012. (Outro).

17.
GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; Silva, G. M. H. ; TIRIBA, L. ; EVARISTO, S. M. ; ROCHA, M. G. . II Encontro de Iniciativas ambientais internas e externas à UNIRIO.. 2011. (Outro).

18.
GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; EVARISTO, S. M. ; TIRIBA, L. ; SINAY, L. ; Silva, G M H . II Encontro de INiciativas ambientais internas e externas à UNIRIO. 2011.. 2011. (Outro).

19.
Silva, G. M. H.; HAEUSLER, Edward Hermann ; CHATEAUBRIAND,O. F. ; PEREIRA, L. C. P. D. ; CORREA, M.S. . Encontro Brasileiro de Lógica. 2005. (Congresso).

20.
Silva, G. M. H.; HAEUSLER, Edward Hermann ; COSTA, V. G. ; PEREIRA, L. C. P. D. ; CHATEAUBRIAND,O. F. . Primeira Mini-Escola de Lógica da PUC-Rio. 2005. (Outro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
João Felipe Moreira Ramos. Repensando o Construído: A abordagem Design Thinking como parâmetro para identificação de fatores de sucesso e fracasso em aplicativos de posicionamento geográfico.. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Geiza Maria Hamazaki da Silva.

Trabalho de conclusão de curso de graduação
1.
Jessica Araújo Leite e Marcella Tavares Sant'Anna. Using Process Mining Techniques to Support Improvement in a Financial Institution Process. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

2.
Guilherme Caeiro de Mattos. PresentEye: Sistema de Controle de Presença por Reconhecimento Facial. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

3.
Lucas dos Santos Salgado. Operação Dourada: Um Desafio Matemático. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

4.
Matheus Miranda Ferreira da Costa. SUL Sistema Útil de Localização. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

5.
Gabriel Ramalho de Albuquerque. Categorização semiautomática de textos aplicada em sistema web de divulgação de notícias. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

6.
Karina Martins Martinez. Espaço Matemático: jogo adaptativo de matemática. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

7.
Augusto Taboransky Almada e Pedro Jardim Silva. Uso de Tecnologia NoSQL para extração de Informação sobre Unidade de Exploração e Produção de Petróleo. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

8.
Davi Araujo dos Santos e Rodrigo Ramos de Souza. Estudo Sobre o Desenvolvimento de Aplicações Voip para plataforma Windows com criptografia. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

9.
Cecília de Almeida Soares e Pedro Lamy Zaluar. Uma abordagem baseada em projetos para aprendizagem de programação : Investigações sobre a Tecnologia Android. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

10.
Davi de Araújo dos Santos,Rodrigo Ramos de Souza. Estudo sobre o desenvolvimento de aplicações VOIP para plataforma Windows com criptografia. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

11.
Cecília de Almeida Soares, Pedro Lamy Zaluar. Uma Abordagem Baseada em Projetos para o ensino de programação: Investigações sobre a tecnologia Android. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

12.
Augusto Taboransky, Pedro Jardim. Uso de Tecnologia NoSQL para Extração de Informação sobre Unidades de Exploração e Produção de Petróleo. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

13.
Bruno dos Santos Silva. Scrambled videos - Sistema de inserção e manipulação de video clips curtos. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

14.
Fábio Augusto Alves Teixeira. Sistema de Armazenamento e Compartilhamento de Informações com Segurança? Ambiente WINDOWS PC. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

15.
Guilherme da Costa Albuquerque. Ferramenta para Divulgação de Oportunidades do Portal BSI. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

16.
João Felipe Moreira Ramos. Avaliação e Correção parcial das barreiras de acessibilidade das páginas da plataforma MOODLE/CEDERJ. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

17.
Felipe Arruda Pontes e Zanoni de Castro Miranda. AMAO - Desenvolvimento de um Ambiente Online de Auxílio à Correção e Resolução de Avaliações de Programação. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

18.
Rúben Schiavini Jardim. Jogo virtual de reeducação alimentar infantil. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

19.
Wanessa R. da Silva, Juliana S. da Silva,Taís V. F. Cordeiro. ?WEARING WHAT? - FERRAMENTA DE IDENTIFICAÇÃO DE VESTIMENTAS PARA DEFICIENTES VISUAIS. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

20.
Julio Nobre Lopes. Ambiente de Desenvolvimento de Ontologias Baseadas em Ontologias. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

Iniciação científica
1.
Leonardo dos Anjos Tetéo. Estudo sobre Análise de Desempenho de algoritmos criptográficos aplicados a tecnologia VOIP. 2015. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Pro-reitoria de raduação daUniversidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

2.
Priscila Coelho Dair. Estudo sobre o Armazenamento de Informações com Segurança na Nuvem utilizando a plataforma Windows. 2015. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Pro-reitoria de raduação daUniversidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

3.
Leonardo dos Anjos Tetéo. Estudo sobre Análise de Desempenho de algoritmos criptográficos aplicados a tecnologia VOIP. 2014. Iniciação Científica. (Graduando em Sistema de Informação) - Universidade Federal do Estado do Rio de Janeiro, Pro-reitoria de raduação daUniversidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

4.
Thiago Marçal Passos. Solução para Armazenamento e Comunicação de Informações com Segurança para o Windows Phone. 2013. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

5.
Cecília de Almeida Soares. Armazenamento e comunicação de Informações com Segurança para o Sistema Operacional Android. 2013. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

6.
Davi de Araujo dos Santos. Estudo sobre Transmissão de Voz com Segurança da Plataforma Windows. 2013. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

7.
Fábio Augusto Alves Teixeira. Sistema de Armazenamento e compatilhamento de Informações com Segurança - Ambiente Windows. 2013. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

8.
Davi Araujo dos Santos. Armazenamento e Comunicação de Informações com Segurança na plataforma Windows - VOIP. 2012. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

9.
Roberto Assakura. Armazenamento e Comunicação de Informações com Segurança para o Sistema Operacional Android. 2011. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Geiza Maria Hamazaki da Silva.

10.
Davi Corrêa da Silva Alves. Armazenamento e comunicação de informações com segurança para o Sistema Operacional Android. 2011. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Geiza Maria Hamazaki da Silva.

11.
Marco Antônio Barbosa Teixeira. MORFOL: UMA FERRAMENTA PARA ANÁLISE LÓGICA DE CENAS. 2008. Iniciação Científica. (Graduando em Engenharia) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Geiza Maria Hamazaki da Silva.

12.
Jordan Janeiro Lopes da Silva. Provas como Soluções de Problemas. 2004. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Geiza Maria Hamazaki da Silva.

Orientações de outra natureza
1.
Daniel Padrenosso Gouy. Automação residencial com Arduino. 2015. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Geiza Maria Hamazaki da Silva.

2.
PRISCILA C. DAIR, MARCELLA T. SANTANNA. Estudo sobre Segurança e Interfaces de Serviços de Armazenamento de Dados na Nuvem. 2014. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Geiza Maria Hamazaki da Silva.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; Silva, G. M. H. ; ROCHA, M. G. . III Encontro de Iniciativas ambientais internas e externas à UNIRIO.. 2012. (Outro).

2.
GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; Silva, G. M. H. ; TIRIBA, L. ; EVARISTO, S. M. ; ROCHA, M. G. . II Encontro de Iniciativas ambientais internas e externas à UNIRIO.. 2011. (Outro).

3.
GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. ; ROCHA, M. G. . IV Encontro de Iniciativas Ambientais internas e externas a UNIRIO. 2013. (Outro).

4.
GONCALVES,H. H. A. B. Q. ; Silva, G.M.H. ; SAMPAIO, M. ; MARQUES, P. V. A. ; AIUB, C. . VI Encontro de Iniciativas Ambientais internas e externas a UNIRIO. 2015. (Outro).



Outras informações relevantes


Aprovação em terceiro lugar em concurso público para professor adjunto
do Depto. de Ciência da Computação e Informática da UERJ (Universidade
do Estado do Rio de Janeiro), conforme publicado no D.O.E.R.J. n. 203,
de 28/10/2005, pp. 72-73



Página gerada pelo Sistema Currículo Lattes em 20/10/2018 às 8:38:28