Currículo do Sistema de Currículos Lattes (Alex de Vasconcellos Garcia)

Dados pessoais

Nome	Alex de Vasconcellos Garcia
Nome em citações bibliográficas	GARCIA, A. V.
Sexo	Masculino

Endereço profissional

Instituto Militar de Engenharia, Secao de Matematica e Engenharia de Sistemas.
Praça General T|iburcio, 80
Urca
22290-270 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 25467092 Ramal: 6096

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

1995 - 2000

Doutorado em Informática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC/RJ, Brasil.
Título: Um modelo categórico para tradução entre linguagens de programação, Ano de Obtenção: 2000.
Orientador:

Edward Hermann Haeusler.
Palavras-chave: Engenharia de Software; Linguagens de Programação; categorias; Compiladores; Manipulação de Código FOnte; Tradução.
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Compiladores.

1990 - 1992

Mestrado em Sistemas e Computação .
Instituto Militar de Engenharia, IME, Brasil.
Título: Um Pacote de Simulação de Redes Neurais, Ano de Obtenção: 1992.
Orientador: Emanuel Lopes Passos.
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.

1985 - 1989

Graduação em Engenharia de Computação .
Instituto Militar de Engenharia, IME, Brasil.

Atuação profissional

Universidade Gama Filho, UGF, Brasil.

Vínculo institucional

2002 - 2005

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

Outras informações

Disciplinas ministradas na graduação: Novas Tecnologias em Desenvolvimento de Websites (02.2) Conceitos de Linguagens de Programação (02.1) Desenvolvimento de Aplicações na plataforma J2EE (03.1) Integração Banco de Dados Web (04.1) Gerência e Manutenção de Websites (04.1)

Atividades

04/2002 - 02/2005	Direção e administração, Reitoria, Instituto Superior de Educação Tecnológica.
	Cargo ou função Coordenador Curso (Coord Adjunto).

04/2002 - 02/2005	Ensino, Tecnologia em Desenvolvimento de Websites, Nível: Graduação.
	Disciplinas ministradas Gerência e Manutenção de Websites Integração Banco de Dados Web Desenvolvimento de Aplicações na plataforma J2EE Conceitos de Linguagens de Programação Novas Tecnologias em Desenvolvimento de Websites

Pontifícia Universidade Católica do Rio de Janeiro, PUC/RJ, Brasil.

Vínculo institucional

2000 - 2002

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

Outras informações

Aulas na pós-graduação: Cursos na Pós-graduação. Programação Distribuída (01.2,02.1) (CCE) Cursos Graduação (Bacharelado em Informática/ P15) Linguagens e Máquinas (00.1, 01.1, 01.2,02.1) (PUC-Rio)

Vínculo institucional

1996 - 1999

Vínculo: Pesquisador no LMF, Enquadramento Funcional: Estagiário

Outras informações

O trabalho em projetos do LMF deu origem a 3 publicações: Alex de Vasconcellos Garcia, Luiz Carlos Castro Guedes. Translating Programs From CHILL to C++ Preserving Efficiency and Maintainability. Simpósio Brasileiro de Linguagens de Programação III. Porto Alegre, 1999. Alex de Vasconcellos Garcia, Edward H. Haeusler, Armando Haeberer. A Semantic Approach to the Solution of the Legacy Code Problem . Formal Methods Pacific. Wellington, 1997. Alex de Vasconcellos Garcia, Edward H. Haeusler, Armando M. Haeberer. An Architecture For Semantically Based Code Migration. Simpósio Brasileiro de Linguagens de Programação II. Campinas, 1997. O trabalho no laboratório também está fortemente relacionado à seguinte publicação: Mariela Inês Cortes, Alex de Vasconcellos Garcia, Alcione de Paiva Oliveira e Sérgio E. R. de Carvalho. Especificação Formal do Tratamento de Exceções na Linguagem DDL. Simpósio Brasileiro de Linguagens de Programação III. Porto Alegre, 1999.

Atividades

06/2001 - 07/2002	Ensino, Redes de Computadores, Nível: Especialização.
	Disciplinas ministradas Programação Distribuída

02/2000 - 06/2002	Ensino, Bacharelado em Informática, Nível: Graduação.
	Disciplinas ministradas Linguagens e Máquinas 2002.01 Linguagens e Máquinas 2001.02 Linguagens e Máquinas 2001.01 Linguagens e Máquinas 2000.2

Instituto Militar de Engenharia, IME, Brasil.

Vínculo institucional

1994 - Atual

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

Outras informações

Disciplinas ministradas mestrado: 2003 - Segundo Período SC 210801 LINGUAGENS DE PROGRAMACÃO 2003 - Terceiro Período SC 217100 TÓPICOS AVANÇADOS EM LINGUAGENS DE PROGRAMAÇÃO 2004 - Segundo Período SC 210801 LINGUAGENS DE PROGRAMACÃO 2004 - Terceiro Período SC 217100 TÓPICOS AVANÇADOS EM LINGUAGENS DE PROGRAMAÇÃO 2005 - Segundo Período SC 210801 LINGUAGENS DE PROGRAMACÃO 2005 - Terceiro Período SC 217100 TÓPICOS AVANÇADOS EM LINGUAGENS DE PROGRAMAÇÃO 2006 - Terceiro Período SC 217100 TÓPICOS AVANÇADOS EM LINGUAGENS DE PROGRAMAÇÃO 2007 - Primeiro Período SC 213801 ASPECTOS FORMAIS DA COMPUTAÇÃO OBS: Em conjunto com Professora Claudia Maria Oliveira 2007 - Segundo Período PGED072130 LINGÜÍSTICA COMPUTACIONAL APLICADA ÀCRIPTOLOGIA SC 400600 T.E. EM CIENC. DA COMP. I - COMPILADORES 2007 - Terceiro Período SC 217100 TÓPICOS AVANÇADOS EM LINGUAGENS DE PROGRAMAÇÃO 2008 - Primeiro Período SC 213801 ASPECTOS FORMAIS DA COMPUTAÇÃO 2009 - Primeiro Período SC 213801 ASPECTOS FORMAIS DA COMPUTAÇÃO 2009 - Terceiro Período SC 213801 ASPECTOS FORMAIS DA COMPUTAÇÃO Disciplinas ministradas na Graduação. 2003.1 09891 Lab de Programação III (45h) (3 horas semanais) 09893 Linguagens Formais e Autômatos (60h) (4 horas/sem) 2003.2 09855 Compiladores (60h) (4 horas semanais) 09629 Linguagens de Programação (60h) (4 horas semanais) 2004.1 09893 Linguagens Formais e Autômatos (60h) (4 horas/sem) 2004.2 09855 Compiladores (60h) (4 horas semanais) 09629 Linguagens de Programação (60h) (4 horas semanais) 2005.1 09893 Linguagens Formais e Autômatos (60h) (4 horas/sem) 09891 Lab de Programação III (45h) (3 horas semanais) 2005.2 09855 Compiladores (60h) (4 horas semanais) 09629 Linguagens de Programação (60h) (4 horas semanais) 2006.1 09893 Linguagens Formais e Autômatos (60h) (4 horas/sem) 09891 Lab de Programação III (45h) (3 horas semanais) 2006.2 09855 Compiladores (60h) (4 horas semanais) 09629 Linguage

Vínculo institucional

1994 - 1994

Vínculo: Bolsista Prof Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Outras informações

Pesquisa em interface com banco de dados.

Atividades

08/2004 - Atual	Ensino, Engenharia de Sistemas - Informatica, Nível: Pós-Graduação.
	Disciplinas ministradas Aspectos Formais Linguagens de Programação Topicos \|Especiais em LP

07/2004 - Atual	Ensino, Engenharia de Computação, Nível: Graduação.
	Disciplinas ministradas Linguagens Formais e Autômatos Matemática Discreta Lógica Laboratorio de Programação III Laboratorio de Programação II Compiladores Linguagens de Programacao

10/1995 - Atual	Outras atividades técnico-científicas , Secao de Matematica e Engenharia de Sistemas, .
	Atividade realizada PARTICIPAÇÃO NA BANCA DO VESTIBULAR.

10/1994 - Atual	Pesquisa e desenvolvimento , Secao de Matematica e Engenharia de Sistemas, .
	Linhas de pesquisa TRATAMENTO DA INFORMAÇÂO Membro de comitê de Programa SBLP 2001, SBLP 2002, SBLP 2003, SBLP 2004, SBLP 2005

2008 - 2010	Atividades de Participação em Projeto, Secao de Matematica e Engenharia de Sistemas, .
	Projetos de pesquisa Processamento de Linguagens

07/1995 - 05/1996	Direção e administração, Secao de Matematica e Engenharia de Sistemas, .
	Cargo ou função Coordenador de Laboratorio.

08/1994 - 07/1995	Direção e administração, Secao de Matematica e Engenharia de Sistemas, .
	Cargo ou função Coordenador de Curso.

Linhas de Pesquisa

1.	TRATAMENTO DA INFORMAÇÂO

2.	Membro de comitê de Programa SBLP 2001, SBLP 2002, SBLP 2003, SBLP 2004, SBLP 2005

Projetos de Pesquisa

2008 - 2010

Processamento de Linguagens

Descrição: O projeto visa desenvolver técnicas e ferramentas de processamento de linguagens e aplicá-las ao processamento tanto de linguagens de programação como de linguagens naturais. Vale lembrar que os modelos de sintaxe de programação utilizados da década de 60 do século passado até hoje são oriundas do trabalho do linguista N. Chomsky na modelagem de linguagens naturais. Parsers, ferramentas de transformação, semântica, geradores de código estão na área de interesse do projeto. Na área de linguagens naturais temos como objetivo desenvolver ferramentas de parser, recuperação de informação, bem como tradução automática. Na área de linguagens de programação interessa-nos sobretudo a contribuição para a solução do problema do código legado através da traduçao fonte a fonte, bem como o desenvolvimento de compiladores para máquinas virtuais. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) .
Integrantes: Alex de Vasconcellos Garcia - Coordenador.
.

Áreas de atuação

1.	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.
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: Sistemas de Computação / Especialidade: Software Básico.
4.	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.
5.	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.

Idiomas

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

Prêmios e títulos

1994	Bolsa de Pesquisador Visitante "C", FAPERJ.
1994	Aprovado em Concurso Público, UFF.
1994	Aprovado em Concurso Público (1o colocado), IME.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	GARCIA, A. V. ; HAEUSLER, E. H. . Code migration and program amintainability - A categorical Perspective. Information Processing Letters, Holanda, v. 79, p. 249-254, 2001.

2.	GARCIA, A. V. ; HAEUSLER, E. H. . A Categorical Model for Programming Languages Translation. Eletronic Notes In Theorectical Computer Science, Nova Iorque, v. XX, p. 1-15, 2000.

Livros publicados/organizados ou edições

1.	GARCIA, A. V. (Org.) ; BIGONHA, M. (Org.) . Anais do X SBLP. 1. ed. , 2006. v. 200. 290 p.

2.	GARCIA, A. V. (Org.) ; BIGONHA, M. (Org.) . Special Issue - Journal of Universal Computer Science. Springer, 2006.

3.	GARCIA, A. V. (Org.) ; HAEUSLER, E. H. (Org.) ; FIGUEIREDO, C. C. (Org.) ; CERQUEIRA, R. (Org.) . Anais de Simpósio Brasileiro de Linguagens de Programação. Rio de Janeiro: Puc - Rio, 2002.

Trabalhos completos publicados em anais de congressos

1.	GARCIA, A. V. ; BIGONHA, M. A. S. . Special Issue - Journal of Universal Computer Science. In: SBLP - SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO, 2006, ITATIAIA. Special Issue - Journal of Universal Computer Science, 2006.

2.	ALBUQUERQUE, E. ; GARCIA, A. V. ; COUTO, W. . Uma Ferramenta de Inspeção de Código para a Plataforma Eclipse. In: SBLP 2005, 2005, Recife. Anais do SBLP 2005, 2005.

3.	GARCIA, A. V. ; ALEX, V. ; CARLOS, C. G. L. . Translating Programs from CHILL to C++ Preserving Efficiency and Maintainability. In: SBLP 1999, 1999. Anais do III SBLP, 1999. p. 219-224.

4.	GARCIA, A. V. ; ALEX, V. M. C. ; CARVALHO, G. A. P. O. S. . Especificação Formal do Tratamento de Exceções na Linguagem DDL. In: III Simpósio Brasileiro de Linguagens de Programação (Anais), 1999, 1999. p. 61-76.

5.	GARCIA, A. V. ; ALEX, V. ; HAEUSLER, G. E. H. . Towards a Categorical Model for Language Translation. In: II Simpósio Brasileiro de Linguagens de Programação (Anais), 1997, 1997. p. 193-203.

6.	GARCIA, A. V. ; ALEX, V. ; ARMANDO, M. G. E. H. H. . An Architecture for Semantically Based Code Migration. In: II Simpósio Brasileiro de Linguagens de Programação (Anais), 1997, 1997. p. 179-192.

7.	GARCIA, A. V. ; ALEX, V. ; ARMANDO, M. G. E. H. H. . A Semantic Approach to the Solution of the Legacy Code Problem. In: FORMAL METHODS PACIFIC (Anais), 1997, 1997. p. 299-300.

Resumos publicados em anais de congressos

1.	OSHIRO, S. ; GOLDSCHMIDT, R. ; GARCIA, A. V. . Um Ambiente Inteligente para Recuperação de Imagens Baseada em Linguagem Natural. In: 6th CONTECSI International Conference on Information Systems, 2009, São Paulo. 6th CONTECSI International Conference on Information Systems, 2009.

Apresentações de Trabalho

1.	GOLDSCHMIDT, R. ; OSHIRO, S. ; GARCIA, A. V. . Um Ambiente Inteligente para Recuperação de Imagens Baseada em Linguagem Natural. 2009. (Apresentação de Trabalho/Congresso).

Demais tipos de produção bibliográfica

1.	GARCIA, A. V. ; FREITAS, S. . Detecção de Padrões de Código em WMLScript 2006 (Relatório Técnico).

2.	GARCIA, A. V. ; LOUTFI, M. . Linguagem JAVA em Dispositivos Embutidos 2002 (Relatório Técnico).

3.	GARCIA, A. V. ; OLIVEIRA, A. ; CORTES, M. . Especificação Formal do Tratamento de Exceções na Linguagem DDL 1998 (Relatório Técnico).

4.	GARCIA, A. V. ; HAEUSLER, E. H. . A Semantic Aproach to the Solution of the Legacy Code Problem 1997 (Relatório Técnico).

Produção técnica

Softwares sem registro de patente

1.	GARCIA, A. V. ; ALBUQUERQUE, E. . Ferramenta de Detecção de Padrões de Código Java na Plataforma Eclipse. 2005.

Trabalhos técnicos

1.	GARCIA, A. V. ; LOUTFI, M. . Linguagem JAVA em Dispositivos Embutidos. 2002.

2.	CORTES, M. ; GARCIA, A. V. ; OLIVEIRA, A. . Especificação Formal do Tratamento de Exceções na Linguagem DDL. 1998.

3.	GARCIA, A. V. ; HAEUSLER, E. H. ; HAEBERER, A. . A Semantic Aproach to the Solution of the Legacy Code Problem. 1997.

Demais tipos de produção técnica

1.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO - SBLP 2009. 2009. (Membro do comitê de programa).

2.	GARCIA, A. V. . International Conference on Formal Engineering Methods - ICFEM 09. 2009. (Membro do comitê de programa).

3.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO - 2008. 2008. (Membro do comitê de programa).

4.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO - SBLP 2007. 2007. (Membro do comitê de programa).

5.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO - SBLP 2006. 2006. (Membro do Comitê de Programa).

6.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO - SBLP 2005. 2005. (Membro do comitê de programa).

7.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO 2004. 2004. (Membro do comitê de programa).

8.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO 2003 (Comitê de Programa). 2003. (Membro de Comitê de Programa).

9.	GARCIA, A. V. . SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO - SBLP 2002. 2002. (Membro do comitê de programa).

Demais trabalhos

1.	GARCIA, A. V. . A Evolução da Plataforma J2EE. 2004 (Mini Curso).

2.	GARCIA, A. V. . A plataforma J2EE: uma visão mercadológica. 2004 (Palestra).

3.	GARCIA, A. V. . Linguagens de Programação e Software Livre. 2004 (Mesa Redonda).

4.	GARCIA, A. V. . A Plataforma J2EE: Uma visão de Mercado. 2004 (Palestra).

5.	GARCIA, A. V. . Introdução à Plataforma J2EE. 2003 (Mini Curso).

Bancas

Participação em bancas examinadoras

Dissertações

1.	GARCIA, A. V.; XEXEO, J. A.. Participação em banca de Jorge de Albuquerque Lambert. Cifrador Simétrico de Blocos: Projeto e Avaliação. 2004. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

2.	GARCIA, A. V.. Participação em banca de Marcelo Soares Loutfi. Desempenho da Linguagem Java em Dispositivos Embutidos.. 2003. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

3.	GARCIA, A. V.. Participação em banca de Marcelo Buonocore Nunes. Reconstituição de Estrutura Tri-Dimencional de Uma Cena a Partir de Imagens Estéreo Binoculares. 2002. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

4.	GARCIA, A. V.. Participação em banca de Tânia Mara Lima da Fonseca. Um processo de definição de cenários abstratos. 2002. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

5.	GARCIA, A. V.. Participação em banca de Dante CID. Mineração de dados com técnicas de Roughsets. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

6.	GARCIA, A. V.; OLIVEIRA, A.; CARVALHO, S.. Participação em banca de Mariela Ines Cortés. Especificação Formal da Linguagem DDL usando Transformações.. 1999. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

7.	GARCIA, A. V.; MOURA, A. M.; GUEDES, L. C.; MATTOSO, M. Q.. Participação em banca de Charles Sampaio Collyer Júnior. Linguagem de Consulta ao SIGO: Um Sistema Gerenciador de Objetos. 1997. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Teses de doutorado

1.	GARCIA, A. V.. Participação em banca de Marcelo Fagundes Félix. Análise formal de modelos de software orientada por abstrações arquiteturais. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

2.	GARCIA, A. V.; HAEUSLER, E. H.; MOSSES, P.. Participação em banca de Christiano de Oliveira Braga. Rewriting Logic as a Semantic Framework for Modular Structured Operational Semantics. 2001. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

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

1.	GARCIA, A. V.. Participação em banca de Leandro Loriato e Leonardo Loriato. Protótipo de Anti-Virus Estático com verificação on-access em ambiente windows utilizando a engine do CLAMAV. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

2.	GARCIA, A. V.. Participação em banca de Diogo Luiz Duarte e Paulo Rogério Abreu Ribeiro. Dedesenvolvimento de ferramenta de extração de conhecimento. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

3.	GARCIA, A. V.. Participação em banca de Diogo Aragão e Gomes Júnior. Aplicação de algoritmos adaptativos para extração de conhecimento. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

4.	GARCIA, A. V.. Participação em banca de Ricardo Queiroz de Araújo Fernandes. Ambiente Computacional de Programação Diagramática. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

5.	GARCIA, A. V.. Participação em banca de Adolfo. Avaliação de Soluções Java para Programação. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

6.	GARCIA, A. V.. Participação em banca de Carlos Eduardo Cardoso Borges. Gerador de analisadores sintáticos. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

7.	GARCIA, A. V.; RESENDE, L. G.; PEIXOTO, M. V.. Participação em banca de Eduardo Massayoshi Abe. Ferramenta Automática de Tradução de Programa Fonte. 1999. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

8.

GARCIA, A. V.; HAEUSLER, E. H.; CAFEZEIRO, I. L.; GUEDES, L. C.. Participação em banca de Carlos Bazílio Martins e Geiza Maria H. da Silva.. Tradução de Estruturas de Controle para Tempo real em Linguagens Orientadas a Objetos (1). 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

9.

GARCIA, A. V.; CAFEZEIRO, I. L.; HAEUSLER, E. H.; GUEDES, L. C.. Participação em banca de Fernando N. do Amaral e Patrícia Garcês Rabelo.. Tradução de Estruturas de Controle para Tempo real em Linguagens Orientadas a Objetos (2).. 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Participação em bancas de comissões julgadoras

Concurso público

1.	GARCIA, A. V.; CAFEZEIRO, I. L.; GUEDES, L. C.; CERQUEIRA, R.; MONTE, L. C.. CONCURSO PARA PROFESSOR ADJUNTO DA UFF. 2006. Universidade Federal Fluminense.

2.	GARCIA, A. V.. Concurso para Professor da UERJ. 2005. Universidade do Estado do Rio de Janeiro.

Eventos

Participação em eventos

1.	SBLP - SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO.ORGANIZACAO. 2006. (Simpósio).

2.	SBLP 2005.Uma Ferramenta de Inspeção de Código para a Plataforma Eclipse. 2005. (Congresso).

3.	SBLP 2004.SBLP 2004. 2004. (Congresso).

4.	II Semana de Software Livre.A plataforma J2EE: uma visão mercadológica. 2004. 2004. (Simpósio).

5.	II Semana de Software Livre.Linguagens de Programação e Software Livre. 2004 (Mesa Redonda). 2004. (Simpósio).

6.	SBLP 2003.SBLP 2003. 2003. (Congresso).

7.	SBLP 1999.Translating Programs from CHILL to C++ Preserving Efficiency and Maintainability. 1999. (Congresso).

8.	SBLP 1999.Especificação Formal do Tratamento de Exceções na Linguagem DDL. 1999. (Congresso).

9.	SBLP 1997.Towards a Categorical Model for Language Translation. 1997. (Congresso).

10.	SBLP 1997.An Architecture for Semantically Based Code Migration. 1997. (Congresso).

11.	Formal Method Pacific 1997.A Semantic Approach to the Solution of the Legacy Code Problem. 1997. (Congresso).

Organização de eventos

1.	GARCIA, A. V. ; BIGONHA, M. A. S. . SBLP - SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO. 2006. (Congresso).

Orientações

Supervisões e orientações concluídas

Dissertação de mestrado

1.	RICARDO QUEIROZ DE ARAUJO FERNANDES. Analise Sintatica do Portugues. 2009. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Ministerio da Defesa. Orientador: Alex de Vasconcellos Garcia.

2.	Nuno Caminada Franklin de Oliveira Silva. Identificacao de expressoes cristalizadas. 2008. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, . Orientador: Alex de Vasconcellos Garcia.

3.	Seimou Oshiro. Um Ambiente Inteligente para Recuperação de Imagens. 2008. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Alex de Vasconcellos Garcia.

4.	Sérgio Freitas Filho. FRAMEWORK PARA DESENVOLVIMENTO WML E WMLSCRIPT NO AMBIENTE ECLIPSE. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Alex de Vasconcellos Garcia.

5.	Eduardo Albuquerque. Detecção de Padrões de Código Java na Plataforma Eclipse. 2005. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Alex de Vasconcellos Garcia.

6.	Walmir Couto. Melhoria da Qualidade de Código Java. 2005. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia, . Orientador: Alex de Vasconcellos Garcia.

7.	Jorge de Albuquerque Lambert. Cifrador simétrico de blocos: projeto e avaliação. 2004. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Ministerio da Defesa. Co-Orientador: Alex de Vasconcellos Garcia.

8.	Marcelo Soares Loutfi. Desempenho da Linguagem Java em Dispositivos Embutidos. 2003. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia, . Orientador: Alex de Vasconcellos Garcia.

9.	Mariela Ines Cortés. Especificação Formal da Linguagem DDL usando Transformações. 1999. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia, . Co-Orientador: Alex de Vasconcellos Garcia.

10.	Charles Sampaio Collyer Junior. Linguagem de Consulta ao SIGO : um Sistema Gerenciador de Objetos. 1997. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia, . Co-Orientador: Alex de Vasconcellos Garcia.

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

1.	Diogo Luiz Duarte e Paulo Rogério Abreu Ribeiro. Dedesenvolvimento de ferramenta de extração de conhecimento.. 2005. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia, Ministerio da Defesa. Orientador: Alex de Vasconcellos Garcia.

2.	Diogo Aragão e Gomes Júnior. Aplicação de algoritmos adaptativos para extração de conhecimento de. 2005. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia, Ministerio da Defesa. Orientador: Alex de Vasconcellos Garcia.

3.	Ricardo Queiroz de Araújo Fernandes. Ambiente Computacional de Programação Diagramática. 2002. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia. Orientador: Alex de Vasconcellos Garcia.

4.	Adolfo. Avaliação de Soluções Java para Programação. 2002. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia. Orientador: Alex de Vasconcellos Garcia.

5.	Carlos Eduardo Cardoso Borges. Gerador de analisadores sintáticos. 2002. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia. Orientador: Alex de Vasconcellos Garcia.

6.	Eduardo Massayoshi Abe. Ferramenta Automática de Tradução de Programa Fonte. 1999. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia. Orientador: Alex de Vasconcellos Garcia.

Outras informações relevantes

OBS: Os dados abaixo foram importados do Sistema CNCT.

EXPERIÊNCIA PROFISSIONAL

ADMINISTRATIVA
.Gerente de Projetos na TECSIS - Teconologia de Sistemas Inteligentes (autou de 1992 a 1994)

.Administrador dos laboratórios do departamento de Engenharia de Sistemas do IME durante o ano de 1995.

.Gerente de projeto no Laboratório de Métodos Formais da PUC-RIO.


TÉCNICA
.Desenvolveu sistemas especialistas para: Unibanco, Fininvest, Petrobras, Investcorp, Econômico, Mesbla SF, Bradesco, Icatu e  Banco do Brasil.  Utilizando: Pascal, C, Toolbook, PowerBuilder, Pater, Nexpert Object, Clipper, Sybase, Oracle.

  Atuou no desenvolvimento de ferramenta CASE para a Equitel. 

. Participou do desenvolvimento de sistema de mapeamento cerebral computadorizado, atuando em tratamento de sinais, computação gráfica e apoio a diagnóstico. 

. Desenvolveu sistemas de bancos de dados para diversos clientes, entre eles a Shell Brasil S.A. 

DOCENTE
Professor do Instituto Militar de Engenharia desde 1994, onde minitra as cadeiras de:
. Linguagens de Programação (para a graduação e para o mestrado)
. Linguagens Formais e Autômatos (graduação)
.Matemática Discreta (graduação)
. Laboratório de Programação (graduação)
. Aspectos Formais da Computação (mestrado)
.