Alex de Vasconcellos Garcia

Possui graduação em Engenharia de Computação pelo Instituto Militar de Engenharia (1989), mestrado em Sistemas e Computação pelo Instituto Militar de Engenharia (1992) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2000). Tem experiência na área de Ciência da Computação. Principais áreas de interesse: linguagens de programação e teoria da computação. Outros interesses: segurança da informação e aprendizado de máquina.

Informações coletadas do Lattes em 05/04/2026

Acadêmico

Formação acadêmica

Doutorado em Informática

1995 - 2000

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Um modelo categórico para tradução entre linguagens de programação
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 TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Compiladores.

Mestrado em Sistemas e Computação

1990 - 1992

Instituto Militar de Engenharia
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

Graduação em Engenharia de Computação

1985 - 1989

Instituto Militar de Engenharia

Pós-doutorado

2020 - 2021

Pós-Doutorado. , Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. , Grande área: Ciências Exatas e da Terra

Formação complementar

2016 - 2016

Criptography. (Carga horária: 17h). , Universidade de Maryland, UMD, Estados Unidos.

2016 - 2016

Hardware Security. (Carga horária: 12h). , Universidade de Maryland, UMD, Estados Unidos.

2016 - 2016

R Programming. (Carga horária: 57h). , Johns Hopkins University, JHU, Estados Unidos.

2016 - 2016

The Data Scientist?s Toolbox. (Carga horária: 18h). , Johns Hopkins University, JHU, Estados Unidos.

2015 - 2015

Usable Security. (Carga horária: 11h). , Universidade de Maryland, UMD, Estados Unidos.

2015 - 2015

Software Security. (Carga horária: 17h). , Universidade de Maryland, UMD, Estados Unidos.

Idiomas

Inglês

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

Espanhol

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

Português

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

Alemão

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

Áreas de atuaçã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: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

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

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.

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.

Organização de eventos

GARCIA, A. V. . UNILOG 2013. 2013. (Congresso).

ROSA, P. ; GARCIA, A. V. . CSBC. 2007. (Congresso).

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

OLIVEIRA, C. ; GARCIA, A. V. . PROPOR. 2006. (Congresso).

HAEUSLER, E. H. ; FIGUEIREDO, C. C. ; GARCIA, A. V. ; CERQUEIRA, R. . Simposio Brasileiro de Linguagens de Programação. 2002. (Congresso).

Participação em eventos

RIW. ENSIGHTS - Monitoramento inteligente de ativos de transmissão. 2022. (Feira).

III WRAC+. 2017. (Seminário).

SBSeg 2017. 2017. (Simpósio).

CBSoft. 2011. (Congresso).

SBLP 2011. 2011. (Congresso).

SBMF - Simpósio Brasileiro de Métodos Formais. 2011. (Simpósio).

CSBC. 2007. (Congresso).

PROPOR 2006. 2006. (Congresso).

SBLP 2006.Organizing Chair. 2006. (Simpósio).

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

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

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

SBLP 2004. Evolução da Plataforma J2EE. 2004. (Congresso).

SBLP 2003. Introdução à Plataforma J2EE. 2003. (Congresso).

SBLP 2002. 2002. (Simpósio).

SBLP 2000. Um Modelo Categórico para Tradução entre Linguagens de Programação. 2000. (Congresso).

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

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

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

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

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

Participação em bancas

Aluno: Rafael Leal de Paula

JUSTEL, C. M.;GARCIA, A. V.; DUARTE, J. C.; OLIVEIRA, C. S.;MARKENZON, LILIAN. Sobre a estrutura de grafos 2-caminho e 3-caminho com conectividade algébrica máxima e mínima. 2024. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Airan Poelking Camargo

DUARTE, J. C.; GIRALDI, G. A.;GARCIA, A. V.. APRENDIZADO DE MÁQUINA NO APOIO AO DIAGNOSTICO MÉDICO UTILIZANDO A CLASSIFICAÇÃ0 INTERNACIONAL DE DOENÇAS. 2020. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Samir de Oliveira Cunha Ramos

GOLDSCHMIDT, R.;GARCIA, A. V.; SILVA, E.; JUSTEL, C. M.. DETECÇÃO DE BOTS SOCIAIS: UM MÉTODO BASEADO EM LÉXICO DE SENTIMENTO APRENDIDO DE MENSAGENS. 2020. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Yuri de Freitas Waki

XEXEO, J. A.;GARCIA, A. V.; SANTOS, A. F. P.; SOUZA, W.. Alpha Cypher Revisitado. 2016. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Jefferson de Barros Santos

HAEUSLER, E. H.; SCHWABE, D.; CORREA, M. S.;GARCIA, ALEX. Infraestrutura para Provadores de Teoremas Interativos na Web. 2010. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Ricardo Queiroz de Araújo Fernandes

GARCIA, A. V.; QUENTAL, V. S. T. D. B.;HAEUSLER, E. H.; XEXEO, J. A.. Uma Plataforma para Análise Sintática e sua Aplicação ao Português. 2009. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Nuno Caminada Franklin de Oliveira Silva

GARCIA, A. V.; QUENTAL, V. S. T. D. B.; SILVA, E. B.; GARRAO, M. U.. Identificacao de expressoes cristalizadas. 2008. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: SEIMOU HAMILTON OSHIRO

GARCIA, A. V.; GOLDSCHMIDT, R.; PASSOS, E.; CAVALCANTI, M. C. R.. UM AMBIENTE INTELIGENTE PARA RECUPERAC¸ AO DE IMAGENS. 2008. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: WALMIR OLIVEIRA COUTO

GARCIA, A. V.; XEXEO, J. A.; CAFEZEIRO, I. L.. USO DE PADRÕES DE CÓDIGO NO ENSINO DE JAVA. 2006. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Sergio Augusto Freitas Filho

GARCIA, A. V.; GUEDES, L. C.; AMARAL, F. N.. Detecção de Padrões de Código em WMLScript. 2006. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: EDUARDO SOARES ALBUQUERQUE

GARCIA, A. V.HAEUSLER, E. H.; CAFEZEIRO, I. L.; BERGMANN, U.. Detecção de Padrões de Código Java na Plataforma Eclipse. 2005. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Jorge de Albuquerque Lambert

XEXEO, J. A.;GARCIA, A. V.; FERREIRA, P. C. C.. Cifrador Simétrico de Blocos: Projeto e Avaliação. 2004. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Marcelo Soares Loutfi

GARCIA, A. V.; BERGMANN, U.. Desempenho da Linguagem Java em Dispositivos Embutidos.. 2003. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

Aluno: Marcelo Buonocore Nunes

PAGLIARI, C. L.;GARCIA, A. V.; SILVA, E. A. B.. Casamento de pares estéreo baseado em segmentação de imagens monocromáticas. 2002. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

Aluno: TÂNIA MARA LIMA DA FONSECA

MOURA, A. M. C.;GARCIA, A. V.. Um processo de definição de cenários abstratos. 2002. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

Aluno: Dante José Alexandre Cid

GARCIA, A. V.. 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.

Aluno: Mariela Ines Cortés

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

Aluno: Charles Sampaio Collyer Junior

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

Aluno: ROBINSON CALLOU DE M BRASIL FILHO

HAEUSLER, E. H.Garcia, Alex de Vasconcellos; RADEMAKER, A.; SANTOS, J. B.; RINCON, M. A.; BENEVIDES, M. R. F.; ALKMIM, B. P.. Arguing NP = PSPACE: On the Coverage and Soundness of the Horizontal Compression Algorithm. 2024. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Carla Chrystina de Castro Pacheco Ferreira

SALLES, R.;GARCIA, ALEX; MACHADO, R.; LOPES, H. C. V.; ZIVIANI, A.. DETECÇÃO DE SOCIALBOTS EM REDES SOCIAIS BASEADA EM ATRIBUTOS QUANTITATIVOS. 2018. Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia.

Aluno: Marcela Quispe Cruz

HAEUSLER, E. H.; GORDEEV, L.; OLIVEIRA, A. G.; PEREIRA, L. C. P. D.; RINCON, M. A.; CASANOVA, M. A.;GARCIA, A. V.. Some Results in a Proof-theory Based on Graphs. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Ricardo Queiroz de Araújo Fernandes

HAEUSLER, E. H.; PEREIRA, L. C. P. D.; BENEVIDES, M. R. F.; QUEIROZ, R. J. G. B.; CERQUEIRA, R. F. G.;GARCIA, A. V.; LEAL, J. E.. Proximity-based Understanding of Conditionals. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo Fagundes Félix

GARCIA, A. V.. 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.

Aluno: Christiano de Oliveira Braga

GARCIA, A. V.HAEUSLER, E. H.; MOSSES, P.. 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.

Aluno: Carla Pacheco

SALLES, R.;GARCIA, A. V.; JUSTEL, C. M.; GOLDSCHMIDT, R. R.; LINHARES, A.. Detecção de Socialbots em Redes Sociais. 2016. Exame de qualificação (Doutorando em Engenharia de Defesa) - Instituto Militar de Engenharia.

Aluno: PEDRO HENRIQUE TON TIUSSI e SARAH MACHADO VELDHUIS

NOYA, R. C.; SANTANA, R.;GARCIA, A. V.. AVALIAÇÃO DO USO DE GRAMÁTICAS PARA A OFUSCAÇÃO DE CÓDIGOS MALICIOSOS. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia.

Aluno: TAYNÁ FISCHER VIEIRA, MARINA MOTA e PEDRO SIAUDZIONIS

GARCIA, ALEX; GUEDES, L. C.; ARRUDA, H.. PINPAD POR SOFTWARE USANDO WHITE-BOX CRYPTOGRAPHY. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia.

Aluno: PEDRO IGOR OLIVEIRA, BRUNO COSTA e LUCAS RICARTE TEIXEIRA

GARCIA, ALEX; DUARTE, J. C.; GOLDSCHMIDT, R.. FERRAMENTA DE CLASSIFICAÇÃO DE QUESTÕES PARA AUXÍLIO AO APRENDIZADO. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia.

Aluno: LUCAS ROCHA GARCIA e ROBINSON CALLOU DE MOURA BRASIL FILHO

GARCIA, A. V.. DESENVOLVIMENTO DE JOGOS NA WEB UTILIZANDO TEORIA DOS JOGOS COMBINATÓRIA. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia.

Aluno: Carlos Alberto Villote de Oliveira

PEIXOTO, M. V.;GARCIA, A. V.; NOYA, R. C.. Emprego de Redes Neurais no Poker Texas Hold?em. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia.

Aluno: Paulo Eduardo Althoff

Aluno: Renan Gemignani

Aluno: Leandro Loriato e Leonardo Loriato

GARCIA, A. V.. 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.

Aluno: Diogo Luiz Duarte e Paulo Rogério Abreu Ribeiro

GARCIA, A. V.. 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.

Aluno: Diogo Aragão e Gomes Júnior

GARCIA, A. V.. 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.

Aluno: Ricardo Queiroz de Araújo Fernandes

GARCIA, A. V.. 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.

Aluno: Adolfo

GARCIA, A. V.. 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.

Aluno: Carlos Eduardo Cardoso Borges e Hans Peter Bruhn

GARCIA, A. V.. Gerador de analisadores sintáticos. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Militar de Engenharia.

Aluno: Eduardo Massayoshi Abe

GARCIA, A. V.; RESENDE, L. G.; PEIXOTO, M. V.. 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.

Aluno: Fernando N

GARCIA, A. V.; CAFEZEIRO, I. L.;HAEUSLER, E. H.; GUEDES, L. C.. 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.

Aluno: Carlos Bazílio Martins e Geiza Maria H

GARCIA, A. V.HAEUSLER, E. H.; CAFEZEIRO, I. L.; GUEDES, L. C.. 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.

PEIXOTO, M. V.;GARCIA, A. V.. CONCURSO VESTIBULAR IME. 2024. Instituto Militar de Engenharia.

PEIXOTO, M. V.;GARCIA, A. V.. CONCURSO VESTIBULAR IME. 2023. Instituto Militar de Engenharia.

PEIXOTO, M. V.;GARCIA, A. V.. CONCURSO VESTIBULAR IME. 2022. Instituto Militar de Engenharia.

MOREIRA, A. M.; SA, V. G. P.; MARTINS, C. B.; SILVA, G. M. H.; MUSICANTE, M. A.; SILVA, G. Z.;GARCIA, A. V.. Concurso Professor Adjunto de Linguagens de Programação (Suplente Externo). 2022. Universidade Federal do Rio de Janeiro.

GARCIA, ALEX; PEIXOTO, M. V.. CONCURSO VESTIBULAR IME. 2018. Instituto Militar de Engenharia.

PEIXOTO, M. V.;GARCIA, A. V.. Concurso Vestibular IME - CFG e CG. 2016. Instituto Militar de Engenharia.

OLIVEIRA, F. S.;GARCIA, A. V.; SILVA, G. M. H.. Concurso para professor do DICC da UERJ. 2015. Universidade do Estado do Rio de Janeiro.

PEIXOTO, M. V.;GARCIA, A. V.. Concurso Vestibular IME - CFG e CG. 2015. Instituto Militar de Engenharia.

BRAGA, C.;GARCIA, A. V.; MENEZES, P. F. B.; IERUSALIMSCHY, R.; CAFEZEIRO, I. L.. Concurso para professor adjunto IC - UFF. 2014. Universidade Federal Fluminense.

GARCIA, A. V.. Concurso Vestibular IME - CFG. 2014. Instituto Militar de Engenharia.

GARCIA, A. V.; PEIXOTO, M. V.; BENEVIDES, M.. CONCURSO PARA PROFESSOR ADJUNTO DO IME. 2013. Instituto Militar de Engenharia.

GARCIA, A. V.; PEIXOTO, M. V.; BENEVIDES, M. R. F.. Concurso para professor do IME. 2013. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME - CFG e CG. 2013. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME - CFG e CG. 2012. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME - CFG e CG. 2011. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME - CFG e CG. 2010. Instituto Militar de Engenharia.

GARCIA, A. V.; XEXEO, J. A.. Concurso Petrobras cargo ANALISTA DE SISTEMAS JÚNIOR ? ENG. SOFTWARE. 2010. Fundação Cesgranrio.

GARCIA, A. V.; XEXEO, J. A.. Concurso Petrobras cargo ANALISTA DE SISTEMAS JÚNIOR ? PROCESSOS. 2010. Fundação Cesgranrio.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2009.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2008. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2007. Instituto Militar de Engenharia.

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

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2006.

MORAES, M. A. B.;GARCIA, A. V.. Concurso para Professor da UERJ. 2005. Universidade do Estado do Rio de Janeiro.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2005. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2004.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2003.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2002. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME CFG e CG. 2001. Instituto Militar de Engenharia.

GARCIA, A. V.. Concurso Vestibular IME (comissão de correção). 1997. Instituto Militar de Engenharia.

GARCIA, A. V.; XEXEO, J. A.; PEIXOTO, M. V.. Tradução de fórmulas do cálculo proposicional clássico para o fragmento implicacional da lógica intuicionista. (TEMA DIRIGIDO). 2017. Instituto Militar de Engenharia.

Orientou

Samir de Oliveira Cunha Ramos

Aprendizado de Máquina; Aprendizado de Máquina; ; 2020; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, ; Coorientador: Alex de Vasconcellos Garcia;

Ricardo Queiroz de Araújo Fernandes

Uma Plataforma para Análise Sintática e sua Aplicação ao Português; 2009; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Ministerio da Defesa; Orientador: Alex de Vasconcellos Garcia;

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;

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;

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;

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;

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;

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; Coorientador: Alex de Vasconcellos Garcia;

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;

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, ; Coorientador: Alex de Vasconcellos Garcia;

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, ; Coorientador: Alex de Vasconcellos Garcia;

Carla Chrystina de Castro Pacheco Ferreira

Metodologia para Construcao de Base de Dados de Redes Sociais e Deteccao de Socialbots; 2018; Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia, ; Coorientador: Alex de Vasconcellos Garcia;

PEDRO HENRIQUE TON TIUSSI e SARAH MACHADO VELDHUIS

AVALIAÇÃO DO USO DE GRAMÁTICAS PARA A OFUSCAÇÃO DE CÓDIGOSMALICIOSOS; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

PEDRO IGOR DE ARAÚJO OLIVEIRA, BRUNO VIEIRA COSTA e LUCAS RI

FERRAMENTA DE CLASSIFICAÇÃO DE QUESTÕES PARA AUXÍLIO AO APRENDIZADO; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

LUCAS ROCHA GARCIA e ROBINSON CALLOU DE MOURA BRASIL FILHO

DESENVOLVIMENTO DE JOGOS NA WEB UTILIZANDO TEORIA DOS JOGOS COMBINATÓRIA; 2016; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

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;

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;

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;

Adolfo Guilherme Silva Correa

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;

Carlos Eduardo Cardoso Borges e Hans Peter Bruhn

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;

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;

Bruno Eduardo de Oliveira Carvalho e João Baptista de Paula

TD - Tradução de fórmulas do cálculo proposicional clássico para o fragmento implicacional da lógica intuicionista; ; 2017; Iniciação Científica; (Graduando em Engenharia) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

LUCAS BRAIDA NAZARETH

PIBITI - DESAFIOS NA INTERAÇÃO HUMANO-COMPUTADOR EM DISPOSITIVOS MÓVEIS: INTERAÇÃO VIA VOZ; 2016; Iniciação Científica; (Graduando em Engenharia) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

ROBERTO MOURA PASSOS JUNIOR

PIBITI - DESAFIOS NA INTERAÇÃO HUMANO-COMPUTADOR EM DISPOSITIVOS MÓVEIS: VISUALIZAÇÃO DE GRÁFICOS; 2016; Iniciação Científica; (Graduando em Engenharia) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

VICTOR VILLAS BOAS CHAVES

PIBITI - Problemas e Aplicacoes em Computacao Quantica; 2015; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

IGOR CESAR TORRES DE OLIVEIRA

PIBITI - Analise de Complexidade de Algoritmos Quanticos; 2015; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Alex de Vasconcellos Garcia;

Produções bibliográficas

ALEX DE VASCONCELLOS GARCIA ; GABRIEL RESENDE MACHADO ; CARLA CHRYSTINA DE CASTRO PACHECO FERREIRA ; EDWARD HERMANN HAEUSLER ; JEFFERSON BARROS DOS SANTOS ; EDMILSON VAREJÃO ; PEDRO SCHNEIDER ; ATHOS DOS SANTOS BARBOSA ; MAURÍCIO MAGALHÃES ; MARCELO DE CARVALHO ; ANA CRISTINA DE FREITAS MAROTTI . ENSIGHTS: Intelligent Monitoring of Electric Power Transmission Assets. European Conference on the Impact of Artificial Intelligence and Robotics , v. 4, p. 36-44, 2022.
FERREIRA, C. C. C. P. ; GARCIA, A. V. ; SALLES, R. ; MACHADO, R. . Fuzzy systems complement machine learning socialbot detection. Brazilian Journal of Development , v. 5, p. 32413-32426, 2019.
FERREIRA, C. P. ; GARCIA, A. V. ; MACHADO, R. ; SALLES, R. . Sistemas fuzzy complementam a detecção de socialbots por aprendizado de máquina. C&T. REVISTA MILITAR DE CIÊNCIA E TECNOLOGIA , v. 36, p. 50, 2019.
MACEDO, HUGO D. ; HAEUSLER, EDWARD H. ; GARCIA, ALEX . Defining Effectiveness Using Finite Sets A Study on Computability. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 324, p. 91-106, 2016.
PEREIRA, PAULO RENATO DA COSTA ; GARCIA, ALEX ; MARKENZON, LILIAN . Generating and counting unlabeled -path graphs. DISCRETE APPLIED MATHEMATICS , v. 164, p. 297-303, 2011.
GARCIA, A. V. ; HAEUSLER, E. H. . Code migration and program maintainability - A categorical perspective. INFORMATION PROCESSING LETTERS , Holanda, v. 79, p. 249-254, 2001.
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.
GARCIA, ALEX ; HAEUSLER, E. H. . Linguagens Formais e Autômatos. 1. ed. Londrina: Editora e Distribuidora Educacional S.A., 2018. v. 1.
GARCIA, ALEX . Linguagens Regulares e Livres de Contexto. 1. ed. Rio de Janeiro: , 2017. 85p .
GARCIA, A. V. ; BIGONHA, M. (Org.) . Special Issue - Journal of Universal Computer Science. Springer, 2006.
GARCIA, A. V. ; BIGONHA, M. (Org.) . Anais do X SBLP. 1. ed. , 2006. v. 200. 290p .
GARCIA, A. V. ; 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.
FERREIRA, C. C. C. P. ; GARCIA, A. V. ; MACHADO, R. ; SALLES, RONALDO . Sistemas fuzzy complementam a detecção de socialbots por aprendizado de máquina. Ciência da Computação. Princípios Fundamentais. Volume II. 2aed.Piracanjuba: Conhecimento Livre, 2021, v. 2, p. 6-19.
FERREIRA, C. C. C. P. ; CARVALHO, M. ; MAROTTI, A. ; GARCIA, A. V. ; MACHADO, G. R. ; SANTOS, J. B. ; HAEUSLER, E. H. ; VAREJAO, E. ; SCHNEIDER, P. H. ; ATHOS DOS SANTOS BARBOSA ; MAURÍCIO MAGALHÃES ; PORTUITA, H. . EnSights: Monitoramento Inteligente dos Ativos de Transmissão. In: XIX ERIAC, 2023, Foz do Iguaçu. Sistemas de Informação e Telecomunicação para Sistemas Elétricos, 2023.
C. PACHECO, CARLA ; PAES, V. ; MACHADO, G. R. ; CARVALHO, M. ; LOPES, F. ; GARCIA, A. V. ; VAREJAO, E. ; SANTOS, J. B. ; HAEUSLER, E. H. ; MAROTTI, A. . On the use of Machine Learning for predictive maintenance of power transformers. In: Brazilian Conference on Computatioal Intelligence, 2023, Salvador. Proceedings of the XVI Brazilian Conference on Computational Intelligence., 2023. p. 1-8.
RAMOS, SAMIR ; GOLDSCHMIDT, RONALDO ; GARCIA, ALEX . Social Bots Detection: A Method based on a Sentiment Lexicon Learned from Messages. In: 24th International Conference on Enterprise Information Systems, 2022, Online Streaming. Proceedings of the 24th International Conference on Enterprise Information Systems, 2022. p. 273.
CARVALHO, M. ; MAROTTI, A. ; GARCIA, ALEX ; RODRIGUES, A. C. ; BRITO, L. M. ; FERREIRA, C. C. C. P. ; MACHADO, G. R. ; VAREJAO, E. ; SCHNEIDER, P. H. ; SANTOS, J. B. ; BARG, M. R. W. ; GUTTLER, C. ; HAEUSLER, E. H. . EnSights: Monitoramento Inteligente de Ativos de Transmissão. In: XXVI Seminário Nacional de Produção e Transmissão de Energia Elétrica (SNPTEE), 2022, Rio de Janeiro. XXVI Seminário Nacional de Produção e Transmissão de Energia Elétrica (SNPTEE), 2022. v. 3. p. 50.
C. PACHECO, CARLA ; GARCIA, ALEX ; MACHADO, RAPHAEL ; M. SALLES, RONALDO . Sistemas fuzzy complementam a detecção de socialbots por aprendizado de máquina. In: Anais Estendidos do Simpósio Brasileiro de Sistemas de Informação, 2019, Brasil. Anais Estendidos do XV Simpósio Brasileiro de Sistemas de Informação (Anais Estendidos do SBSI 2019), 2019. p. 91.
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.
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.
GARCIA, A. V. ; HAEUSLER, E. H. . Um Modelo Categórico para Tradução entre Linguagens de Programação. In: SBLP - Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Proceedings do IV SBLP, 2000. p. 62-75.
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.
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. III Simpósio Brasileiro de Linguagens de Programação (Anais), 1999. p. 61-76.
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.
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.
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.
PEREIRA, P. R. C. ; ALEX DE VASCONCELLOS GARCIA ; MARKENZON, L. . Counting Unlabeled k-path Graphs. In: Latin and American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Proceedings of LAGOS 2009, 2009.
PACHECO, CARLA ; GARCIA, ALEX ; MACHADO, RAPHAEL ; SALLES, RONALDO . Building Reference Datasets to Support Socialbots Detection. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018, Brescia. 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018. p. 198.
PEREIRA, P. R. C. ; GARCIA, A. V. ; MARKENZON, L. . Generating and Counting Unlabeled k-Path Graphs. In: 8th French Combinatorial Conference, 2010, Paris. Abstracts of 8FCC, 2010.
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.
GARCIA, A. V. . Minicurso Evolução da Plataforma J2EE. 2004. (Apresentação de Trabalho/Simpósio).
GARCIA, A. V. . A plataforma J2EE: uma visão mercadológica.. 2004. (Apresentação de Trabalho/Seminário).
GARCIA, A. V. . Mesa redonda: : Linguagens de Programação e Software Livre. 2004. (Apresentação de Trabalho/Outra).
GARCIA, A. V. . Minicurso Introdução à Plataforma J2EE. 2003. (Apresentação de Trabalho/Simpósio).
GARCIA, A. V. ; HAEUSLER, EDWARD H. . An extension to the minimal grammar problem. Rio de Janeiro: PUC-Rio, 2021 (Relatório Técnico).
GARCIA, A. V. ; FREITAS, S. . Detecção de Padrões de Código em WMLScript 2006 (Relatório Técnico).
COUTO, W. ; ALEX DE VASCONCELLOS GARCIA . Uso de Padrões de Código no Ensino de Java. Rio de Janeiro: IME, 2005 (Relatório Técnico).
GARCIA, A. V. ; LOUTFI, M. . Linguagem JAVA em Dispositivos Embutidos 2002 (Relatório Técnico).
GARCIA, A. V. ; OLIVEIRA, A. ; CORTES, M. . Especificação Formal do Tratamento de Exceções na Linguagem DDL 1998 (Relatório Técnico).
GARCIA, A. V. ; HAEUSLER, E. H. . A Semantic Aproach to the Solution of the Legacy Code Problem 1997 (Relatório Técnico).

Outras produções

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

GARCIA, A. V. . Linguagens Formais e Autômatos. 2020; Tema: Linguagens Formais e Autômatos. (Rede social).

GARCIA, A. V. . Teoria da Computação. 2020; Tema: Teoria da Computação. (Rede social).

MEDEIROS, S. ; GARCIA, A. V. . SBLP 2020 - Simpósio Brasileiro de Linguagens de Programação. 2020. (Membro de Comitê de Programa).

GARCIA, A. V. . SBLP 2020 - Simpósio Brasileiro de Linguagens de Programação. 2020. (Revisão de Artigo).

RIBEIRO, R. ; GARCIA, A. V. . SBLP 2019 - Simpósio Brasileiro de Linguagens de Programação. 2019. (Membro de Comitê de Programa).

GARCIA, A. V. . SBLP 2019 - Simpósio Brasileiro de Linguagens de Programação. 2019. (Revisão de Artigo).

FIGUEIREDO, C. C. ; GARCIA, A. V. . SBLP 2018 - Simpósio Brasileiro de Linguagens de Programação. 2018. (Membro de Comitê de Programa).

GARCIA, A. V. . SBLP 2018 - Simpósio Brasileiro de Linguagens de Programação. 2018. (Revisão de Artigo).

MASCARENHAS, F. ; GARCIA, A. V. . SBLP 2017 - Simpósio Brasileiro de Linguagens de Programação - Comitê de Programa. 2017. (Membro de Comitê de Programa).

MACHADO, R. ; GARCIA, A. V. . WRAC+ (2017) ? III WORKSHOP SOBRE REGULAÇÃO, AVALIAÇÃO DA CONFORMIDADE, TESTES E PADRÕES DE SEGURANÇA - Comitê de Programa. 2017. (Membro de Comitê de Programa).

GARCIA, A. V. . SBLP 2017 - Revisor de Artigo. 2017. (Revisão de Artigo).

CASTOR, F. ; LIU, Y. D. ; GARCIA, A. V. . SBLP 2016 - Simpósio Brasileiro de Linguagens de Programação - Comitê de Programa. 2016. (Membro de Comitê de Programa).

GARCIA, A. V. . SBLP 2016 - Revisor de Artigo. 2016. (Revisão de Artigo).

PARDO, A. ; SWIERSTRA, D. ; GARCIA, A. V. . SBLP 2015 - Simpósio Brasileiro de Linguagens de Programação - Comitê de Programa. 2015. (Membro de Comitê de Programa).

GARCIA, A. V. . SBLP 2015 - Revisor de Atigo. 2015. (Revisão de Artigo).

GARCIA, A. V. . Simpósio Brasileiro de Linguagens de Programação - SBLP. 2014. (Membro de Comitê de Programa).

GARCIA, A. V. . Simpósio Brasileiro de Linguagens de Programação - SBLP. 2013. (Membro de Comitê de Programa).

GARCIA, A. V. . Simpósio Brasileiro de Linguagens de Programação - SBLP. 2012. (Membro de Comitê de Programa).

GARCIA, A. V. . Simpósio Brasileiro de Linguagens de Programação - SBLP. 2011. (Membro de Comitê de Programa).

GARCIA, A. V. . Simpósio Brasileiro de Linguagens de Programação - SBLP. 2010. (Membro de Comitê de Programa).

ALEX DE VASCONCELLOS GARCIA . IEEE I2TS - The 9th International Information and Telecommunication Technologies Symposium. 2010. (Revisão de Artigo).

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

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

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

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

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

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

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

ALEX DE VASCONCELLOS GARCIA . SBC - CTD. 2004. (Revisão de Artigo).

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

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

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

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

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

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

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

Projetos de pesquisa

2023 - Atual

Ciber Semantica, Descrição: Desenvolvimento de uma plataforma para automação do processo de análise cibernética por meio do emprego de Inteligência Artificial, atuando no nível semântico, usando modelos de lógica que permitam inferências e verificação de hipóteses, de tal modo que a análise deixe de ser centrada no analista e passe a ser centrada no conhecimento.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (4) . , Integrantes: Alex de Vasconcellos Garcia - Integrante / Edward Hermann Haeusler - Integrante / Ronaldo Salles - Integrante / Ricardo Queiroz de Araujo Fernandes - Integrante / Ronaldo Ribeiro Goldschmidt - Integrante / Samir Ramos - Integrante / João Paulo Maranhão - Coordenador / Bernardo Alkmim - Integrante / Bruno Cuconato Claro - Integrante / Raquel Coelho Gomes Pinto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação.
2022 - 2023

Aplicabilidade de nova tecnologia voltada para o desenvolvimento de um modelo de monitoramento inteligente dos ativos de transmissão, Descrição: Projeto de PD ANEEL, obtido por chamada publica de 2018. Objetiva usar técnicas de Machine Learning para aprimorar a manutenção preditiva de ativos de transmissão de energia.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Especialização: (3) / Mestrado acadêmico: (2) Doutorado: (3) . , Integrantes: Alex de Vasconcellos Garcia - Integrante / Jefferson de Barros Santos - Integrante / Marcelo Carvalho - Integrante / Ana Marotti - Integrante / Ana Claudia Rodrigues - Integrante / Gabriel Resende Machado - Integrante / Edmilson Varejão - Integrante / ATHOS DOS SANTOS BARBOSA - Integrante / Carla Pacheco Ferreira - Integrante / Vagner Paes - Integrante / Edward Haeusler - Coordenador., Financiador(es): Agência Nacional de Energia Elétrica - Auxílio financeiro.
2021 - Atual

S2C2 - Sistema de Sistemas de Comando e Controle, Descrição: S2C2 - Sistema de Sistemas de Comando e Controle. No âmbito da Defesa, a complexidade crescente dos ambientes operacionais vem demonstrando que a sinergia entre as Forças Armadas é indispensável. Em situações de emergência e de crise interna, a colaboração se estende às instituições de segurança pública e de defesa civil. Nesse contexto, a interoperabilidade entre sistemas de comando e controle de diversas entidades é crucial para o sucesso da missão. Focando especificamente na Força Terrestre, a interoperabilidade entre seus próprios sistemas já representa um grande desafio.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (2) / Doutorado: (4) . , Integrantes: Alex de Vasconcellos Garcia - Integrante / Edward Hermann Haeusler - Integrante / Julio Cesar Duarte - Integrante / Maria Claudia Reis Cavalcanti - Integrante / Maria Luiza Machado Campos - Integrante / Marcus Albert Alves da Silva - Integrante / Giseli Rabello Lopes - Integrante / David Fernandes Cruz Moura - Integrante / Kelli de Faria Cordeiro - Integrante / Ricardo Queiroz de Araujo Fernandes - Coordenador / Edison Pignaton de Freitas - Integrante / Dante Augusto Couto Barone - Integrante / Cláudia Nalon - Integrante / Juliano Araújo Wickboldt - Integrante / Thiago Mael de Castro - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação.
2019 - Atual

Compressão de provas e a conjectura NP = PSPACE (APQ1-Faperj), Descrição: Este projeto propõe o estudo de uma abordagem baseada em teoria da prova em ciência da computação, abordando, em específico, o tema de produção de provas curtas (compressão de provas), bem como de seu uso no auxílio a processos de validação de bases de conhecimento em domínios específicos. Como é bem sabido, a existência de provas curtas (de tamanho polinomial em relação a conclusão da prova) para todas as tautologias de uma lógica proposicional L implica em NP = PSPACE, se L é a lógica minimal ou a lógica intuicionista.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Mestrado profissional: (2) / Doutorado: (4) . , Integrantes: Alex de Vasconcellos Garcia - Integrante / Mario Roberto Folhadela Benevides - Integrante / Luiz Carlos Pereira - Integrante / Bruno Lopes Vieira - Integrante / Cecilia Lustosa - Integrante / Jefferson de Barros Santos - Integrante / Edward Haeusler - Coordenador / Robinson Callou - Integrante., Financiador(es): FAPERJ - Auxílio financeiro.
2017 - Atual

MAPAs: Modelos de Aprendizado Profundo e Aplicações, Descrição: Entre os mais significativos avanços na área de Inteligência Artificial e Aprendizado de Máquina estão os modelos de aprendizado profundo. Em essência, esses modelos são redes neurais com múltiplas camadas que buscam aprender representações de dados que as permitam realizar adequadamente suas tarefas, dispensando a necessidade de especialistas humanos para escolher tais representações.Em geral, os modelos de aprendizado profundo têm apresentado desempenho superior aos modelos do estado da arte em diversas tarefas tais como reconhecimento de imagens e processamento de linguagem natural. Assim sendo, este projeto tem como objetivos desenvolver, aplicar e avaliar modelos de aprendizado profundo na solução de problemas relevantes de interesse dual (civil e militar) em áreas como segurança da informação, educação e defesa cibernética. Como exemplos de problemas dessa natureza estão: reconhecimento de usuários baseado na dinâmica da digitação, detecção de bots sociais, identificação de malwares por meio da análise do tráfego de redes de computadores, detecção de Fake News, predição de evasão escolar e de cancelamento de serviços, identificação de imagens contraditórias, dentre outros.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (7) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Alex de Vasconcellos Garcia - Integrante / Ronaldo Goldschmidt - Coordenador / Gabriel Resende Machado - Integrante / Eduardo Bezerra da Silva - Integrante / Paulo Alves Braz - Integrante / Samir Ramos - Integrante / Sarah Machado Veldhuis - Integrante / Eugenio Silva - Integrante / Karla Figueiredo - Integrante.
2005 - 2006

Extensão de Banco de Dados de Simulações WAMIT, Descrição: Extensão de Banco de Dados de Simulações para o Centro de Pesquisas da Petrobras (CENPES). , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Alex de Vasconcellos Garcia - Coordenador / Marcelo Loutfi - Integrante., Financiador(es): Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro.
2003 - 2004

Sistema de Banco de Dados de Simulações WAMIT, Descrição: Sistema de Banco de Dados de Simulações Wamit desenvolvido pela Fundação Ricardo Franco para a PETROBRAS S/A. O sistema envolve a modelagem dos dados utilizados e gerados por simulações executadas pelo programa WAMIT. Estas simulações representam o comportamento de embarcações em condições de ondas, considerando o seu carregamento e algumas outras variáveis complementares. As informações, destas simulações, são compostas pelos dados de entrada para o programa WAMIT bem como o resultado de seu processamento.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Alex de Vasconcellos Garcia - Coordenador., Financiador(es): Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro.
2000 - 2002

MEFIA: Mathematical and Engeneering Foundations for Interoperability via Architecture (CNPQ-NSF), Descrição: Objetiva o desenvolvimento de fundamentos matemáticos para integrar e interoperar de forma coerente e rigorosa diversos componentes, de sistemas orientados a objetos distribuídos. Baseando-se em tais fundamentos, desenvolver uma metodologia para o projeto, desenvolvimento e evolução de sistemas que suporte uma integração transparente de descrições informais e formais de sistemas e torne explícito as restrições que as diferentes visões que os componentes se impõem mutuamente. O desenvolvimento da fundamentação matemática terá seu início com o estudo de uma ampla gama de notações e formalismos, dentre aqueles que se mostram promissores a descrição de sistemas em diferentes níveis, e seus relacionamentos mútuos. Dentre estes estão incluídos modelos semânticos para concorrência e interação, lógicas de especificação de alta ordem, notação de projeto, cálculo de objetos e linguagens de especificação executáveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) . , Integrantes: Alex de Vasconcellos Garcia - Integrante / Peter Mosses - Integrante / Armando Haeberer - Integrante / Tom Maibaum - Integrante / José Luiz Lopes Fiadeiro - Integrante / José Meseguer - Integrante / Alfio Martini - Integrante / Carolyn Talcott - Integrante / Eduard Haeusler - Coordenador / Paulo Blauth Menezes - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / National Science Foundation - Cooperação.

Prêmios

2024

Cavaleiro da Ordem do Mérito Militar, Exército Brasileiro (Boletim do Exercito 14-2024).

2023

Melhor artigo, área "Special Sessions on Data Science and Industry 4.0", do XVI Congresso Brasileiro de Inteligência Computacional., SBIC - Sociedade Brasileira de Inteligência Computacional.

2008

Medalha do Pacificador, Exército Brasileiro (BI142-2008).

2003

IBM Certified Specialist, IBM -- Credential ID F1367759_49 (JAVA WSAD).

1994

Bolsa de Pesquisador Visitante "C", FAPERJ.

1994

Aprovado em Concurso Público, UFF.

1994

Aprovado em Concurso Público (1o colocado), IME.

Histórico profissional

Endereço profissional

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

Experiência profissional

2015 - Atual

Instituto Militar de Engenharia

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

2000 - 2015

Instituto Militar de Engenharia

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

1994 - 2000

Instituto Militar de Engenharia

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

Outras informações:
Professor Associado 2

1994 - 1994

Instituto Militar de Engenharia

Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante C FAPERJ

Outras informações:
Pesquisador Visitante C IME (bolsa da FAPERJ) de 01 de fevereiro de 1994 a 31 de julho de 1994. Desenvolveu interface com o usuário em Visual Fox Pro para sistema de programação em linguagem natural, supervisionado pelo Prof. Emmanuel Passos.

Atividades

01/2024
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2024.1), Teoria da Computação (2024.2)
01/2024
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2024.1), Lógica e Complexidade (2024.2)
03/2025 - 07/2025
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos
03/2025 - 07/2025
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos
03/2025 - 04/2025
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Exame de Pagamento BI.
08/2024 - 12/2024
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Lógica e Complexidade
07/2024 - 11/2024
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Teoria da Computação
08/2024 - 08/2024
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Presidente da Comissão de Sindicância Portaria No 4/SEÇ PES CIV, de 26 JUL 24, NUP: 64613.011817/2024-63..
08/2024 - 08/2024
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Exame de Pagamento BI 149/2024.
07/2024 - 08/2024
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Exame de Pagamento BI 124/2024.
01/2023 - 12/2023
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2023.1), Teoria da Computação (2023.2)
01/2023 - 12/2023
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2023,1), em conjunto com o Professor Marcos Veloso
09/2017 - 10/2023
Direção e administração, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Chefe de Linha de Pesquisa de "Sistemas e Computação" (BI179-2017)(BI051-2021).
08/2022 - 12/2022
Serviços técnicos especializados , Secao de Matematica e Engenharia de Sistemas.Serviço realizado, Tutor do aluno BERNARD REZNIK durante intercâmbio na TexasTech University de 20 AGO 22 a 23 DEZ 22. (BI182-2022).
08/2022 - 12/2022
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Designado para compor o Grupo de Trabalho, visando a verificação da Planilha de Atividades Docente e os respectivos documentos comprobatórios (BI157-2022).
01/2022 - 12/2022
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2022.1), Teoria da Computação (2022.2)
01/2022 - 12/2022
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2022.1), em conjunto com o Professor Marcos Veloso
11/2022 - 11/2022
Serviços técnicos especializados , Secao de Matematica e Engenharia de Sistemas.Serviço realizado, Responsável pela instauração da PPRP conforme Portaria n 002/PPRP, de 1 NOV 22.
07/2022 - 07/2022
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Membro da equipe de Exame de Pagamento (BI128-2022).
02/2022 - 06/2022
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de exame para avaliação de candidatos no processo seletivo de militares da ativa do Exército Brasileiro (NCE 2023) pretendentes à matrícula em curso de mestrado do PPGSC (BI041-2022).
02/2021 - 12/2021
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Exame para Avaliação de Candidatos para o processo seletivo do Programa de Pós-Graduação em Sistemas e Computação - PPGSC (BI051-2021).
01/2021 - 12/2021
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2021.1), Teoria da Computação (2021.2)
01/2021 - 12/2021
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2021.1), em conjunto com o Professor Marcos Veloso
01/2020 - 12/2020
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2020.1)
01/2020 - 12/2020
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2020.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2020.3), em conjunto com o Professor Marcos Veloso
03/2019 - 12/2019
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Exame para Avaliação de Candidatos para o processo seletivo do Programa de Pós-Graduação em Sistemas e Computação - PPGSC (BI060-2019)(BI107-2019).
01/2019 - 12/2019
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Introdução à Computação (2019.1), Linguagens Formais e Autômatos (2019.1)
01/2019 - 12/2019
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2019.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2019.2), em conjunto com o Professor Marcos Veloso
06/2018 - 12/2019
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Designado para compor o Núcleo Docente Estruturante (NDE) da Engenharia de Computação (BI107-2018).
06/2018 - 12/2018
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Exame para Avaliação de Candidatos para o processo seletivo do Programa de Pós-Graduação em Sistemas e Computação - PPGSC (BI116-2018).
01/2018 - 12/2018
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Introdução à Computação (2018.1), Linguagens Formais e Autômatos (2018.1), Matemática Avançada para Computação (2018.2), em conjunto com o Prof Marcos Santos
01/2018 - 12/2018
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2018.1), em conjunto com o Professor Marcos Veloso, Lógica e Complexidade (2018.2)
09/2018 - 09/2018
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Coordenação/Organização, Aplicação e Fiscalização de Provas no Concurso de Admissão ao CA/CFG do Instituto Militar de Engenharia (IME) 2018/2019 (BI190-2018).
01/2017 - 12/2017
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Introdução à Computação (2017.1), Linguagens Formais e Autômatos (2017.1), Matemática Avançada para a Computação (2017.2), em conjunto com o Professor Marcos Santos
01/2017 - 12/2017
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2017.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2017.3), em conjunto com o Professor Marcos Veloso, Lógica e Complexidade (2017.3)
01/2015 - 12/2017
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Membro do Núcleo Docente Estruturante (BI189-2015)(BI226-2016).
08/2017 - 08/2017
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Coordenação/Organização e Fiscalização de Provas do Concurso do Colégio Militar do Rio de Janeiro (CMRJ) 2017/2018 (BI166-2017).
05/2017 - 05/2017
Serviços técnicos especializados , Secao de Matematica e Engenharia de Sistemas.Serviço realizado, Responsável pela instauração da PPRP conforme Portaria No 001/PPRP, de 11 de maio de 2017.
01/2016 - 12/2016
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Empreendedorismo (2016.2) -- IME/FGV, ministrado por um grupo de 8 professores (BI111-2017), Linguagens de Programação (2016.1), Matemática Avançada para Computação (2016.2), Matemática Discreta (2016.1), em conjunto com os Professores Veloso e Xexeo
01/2016 - 12/2016
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2016.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2016.3), em conjunto com o Professor Marcos Veloso
11/2015 - 11/2016
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Membro da Banca Examinadora para Avaliação de Docentes (BI211-2015)_.
10/2016 - 10/2016
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, a Comissão de Coordenação/Organização e Fiscalização de Provas no Concurso de Admissão ao CA/CFG do Instituto Militar de Engenharia (IME) 2016/2017 (BI185-2016).
09/2016 - 09/2016
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Comissão de Coordenação/Organização e Fiscalização de Provas do Concurso do Colégio Militar do Rio de Janeiro (BI171-2016).
09/2016 - 09/2016
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Coordenação/organização e fiscalização de provas do Concurso da Escola Preparatória de Cadetes do Exército (EsPCEx) (BI162-2016).
01/2015 - 12/2015
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2015.1), em conjunto com os Professores Veloso e Xexeo, Introdução à Computação (2015.1), Matemática Avançada para Computação (2015.2)
01/2015 - 12/2015
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Lógica e Complexidade (2015.3), Aspectos Formais da Computação (2015.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2015.2), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2015.3), em conjunto com o Professor Marcos Veloso
10/2015 - 10/2015
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Integrante de comissão de exame de pagamento (BI174-2015).
01/2014 - 12/2014
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2014.1), em conjunto com os Professores Veloso e Xexeo, Linguagens de Programação (2014.1), Matemática Avançada para Computação (2014.2)
01/2014 - 12/2014
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2014.3), em conjunto com o Professor Marcos Veloso
07/2014 - 07/2014
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Integrante de comissão de exame de pagamento (BI114-2014).
01/2013 - 12/2013
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2013.1), em conjunto com os Professores Veloso e Xexeo, Linguagens de Programação (2013.1), Compiladores (2013.2), Matemática Avançada para Computação (2013.2)
01/2013 - 12/2013
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2013.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2013.3), em conjunto com o Professor Marcos Veloso
01/2012 - 12/2012
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2012.1), em conjunto com os Professores Veloso e Xexeo, Linguagens de Programação (2012.1), Compiladores (2012.2), Matemática Avançada para Computação (2012.2)
01/2012 - 12/2012
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2012.2), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2012.3), em conjunto com o Professor Marcos Veloso
01/2011 - 12/2011
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores (2011.2), Linguagens de Programação (2011.1), Matemática Avançada para Computação (2011.2), Matemática Discreta (2011.1), em conjunto com os Professores Veloso e Xexeo
01/2011 - 12/2011
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2011.1), em conjunto com o Professor Marcos Veloso
05/2011 - 05/2011
Serviços técnicos especializados , Secao de Matematica e Engenharia de Sistemas.Serviço realizado, Responsável pela instauração da PPRP conforme Portaria Nr 002/PPRP, de 05 MAIO 11.
01/2010 - 12/2010
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2010.1), Linguagens de Programação (2010.1), Compiladores (2010.2)
01/2010 - 12/2010
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores (2010.2), Linguagens de Programação (2010.1), Matemática Avançada para Computação (2010.2), Matemática Discreta (2010.1), em conjunto com os professores Veloso e Xexeo
01/2010 - 12/2010
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2010.1), em conjunto com o Professor Marcos Veloso, Aspectos Formais da Computação (2010.3), em conjunto com o Professor Marcos Veloso
08/2010 - 08/2010
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Integrante de comissão de exame de pagamento (BI133-2010).
10/1999 - 02/2010
Pesquisa e desenvolvimento, Secao de Matematica e Engenharia de Sistemas.Linhas de pesquisa
01/2009 - 12/2009
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2009.1), Compiladores (2009.2)
01/2009 - 12/2009
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2009.1), Aspectos Formais da Computação (2009.3), em conjunto com o Professor Marcos Veloso
01/2009 - 05/2009
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Membro da Comissão Própria de Avaliação - CPA (suplente).
03/2008 - 12/2008
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Membro participante da CPA. Sendo responsável junto com o prof André Benhur pela dimensão 7 do relatório final..
01/2008 - 12/2008
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2008.1), Linguagens de Programação (2008.2), Compiladores (2008.2)
01/2008 - 12/2008
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2008.1)
01/2007 - 12/2007
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2007.1), Linguagens de Programação (2007.2), Compiladores (2007.2)
01/2007 - 12/2007
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação (2007.1), Linguistica Computacional Aplicada à Criptologia (2007.2) (com a Profa Claudia Maria Oliveira), Tópicos Especiais em Ciências da Computação I - COMPILADORES (2007.2), Tópicos Avançados em Linguagens de Programação (2007.3)
06/2007 - 06/2007
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Integrante de comissão de exame de pagamento (BI100-2007).
01/2006 - 12/2006
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2006.1), Laboratorio de Programação III (2006.1), Linguagens de Programação (2006.2), Compiladores (2006.2)
01/2006 - 12/2006
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Tópicos Avançados em Linguagens de Programação (2006.3)
01/2005 - 12/2005
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos (2005.1), Laboratório de Programação III (2005.1), Linguagens de Programação (2005.2), Compiladores (2005.2)
01/2005 - 12/2005
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação (2005.2), Tópicos Avançados em Linguagens de Programação (2005.3)
01/2004 - 12/2004
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagnes Formais e Autômatos (2004.1), Linguagens de Programação (2004.2), Compiladores (2004.2)
01/2004 - 12/2004
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação (2004.2), Tópicos Avançados em Linguagens de Programação (2004.2)
08/2003 - 12/2003
Conselhos, Comissões e Consultoria, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Membro da Comissão de exame e seleção de pós-graduação (adt 41 BI de 12 ago 03).
01/2003 - 12/2003
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Laboratório de Programação III (2003.1), Linguagens Formais e Autômatos (2003.1), Linguagens de Programação (2003.2), Compiladores (2003.2)
01/2003 - 12/2003
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação (2003.2)
01/2002 - 12/2002
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2002.1), Linguagens Formais e Automatos (2002.1), Laboratorio de Programacao III (2002.1), Linguagens de Programacao (2002.2), Compiladores (2002.2)
01/2001 - 12/2001
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Automatos (2001.1), Laboratorio de Programacao III (2001.1), Linguagens de Programacao (2001.2), Compiladores (2001.2), Logica (2001.2)
01/2001 - 12/2001
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computacao (2001.1), Linguagens de Programacao (2001.2)
01/2000 - 12/2000
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (2000.1), Linguagens de Programação (2000.2), Compiladores (2000.2)
01/2000 - 12/2000
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação (2000.3)
01/1999 - 12/1999
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (1999,1), Linguagens de Programação (1999.2), Compiladores (1999.2)
01/1999 - 12/1999
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação (1999.2)
01/1998 - 12/1998
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores (1998.2), Linguagens de Programação (1998.2)
01/1998 - 12/1998
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação (1998.2)
01/1997 - 12/1997
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta (1997.1), Compiladores (1997.2)
01/1997 - 12/1997
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagnes de Porgramação (1997.1)
01/1996 - 12/1996
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores 1996.2, Linguagens Formais e Automatos 1996.1, Laboratorio de Programação II (1996.2)
01/1996 - 12/1996
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Aspectos Formais da Computação 1996.1
07/1995 - 07/1996
Direção e administração, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Coordenador do Laboratório de Estações de Trabalho do Departamento de Engenharia de Sistemas do IME.
01/1995 - 12/1995
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores (1995.2), LFA (1995.1)
01/1995 - 12/1995
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Linguagens de Programação 1995.2
11/1994 - 07/1995
Direção e administração, Secao de Matematica e Engenharia de Sistemas.Cargo ou função, Coordenador de Graduação do Curso de Engenharia de Computação.
07/1994 - 12/1994
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores (1994.2)
01/1994 - 02/1994
Ensino, Sistemas e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Curso de nivelamento de programação em PASCAL

2002 - 2004

Universidade Gama Filho

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

Outras informações:
Coordenador Acadêmico dos cursos de Desenvolvimento de Software, Redes Computadores e Tecnologia da Informação do ISET Universidade Gama Filho. Responsável pelo reconhecimento do curso junto ao MEC.

Atividades

01/2004 - 12/2004
Ensino, Tecnologia em Desenvolvimento de Websites, Nível: GraduaçãoDisciplinas ministradas, Integração Banco de Dados Web (2004.1), Gerência e Manutenção de Websites (2004.1)
01/2003 - 12/2003
Ensino, Redes de Computadores, Nível: GraduaçãoDisciplinas ministradas, Desenvolvimento de Aplicações na plataforma J2EE (2003.1)
01/2002 - 02/2003
Direção e administração, ISET.Cargo ou função, Coordenador Acadêmico dos cursos de Desenvolvimento de Software, Redes Computadores e Tecnologia da Informação do ISET Universidade Gama Filho de outubro de 2002.1 a 2003.2. Responsável pelo reconhecimento do curso junto ao MEC..
01/2002 - 02/2002
Ensino, Tecnologia em Desenvolvimento de Websites, Nível: GraduaçãoDisciplinas ministradas, Conceitos de Linguagens de Programação (2002.1), Novas Tecnologias em Desenvolvimento de Websistes (2002.2)

2001 - 2004

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

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

Atividades

01/2004 - 06/2004
Ensino, Redes de Computadores, Nível: EspecializaçãoDisciplinas ministradas, TEC 214
01/2003 - 12/2003
Ensino, Redes de Computadores, Nível: EspecializaçãoDisciplinas ministradas, Programação Distribuida (2003.2)
01/2002 - 12/2002
Ensino, Redes de Computadores, Nível: EspecializaçãoDisciplinas ministradas, Programação Distribuída (2002.1)
01/2002 - 12/2002
Ensino, Bacharelado em Informática, Nível: GraduaçãoDisciplinas ministradas, Linguagens e Máquinas (2002.1)
01/2001 - 12/2001
Ensino, Bacharelado em Informática, Nível: GraduaçãoDisciplinas ministradas, Linguagens e Máquinas (2001.1), Linguagens e Máquinas (2001.2)
01/2001 - 12/2001
Ensino, Redes de Computadores, Nível: EspecializaçãoDisciplinas ministradas, Programação Distribuída (2001.1), Programação Distribuída (2001.2)

1992 - 1994

TECSIS - Tecnologia de Sistemas Inteligentes

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

Atividades

04/1992 - 07/1994
Serviços técnicos especializados , Equipe de Desenvolvimento.Serviço realizado, Desenvolvimento de sistema especialista para análise de crédito para pessoa jurídica para o UNIBANCO. Sistema desenvolvido em PATER e PASCAL.; Desenvolvimento de sistema especialista para análise de crédito para pessoa física para a FININVEST. Sistema desenvolvido em PATER e PASCAL.; Análise, projeto e implementação de sistema especialista de análise de crédito para pessoa jurídica para a PETROBRAS. Sistema desenvolvido em ambiente Windows, utilizando NEXPERT, TOOLBOOK e C++. Atuou como líder do projeto.; Participação no desenvolvimento da versão 2.0 do PATER, ambiente para desenvolvimento de sistemas especialistas. Sistema desenvolvido em PASCAL e C.; Participação no desenvolvimento de um sistema especialista de análise de crédito para pessoas físicas para o banco Investcorp. Sistema desenvolvido em ambiente Netware, utilizando PATER para Windows, PowerBuilder e Sybase SQL Server.; Análise, projeto e implementação de um sistema especialista de análise de crédito para pessoas físicas para o banco Econômico. O sistema desenvolvido em PATER, CLIPPER 5.01 e C++. Atuou como líder do projeto.; Análise, projeto e implementação de um sistema para captação de investimentos para a Mesbla Serviços Financeiros.

2002 - 2003

Lumina Computação

Vínculo: Sócio, Enquadramento Funcional: Diretor, Carga horária: 10

Atividades

05/2002 - 11/2003
Serviços técnicos especializados , Equipe de Desenvolvimento.Serviço realizado, Controle de qualidade técnica de diversos projetos na plataforma J2EE, incluindo aspectos de modelagem, codificação e gerenciais, entre eles: sistema de administração de hospitais públicos para o SUS, junto à Tecso Informática, e sistema de portal de saúd; Desenvolvimento para a seguradora Marítima de sistema de emissão de boletos pela Internet. Sistema desenvolvido em Visual Age, rodando no IBM WebSphere Application Server.; Treinamento de profissionais de infraestrutura na utilização do IBM WebSphere Application Server.; Pré-venda técnica.

2005 - 2014

APPI Tecnologia

Vínculo: Celetista, Enquadramento Funcional: Arquiteto de Software, Carga horária: 20

Atividades

01/2005 - 09/2015
Serviços técnicos especializados , Equipe de Desenvolvimento.Serviço realizado, Participação em projeto de subvenção econômica financiado pela FINEP. ; Desenvolvimento em C e C++ de Browser WAP, que roda em diversas plataformas POS (fabricantes: Verifone, Lipman, Ingenico, Hypercom, etc...) e diversos modelos de Telefones Celulares, além de rodar em plataforma PC, sistema desenvolvido em C. ; Desenvolvimento de compilador WmlScript. ; Desenvolvimento de sistema de cartão de crédito para a Prosa (México). ; Desenvolvimento de sistema de cartão de crédito para a Visanet.; Concepção de arquitetura e implementação de um Gateway de transações de pagamento.; Desenvolvimento de solução de pagamentos para clientes como: Zolkin, BR Distribuidora, Redecard, Ipiranga, Cielo e Unimed.
01/2005 - 09/2014
Serviços técnicos especializados , Equipe de Desenvolvimento.Serviço realizado, Consultoria sobre segurança de dados para a Mastercard Internacional. ; Desenvolvimento de especificação de biblioteca compartilhada para uso de Pinpad para a APPI Tecnologia.; Desenvolvimento de Interface Padrão para acesso a Pinpad.