Currículo do Sistema de Currículos Lattes (Guilherme Albuquerque Pinto)

Dados pessoais

Nome	Guilherme Albuquerque Pinto
Nome em citações bibliográficas	PINTO, G. A.
Sexo	Masculino

Endereço profissional

Universidade Federal de Juiz de Fora, Departamento de Ciência da Computação.
Rua José Kelmer, S/n Campus Universitário
São Pedro
36036-330 - Juiz de Fora, MG - Brasil
Telefone: (32) 32293311
URL da Homepage: www.dcc.ufjf.br

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

2004 - 2005

Pós-Doutorado .
Carl Von Ossietzky Universität Oldenburg.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

1998 - 2003

Doutorado em Ciência da Computação .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Grau de Indecidibilidade da Universalidade para Subclasses de Autômatos Temporizados, Ano de Obtenção: 2003.
Orientador:

Arnaldo Vieira Moura.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: Automatos Temporizados; Hierarquias de Indecidibilidade; Universalidade.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.

1996 - 1998

Mestrado em Ciência da Computação .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Generalizações do Diagrama de Voronoi construídas atraves de Cônicas no Plano Projetivo Orientado e suas Visualizações, Ano de Obtenção: 1998.
Orientador:

Pedro Jussieu de Rezende.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo .
Palavras-chave: Diagrama de Voronoi; Plano Projetivo Orientado.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.

1990 - 1995

Graduação em Engenharia Elétrica .
Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Título: TOPOCAD - Uma Interface Gráfica para Caminhamento Topográfico.
Orientador: Mauro Pereira de Mello.

Atuação profissional

Universidade Federal de Juiz de Fora, UFJF, Brasil.

Vínculo institucional

2010 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 3, Regime: Dedicação exclusiva.

Atividades

03/2011 - Atual	Ensino, Ciência da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria da Computação

08/2010 - Atual	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Linguagens Formais e Autômatos Algoritmos Laboratório de Programação I Teoria dos Grafos

Universidade de Brasília, UNB, Brasil.

Vínculo institucional

2006 - 2010

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 2, Regime: Dedicação exclusiva.

Atividades

09/2006 - 06/2010	Pesquisa e desenvolvimento , Departamento de Ciência da Computação, .
	Linhas de pesquisa Verificação de Sistemas usando Autômatos (inativa) Algoritmos e Computabilidade

09/2006 - 06/2010	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Análise de Algoritmos (1 vez) Autômatos e Computabilidade (3 vezes) Introdução à Ciência da Computação (3 vezes) Programação Competitiva (3 vezes) Projeto e Análise de Algoritmos (2 vezes) Teoria da Computação (4 vezes)

2008 - 2010	Atividades de Participação em Projeto, Departamento de Ciência da Computação, .
	Projetos de pesquisa Verificação Formal de Protocolos de Comunicação com Aplicações em Criptografia

03/2008 - 08/2008	Direção e administração, Departamento de Ciência da Computação, .
	Cargo ou função Coordenador de Curso (Bacharelado em Ciência da Computação).

Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações, CPqD, Brasil.

Vínculo institucional

2001 - 2002

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

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

1999 - 2001

Vínculo: Colaborador, Enquadramento Funcional: Outro, Carga horária: 6

Atividades

8/2000 - 1/2001	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas MC438 - Análise de Algoritmos I

3/1999 - 7/1999	Estágios Instituto de Computação.
	Estágio realizado Apoio ao Ensino de Graduação, disciplina MC438 Análise de Algoritmos.

Centrais Elétricas - Sede, FURNAS, Brasil.

Vínculo institucional

1995 - 1995

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

Vínculo institucional

1993 - 1994

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

Atividades

1/1995 - 7/1995	Serviços técnicos especializados .
	Serviço realizado Programador.

2/1993 - 12/1994	Serviços técnicos especializados .
	Serviço realizado Estagiário em Informática.

Principia Engenharia de Confiabilidade e Informática, PRINCIPIA, Brasil.

Vínculo institucional

1990 - 1990

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

Atividades

1/1990 - 12/1990	Estágios .
	Estágio realizado Estágio em Programação C.

Linhas de Pesquisa

1.	Verificação de Sistemas usando Autômatos (inativa)

2.	Algoritmos e Computabilidade

Projetos de Pesquisa

2008 - 2010

Verificação Formal de Protocolos de Comunicação com Aplicações em Criptografia

Descrição: Abordam-se sistemas computacionais corretos e seguros que especificam propriedades fundamentais de protocolos criptogr´aficos via o assistente de prova PVS.
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Mauricio Ayala Rincón - Coordenador / Flávio Leonardo Cavalcanti de Moura - Integrante / Cláudia Nalon - Integrante / Alba Cristina Magalhaes Alves de Melo - Integrante / Guilherme Albuquerque Pinto - Integrante.
Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro..

Á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: Computabilidade e Modelos de Computação.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
3.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
4.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão	Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Português	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos

2010	Professor Homenageado, Alunos de Ciência da Computação - Universidade de Brasília.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	MOURA, A. V. ; PINTO, G. A. . Classes of Timed Automata and the Undecidability of Universality. Fundamenta Informaticae, v. 82, p. 171-184, 2008.

2.	DAMM, Werner ; PINTO, G. A. ; RATSCHAN, Stefan . Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. International Journal of Foundations of Computer Science, v. 18, p. 63-86, 2007.

3.	Moura, A ; PINTO, G. A. . A note on the verification of automata specifications of probabilistic real-time systems. Information Processing Letters, v. 82, n. 5, p. 223-228, 2002.

4.	PINTO, G. A. . Triângulos em Arranjos de Retas no Plano Euclidiano. Revista Matemática Universitária, Brasil, v. 30, p. 115-123, 2001.

Trabalhos completos publicados em anais de congressos

1.	MIRA, C. V. G. ; DIAS, Z. ; SANTOS, H. P. ; PINTO, G. A. ; WALTER, M. E. M. T. . Transposition Distance Based on the Algebraic Formalism. In: Third Brazilian Symposium on Bioinformatics, 2008, Santo André. Lecture Notes in Computer Science, 2008. v. 5167. p. 115-126.

2.

ANJOS, D. A. S. ; ZERLOTINI, G. G. ; PINTO, G. A. ; WALTER, M. E. M. T. ; BRIGIDO, M. M. ; TELLES, G. P. ; VIANA, C. J. ; ALMEIDA JR., N. F. . A Method for Inferring Biological Functions Using Homologous Genes Among Three Genomes. In: Brazilian Symposium on Bioinformatics, 2007, Angra dos Reis. Lecture Notes in Computer Science, 2007. v. 4643. p. 69-80.

3.

DAMM, Werner ; PINTO, G. A. ; RATSCHAN, Stefan . Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. In: 3. ATVA - Automated Technology for Verification and Analysis, 2005, Taipei - Taiwan. Lecture Notes in Computer Science, 2005. v. 3707. p. 99-113.

4.	MOURA, A. V. ; PINTO, G. A. . Classes of Timed Automata and the Undecidability of Universality. In: Workshop on Theory and Practice of Timed Systems, 2002, Grenoble. Eletronic Notes in Theoretical Computer Science, 2002. v. 65.

5.	PINTO, G. A. ; REZENDE, Pedro Jussieu de . Additively Weighted Voronoi Diagram on the Oriented Projective Plane. In: Canadian Conference on Computational Geometry, 2000, Fredericton. 12th CCCG - Canadian Conference on Computational Geometry, 2000. p. 119-126.

6.	PINTO, G. A. ; MOURA, A. V. . On the Verification of Nondeterministic Automata Specifications of Probabilistic Real-Time Systems. In: Workshop de Métodos Formais, 2000, João Pessoa. 3 WMF - Workshop de métodos Formais, 2000. p. 181-192.

7.	PINTO, G. A. ; REZENDE, Pedro Jussieu de . Representation of Conics in the Oriented Projective Plane. In: Simposio Brasileiro de Computação Gráfica e Processamento de Imagens, 1997, Campos do Jordão. X SIBGRAPI - Brazilian Symposium on Computer Graphics and Image processing, 1997. p. 71-78.

Demais tipos de produção bibliográfica

1.	PINTO, G. A. . Algoritmos. São Paulo: McGraw-Hill do Brasil, 2008. (Tradução/Livro).

Produção técnica

Demais tipos de produção técnica

1.	PINTO, G. A. . Simpósio Brasileiro de Métodos Formais. 2005. (Membro do Comitê de Programa).

2.	PINTO, G. A. . Simpósio Brasileiro de Métodos Formais. 2004. (Membro do Comitê de Programa).

3.	PINTO, G. A. . Simpósio Brasileiro de Engenharia de Software. 2003. (Revisor de artigos).

4.	PINTO, G. A. . Simpósio Brasileiro de Métodos Formais. 2001. (Revisor de artigos).

Bancas

Participação em bancas examinadoras

Dissertações

1.	MOURA, A. V.; PINTO, G. A.; MARTINS, E.. Participação em banca de Lehilton Lelis Chaves Pedrosa. Geração Automática de Casos de Testes para Máquinas de Estados Finitos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Trabalhos de Conclusão de Curso de graduação

1.	PINTO, G. A.. Participação em banca de Ricardo Tadeu de Albuquerque Peixoto. Verificação Formal da Correção do Algoritmo AKS. 2008. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade de Brasília.

2.	PINTO, G. A.. Participação em banca de Daniel Ribeiro dos Santos. Curso de VOIP em Software Livre baseado em Skinner, Gagné e Piaget. 2008. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade de Brasília.

3.	PINTO, G. A.. Participação em banca de Flávio Borges Botelho. Implementação do $\lambda$-cálculo com tipos no software SUBSEXPL. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

4.	PINTO, G. A.. Participação em banca de Paula de Melo Carvalho. Implementação de um sistema de Vídeo HTTP Streaming em um Rede Local. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

5.	PINTO, G. A.. Participação em banca de Luiza Menezes David e Xênia Soares Bezerra. Tutorial utilizando princípios de IHC: o caso da disciplina de Introdução à Ciência da Computação. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

6.	PINTO, G. A.. Participação em banca de Alexandre Salustino de Almeida e Lucas M. M. Rocktaeschel. Implementação do Método n3GC para comparar três genomas. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

7.	PINTO, G. A.. Participação em banca de Bruno David Gonçalves Freitas. Formalização de um Resolvedor de Sudoku em Coq. 2008. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade de Brasília.

8.	PINTO, G. A.. Participação em banca de Bruno de Assis Rolim. Implementação de um Sistema de Reconhecimento Automático de Palavras Isoladas utilizando Modelos Escondidos de Markov. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

9.	PINTO, G. A.. Participação em banca de Cleilton Soares de Moura. Verificação de Hardware Combinacional. 2007. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade de Brasília.

10.	PINTO, G. A.. Participação em banca de Lehilton Chaves Pedrosa. L-Systems como instrumento de modelagem. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

11.	PINTO, G. A.. Participação em banca de André Such. Projeto de Ambiente de Auxílio a Definição de Modelos de Desenvolvimento. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

12.	PINTO, G. A.. Participação em banca de Ítalo Valença Mariotti Tasso. Yalp-yet another L-System Program. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

13.	PINTO, G. A.. Participação em banca de Bruno Fracasso e João Belloti Fialho. Comunidades virtuais: implementação de um sítio de Caronas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

14.	PINTO, G. A.. Participação em banca de Lídia Araujo Miranda. Verificação de Hardware Utilizando Lógicas: Estudos de Caso. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília.

Participação em bancas de comissões julgadoras

Concurso público

1.	PROTTI, F.; CARVALHO, M. H.; PINTO, G. A.. Concurso Público para Professor Assistente - FACOM/UFMS. 2010. Universidade Federal do Mato Grosso do Sul.

Eventos

Participação em eventos

1.	X Curso de Qualidade da SBC. 2008. (Oficina).

2.	19th Computer-Aided Verification. 2007. (Congresso).

3.	1. GVD - German Verification Day. 2005. (Encontro).

4.	6. HSCC - Hybrid Systems: Computation and Control. 2003. (Congresso).

5.	Workshop on Theory and Practice of Timed Systems.TPTS Workshop on Theory and Practice of Timed Systems. 2002. (Congresso).

6.	5. WMF - Workshop de Métodos Formais. 2002. (Congresso).

7.	3. HSCC - Hybrid Systems: Computation and Control. 2000. (Congresso).

8.	Canadian Conference on Computational Geometry.12a. Canadian Conference on Computational Geometry. 2000. (Congresso).

9.	Workshop de Métodos Formais.Workshop de Métodos Formais. 2000. (Congresso).

10.	2. WMF - Workshop de Métodos Formais. 1999. (Simpósio).

11.	3. LATIN - Latin American Theoretical Informatics. 1998. (Congresso).

12.	21. Colóquio Brasileiro de Matemática. 1997. (Congresso).

13.	Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens.10o. Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. 1997. (Simpósio).

14.	10. Escola de Computação. 1996. (Congresso).

Orientações

Supervisões e orientações concluídas

Trabalho de conclusão de curso de graduação

1.	Johnny Ahrens. Shader Não-Fotorealístico para Desenho de Mangás. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de Brasília. Orientador: Guilherme Albuquerque Pinto.

2.	Alan Campelo Silva. Síntese de Parâmetros do Protocolo Biphase-Mark usando Autômatos Temporizados. 2009. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Computação) - Universidade de Brasília. Orientador: Guilherme Albuquerque Pinto.

3.	Tyessa Neiva Freitas e Paula Gripp Melo. Modelagem e Verificação do Algoritmo de Lamport para Exclusão Mútua com Autômatos Temporizados. 2009. Trabalho de Conclusão de Curso. (Graduação em Licenciatura em Computação) - Universidade de Brasília. Orientador: Guilherme Albuquerque Pinto.