Hao Chi Wong

Possui graduação em Ciencia da Computacao pela Universidade Federal de Minas Gerais(1988), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(1991), mestrado em Ciencia da Computacao pela Carnegie Mellon University(1995) e doutorado em Ciencia da Computacao pela Carnegie Mellon University(2000). Atualmente é Bolsista recém-doutor da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação. Atuando principalmente nos seguintes temas:protocols, electronic commerce, Security, correctness properties, formal methods e models.

Informações coletadas do Lattes em 20/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciencia da Computacao

1996 - 2000

Carnegie Mellon University
Título: Protecting Individuals' Interests in Electronic Commerce Protocols
Orientador: Jeannette Wing
Palavras-chave: protocols; electronic commerce; Security; correctness properties; formal methods; models. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodos Formais / Especialidade: Modelagem e Analise de Protocolos Criptograficos. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Criptografia Aplicada. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Cash Eletronico.

Mestrado em Ciencia da Computacao

1992 - 1995

Carnegie Mellon University
Orientador: Frank Pfenning
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Mestrado em Informática

1989 - 1991

Pontifícia Universidade Católica do Rio de Janeiro
Orientador: Luiz Carlos Pereira
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: deducao natural; calculo de sequentes; lambda calculos tipificado; esquemas abstratos.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.

Graduação em Ciencia da Computacao

1985 - 1988

Universidade Federal de Minas Gerais
Orientador: Wilson de Padua Paula Filho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2002

Pós-Doutorado. , Palo Alto Research Center Inc. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas de Seguranca e Privacidade. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Processamento e Analise de Images.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Chinês

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

Português

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas de Seguranca e Privacidade.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Processamento e Analise de Images.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodos Formais/Especialidade: Modelagem e Analise de Protocolos Criptograficos.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Criptografia Aplicada.

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Sergio de Oliveira

NOGUEIRA, Jose Marcos S; FRAGA, Joni da Silva; LOUREIRO, Antonio A;WONG, Hao Chi. Protecao de roteamento em redes de sensores sem fio . 2004. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Umberto Souza da Costa

CAMPOS, Sergio Vale Aguiar; DEHARBE, David Boris Paul; COELHO JR, Claudionor Jose Nunes;WONG, Hao Chi. Um verificador de modelos explicito-simbolico. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Seção coletada automaticamente pelo Escavador

Orientou

Ana Paula Ribeiro da Silva

Deteccao de Intrusos em Redes de Sensores sem Fio - Uma abordagem descentralizada; Início: 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Coorientador);

Fernando Augusto Teixeira

Deteccao de Intrusos sem Redes de Sensores sem Fio - Uma abordagem centralizada; Início: 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Coorientador);

Thiago Gabriel Diniz

Estudo sobre seguranca de aplicacoes WEB utilizando Java 2 Platform, Enterprise Edition (J2EE) e IBM Websphere Application Server (WSAS); Início: 2004; Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; (Orientador);

Daniel Mendes Barbosa

Implementacao e Avaliacao de Algoritmos Criptograficos para Redes de Sensores sem fio; 2004; 20 f; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Hao Chi Wong;

Aguimar Ribeiro Jr

Predicao em silico do ponto de origem de replicacao em bacterias; 2003; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Hao Chi Wong;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • WONG, Hao Chi ; CHEN, J D ; MOUCHE, F ; ROUILLER, I ; BERN, M . Model-based Particle Picking for Cryo-Electron Microscopy. Journal of Structural Biology , 2004.

  • WONG, Hao Chi ; SYCARA, K. . Adding Security and Trust to Multi-Agent Systems. Applied Artificial Intelligence , v. 14, n.9, 2000.

  • PIRES JR, Waldir ; FIGUEIREDO, Thiago H de Paula ; WONG, Hao Chi ; LOUREIRO, Antonio A F . Malicious Node Detection in Wireless Sensor Networks. In: 2004 IEEE International Parallel and Distributed Processing Symposium, 2004, Santa Fe. Proceedings of the 2004 IEEE International Parallel nd Distributed Processing Symposium, 2004.

  • RUIZ, Linnyer ; SIQUEIRA, Isabela ; BARBOSA, Leonardo ; WONG, Hao Chi ; NOGUEIRA, Jose Marcos ; LOUREIRO, Antonio Alfredo F . Fault management in Event-driven Wireless Sensor Networks. In: VII ACM/IEEE International Symposium on Modeling, Analysis, and Simulation of Wireless Mobile Systems (MSWiM 2004), 2004, Venice, Italy. Proceedings of the MSWiM 2004, 2004.

  • FERREIRA, Adrian Carlos ; VILACA, Marco Aurelio ; WONG, Hao Chi . Adding Security to Cluster-based Communication Protocols for Wireless Sensor Networks. In: XXII Simposio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do XXII SBRC, 2004.

  • OLIVEIRA, Leonardo B ; WONG, Hao Chi ; LOUREIRO, Antonio A ; BARBOSA, Daniel M . A Security Protocol for Hierarchical Sensor Networks. In: XXII Simposio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do XXII SBRC, 2004.

  • PIRES JUNIOR, Waldir Ribeiro ; FIGUEIREDO, Thiago H de Paula ; WONG, Hao Chi ; LOUREIRO, Antonio A . Deteccao de Nos maliciosos em Redes de Sensores sem Fio . In: IV Workshop em Seguranca de Sistemas Computacionais, 2004, Gramado. Anais do IV WSeg, 2004.

  • BALFANZ, Dirk ; DURFEE, Glenn ; SHANKAR, Narendar ; SMETTERS, Diana ; STADDON, Jessica ; WONG, Hao Chi . Secret Handshakes from Pairing-Based Key Agreements . In: 24th IEEE Symposium on Security and Privacy, 2003, Oakland. Proceedings of the 24th IEEE Symposium on Security and Privacy, 2003.

  • BALFANZ, Dirk ; SMETTERS, D. K. ; STEWART, P. ; WONG, Hao Chi . Talking to Strangers: Authentication in Ad-Hoc Wireless Networks. In: Network and Distributed Systems Security Symposium, 2002, San Diego. Proceedings of Network and Distributed Systems Symposium, 2002.

  • WONG, Hao Chi ; BERN, Marshall ; GOLDBERG, David . An Image Signature for Any Kind of Image. In: International Conference on Image Processing, 2002, Rochester. Proceedings of 2002 IEEE International Conference on Image Processing, 2002.

  • EDWARDS, W Keith ; NEWMAN, Mark W ; SEDIVY, Jana Z ; SMITH, Trevor ; BALFANZ, Dirk ; SMETTERS, Diana ; WONG, Hao Chi ; IZADI, Shahram . Using Speakeasy for Ad Hoc Peer-to-Peer Collaboration. In: 2002 ACM Conference on Computer Supported Cooperative Work, 2002, New Orleans. Proceedings of the 2002 ACM Conference on Computer Supported Cooperative Work, 2002.

  • WONG, Hao Chi ; SYCARA, K. . Adding Security and Trust to Multi-Agent Systems . In: Autonomous Agents Workshop on Deception, Fraud, and Trust in Agent Societies, 1999, Seattle. Proceedings of Autonomous Agents 99 Workshop on Deception, Fraud, and Trust in Agent Societies, 1999.

  • HEINTZE, N. ; TYGAR, J. D. ; WING, J. ; WONG, Hao Chi . Model Checking Electronic Commerce Protocols. In: Second USENIX Workshop on Electronic Commerce Protocols, 1996, Oakland. Proceedings of the Second USENIX Workshop on Electronic Commerce Protocols, 1996.

  • WONG, Hao Chi ; FROMHERZ, M. ; GUPTA, V. ; SARASWAT, V. . Control-based Programming of Electromechanical Controllers. In: Fourteenth International Joint Conference on Artificial Intelligence Workshop on Executable Temporal Logics, 1995, Montreal. Proceedings of the IJCAI Workshop on Executable Temporal Logics, 1995.

  • PFENNING, F. ; WONG, Hao Chi . On a Modal Lambda Calculus for S4. In: Eleventh Conference on Mathematical Foundations of Programming Semantics, 1995, New Orleans. Proceedings of the Eleventh Conference on Mathematical Foundations of Programming Semantics, 1995.

  • OLIVEIRA, A. A. ; WONG, Hao Chi ; MEIRA JR, W. ; ALMEIDA, V. A. F. . Simulacao Paralela de Redes de Petri . In: V Simposio Brasileiro de Arquitetura de Computadores, 1993, Florianopolis. Anais do V Simposio Brasileiro de Arquitetura de Computadores, 1993.

  • BERN, Marshall ; CHEN, J D ; WONG, Hao Chi . Avoiding Local Optima in Single Particle Reconstruction. In: 2004 ACM International Conference on Research in Computational Molecular Biology, 2004, San Diego. 2004 ACM International Conference on Research in Computational Molecular Biology, 2004.

  • SILVA, Ana Paula Ribeiro da ; TEIXEIRA, Fernando Augusto ; WONG, Hao Chi ; NOGUEIRA, Jose Marcos S . Aspectos de Deteccao de Intrusos em Redes de Sensores sem Fio . In: XXII Simposio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do XXII SBRC, 2004.

  • WONG, Hao Chi ; SYCARA, K. . A Taxonomy of Middle-agents for the Internet. In: International Conference on Multi-Agent Systems, 2000, Boston. Proceedings of the Fourth International Conference on Multi-Agent Systems, 2000.

  • OLIVEIRA, Sergio de ; WONG, Hao Chi ; NOGUEIRA, Jose Marcos da Silva . Seguranca em Redes de Sensores Sem Fio . Sao Lourenco: V Workshop de Comunicacao Sem Fio e Computacao Movel, 2003 (texto de minicurso).

  • WONG, Hao Chi . Protecting Individuals's Interests in Electronic Commerce Protocols . Pittsburgh: Computer Science Department - Carnegie Mellon University, 2000 (Dissertacao de doutorado).

  • WONG, Hao Chi . Esquemas Abstratos para Deducao Natural, Calculo de Sequentes, e lambda Calculo Tipificado. Rio de Janeiro: PUC-RJ, 1991 (Dissertacao de mestrado).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2004 - Atual

    Tropical BioMiner, Descrição: Bioinformatica aplicada a projeto de medicamentos. . , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Hao Chi Wong - Integrante / Claudionor Coelho Jr - Coordenador / Alberto Frade Laender - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.

  • 2003 - Atual

    Sensornet, Descrição: Pesquisa e desenvolvimento de redes de sensores sem fio. . , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Hao Chi Wong - Integrante / Jose Marcos Nogueira - Coordenador / Antonio Alfredo Loureiro - Integrante / Geraldo Robson Mateus - Integrante / Mario Campos - Integrante / Antonio Otavio Fernandes - Integrante / Claudionor Coelho - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.

Seção coletada automaticamente pelo Escavador

Prêmios

2004

Bolsa PRODOC, CAPES.

2003

Bolsa PRODOC, CAPES.

1991

Bolsa de Mestrado, FAPERJ.

1990

Bolsa de Mestrado, CNPq.

1989

Bolsa de Mestrado, CNPq.

1988

Bolsa de Iniciacao Cientifica, CNPq.

1987

Bolsa de Iniciacao Cientifica, CNPq.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Campus da Pampulha, Pampulha, Belo Horizonte, MG - Brasil, Telefone: (31) 34995895, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2002 - 2002

    Palo Alto Research Center Inc

    Vínculo: pos-doutorado, Enquadramento Funcional: , Carga horária: 0, Regime: Dedicação exclusiva.

    Atividades

    • 01/2002 - 12/2002

      Pesquisa e desenvolvimento , Computer Science Lab, .,Linhas de pesquisa

  • 1992 - 1998

    Carnegie Mellon University

    Vínculo: Assistente de pesquisa, Enquadramento Funcional: , Carga horária: 0, Regime: Dedicação exclusiva.

    Atividades

    • 09/1998 - 10/2000

      Pesquisa e desenvolvimento , School Of Computer Science, Robotics Institute.,Linhas de pesquisa

    • 09/1992 - 08/1998

      Pesquisa e desenvolvimento , School Of Computer Science, Computer Science Department.,Linhas de pesquisa

    • 09/1995 - 12/1995

      Ensino, Bacharel Em Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Fundamentos de Estruturas de Dados II (auxiliar de ensino)

    • 09/1994 - 12/1994

      Ensino, Bacharel Em Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Fundamentos de Estruturas de Dados II (auxiliar de ensino)

  • 1994 - 1994

    Xerox Parc

    Vínculo: estagiario, Enquadramento Funcional: , Carga horária: 40

    Atividades

    • 10/1994 - 12/1995

      Conselhos, Comissões e Consultoria, Systems And Practices Lab, .,Cargo ou função, Desenvolvimento de um controlador integrado de tempo real para uma maquina de fotocopia, usando uma linguagem concorrente com restricoes.

    • 06/1994 - 09/1994

      Estágios , Systems And Practices Lab, .,Estágio realizado, Desenvolvimento de um controlador integrado de tempo real para uma maquina de fotocopia, usando uma linguagem concorrente com restricoes.

  • 1993 - 1993

    Att Bell Labs

    Vínculo: Estagiario, Enquadramento Funcional: , Carga horária: 40

    Atividades

    • 06/1993 - 09/1993

      Estágios .,Estágio realizado, Prova do teorema de Church-Rosser para o lambda calculos nao-tipificado usando o assistente de prova Coq.

  • 1985 - 1986

    Universidade Federal de Minas Gerais

    Vínculo: monitor de graduacao da UFMG, Enquadramento Funcional: , Carga horária: 10

    Atividades

    • 08/2004

      Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Seguranca em Sistemas Distribuidas

    • 12/2002

      Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

    • 09/2003 - 02/2004

      Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Topicos Avancados em Criptografia: Criptografia de Curvas Elipticas

    • 03/2003 - 08/2003

      Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Seguranca em Sistemas Distribuidos

    • 11/1991 - 08/1992

      Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

    • 02/1992 - 06/1992

      Ensino, Bacharel Em Matematica, Nível: Graduação,Disciplinas ministradas, Analise Numerica

    • 02/1992 - 06/1992

      Ensino, Bacharel Em Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Analise Numerica

    • 01/1987 - 12/1988

      Estágios , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Estágio realizado, Implementacao de um editor Turbo para sistemas Unix. Manutencao de um cross-assembler para processadores Intel 8085 e 8086/88. Desenvolvimento de um emulador de IO de um analisador logico para PCs..

    • 02/1986 - 06/1986

      Ensino, Bacharel Em Engenharia, Nível: Graduação,Disciplinas ministradas, Introducao a Programacao de Computadores (auxiliar de ensino)

    • 08/1985 - 12/1985

      Ensino, Bacharel Em Engenharia, Nível: Graduação,Disciplinas ministradas, Geometria Analitica e Algebra Linear (auxiliar de ensino)

  • 1989 - 1991

    Pontifícia Universidade Católica do Rio de Janeiro

    Vínculo: aluno de mestrado, Enquadramento Funcional: , Carga horária: 0, Regime: Dedicação exclusiva.

    Atividades

    • 08/1990 - 11/1991

      Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.,Linhas de pesquisa

    • 02/1990 - 06/1990

      Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Projeto e Analise de Algoritmos (auxiliar de ensino)

  • 1986 - 1986

    Telecomunicações de Minas Gerais

    Vínculo: Estagiario, Enquadramento Funcional: , Carga horária: 20

    Atividades

    • 01/1986 - 12/1986

      Estágios , Departamento de Pesquisa e Desenvolvimento, .,Estágio realizado, Programacao de varios modulos de um sistema integrado de tempo real para controle de funcoes PABX.