Vitor Cavalcanti Dantas

Bacharel em Ciência da Computação pela Universidade Federal de Pernambuco - UFPE (2005) e Mestre em Informática pela Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio (2009), com ênfase no desenvolvimento de algoritmos para problemas de otimização combinatória.

Informações coletadas do Lattes em 30/10/2022

Acadêmico

Formação acadêmica

Mestrado em Informática

2007 - 2009

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Algoritmos para Problemas de Programação de Horários de Cursos Pós-Matrícula,Ano de Obtenção: 2009
Marcus Vinicius Soledade Poggi de Aragão.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

Graduação em Bacharelado em Ciência da Computação

2001 - 2005

Universidade Federal de Pernambuco
Título: Integrando Aprendizagem por Reforço e Aprendizagem Supervisionada
Orientador: Geber Lisboa Ramalho

Idiomas

Inglês

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

Português

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

Francês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

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

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

Participação em eventos

8th Latin American Theoretical Informatics (LATIN 2008). 2008. (Simpósio).

IX Brazilian Symposium on GeoInformatics (Geoinfo 2007).Coverage Representation in TerraLib. 2007. (Simpósio).

V Brazilian Symposium on computer games and digital entertainment (SBGAMES 2006). 2006. (Simpósio).

10th Brazilian Symposium on Computer Music (SBCM?05).Funchal: a System for Automatic Functional Harmonic Analysis. 2005. (Simpósio).

Produções bibliográficas

DANTAS, Vitor ; METELLO, Marcelo G. ; LEMOS, Melissa ; CASANOVA, Marco A. . Coverage Representation in TerraLib. In: IX Brazilian Symposium on GeoInformatics (Geoinfo 2007), 2007, Campos do Jordão, SP, Brasil. Proceedings of the IX Brazilian Symposium on GeoInformatics (Geoinfo 2007), 2007. p. 245-250.
SCHOLZ, R. ; DANTAS, V. ; RAMALHO, G. . Automating Functional Harmonic Analysis: The Funchal System. In: Seventh IEEE International Symposium on Multimedia (ISM'05), 2005, Irvine. Seventh IEEE International Symposium on Multimedia (ISM'05). p. 759-764.
SCHOLZ, Ricardo ; DANTAS, Vitor ; RAMALHO, G. L. . Funchal: a System for Automatic Functional Harmonic Analysis. In: 10th Brazilian Symposium on Computer Music (SBCM?05), 2005, Belo Horizonte, MG, Brasil. Proceedings of the 10th Brazilian Symposium on Computer Music (SBCM?05), 2005. p. 287-290.

Histórico profissional

Experiência profissional

2012 - Atual

Tribunal de Contas da União

Vínculo: Servidor Público, Enquadramento Funcional: Auditor Federal de Controle Externo, Carga horária: 35

2009 - 2012

Agência Nacional de Aviação Civil

Vínculo: Servidor Público, Enquadramento Funcional: Analista Administrativo - TI, Carga horária: 40

2009 - 2009

Serviço Federal de Processamento de Dados

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 40

2007 - 2008

Tecgraf / PUC-Rio

Vínculo: Bolsista, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 20

Outras informações:
Especificação e implementação de uma nova classe de representações geográficas na TerraLib, uma biblioteca C++ de código aberto para Sistemas de Informação Geográfica (SIG). Desenvolvimento do Java Terralib Development Kit (TDK), um framework em Java de código aberto para SIG.

2005 - 2006

Meantime Mobile Creations / CESAR

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

Outras informações:
Desenvolvimento de cinco jogos para dispositivos móveis em Java (plataforma J2ME) e C/C++ (plataforma BREW) distribuídos para o Brasil e Europa. Envolvido no projeto, codificação e porting para dispositivos de diversos fabricantes. Envolvido na otimização de performance e uso de memória. Desenvolvimento de ferramentas em Java (J2SE) para redução de tamanho de arquivos de recursos e para redução tempo de carregamento de recursos. Liderança técnica em dois projetos de pequeno porte.

2004 - 2005

Meantime Mobile Creations / CESAR

Vínculo: Estagiário, Enquadramento Funcional: Estagiário em Engenharia de Software, Carga horária: 30

Outras informações:
Desenvolvimento de três jogos para dispositivos móveis em Java (plataforma J2ME), distribuídos para o Brasil e Europa. Envolvido na codificação, testes e porting para dispositivos de diversos fabricantes.

2004 - 2004

Universidade Federal de Pernambuco

Vínculo: Voluntário, Enquadramento Funcional: Aluno de Iniciação Científica, Carga horária: 10

Outras informações:
Participação no desenvolvimento de sistema de processamento de linguagem natural. Responsável por componente de realização sintática baseado em XML e XSLT. Orientador: Jacques Pierre Louis Robin.

2001 - 2002

ISAE Recife / Fundação Getúlio Vargas

Vínculo: Estagiário, Enquadramento Funcional: Estagiário em Programação, Carga horária: 20

Outras informações:
Desenvolvimento de sistema para gerenciamento de entrega de material escolar em escolas públicas desenvolvido em Autoprogram sobre banco de dados PostgreSQL.