Divino César Soares Lucas

Aluno de mestrado em computação na Universidade Estadual de Campinas - UNICAMP. Graduado em Ciência da Computação pela PUC-GO, com ênfase em matemática computacional. Tenho experiência em pesquisa nas áreas de Compiladores, Arquitetura de Computadores e Computação Paralela.

Informações coletadas do Lattes em 31/07/2024

Acadêmico

Formação acadêmica

Mestrado em andamento em Ciência da Computação

2011 - Atual

Universidade Estadual de Campinas
Orientador: Guido Costa Souza de Araújo

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

2006 - Atual

Pontifícia Universidade Católica de Goiás
Orientador: Augusto Silva
Bolsista do(a): Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.

Formação complementar

2010 - 2010

Extensão universitária em Summer School on Multicore Programing. (Carga horária: 40h). , University of Illinois at Urbana-Champaign.

2007 - 2010

Inglês. (Carga horária: 160h). , Centro Cultural Brasil Estados Unidos.

2006 - 2006

Linguagem de Programação Java. (Carga horária: 40h). , Agrosol.

2003 - 2003

Lógica de Programação. (Carga horária: 40h). , Serviço Nacional de Aprendizagem Comercial.

2003 - 2003

Web Developer. (Carga horária: 120h). , Serviço Nacional de Aprendizagem Comercial.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Bandeira representando o idioma Francês

Lê Pouco, Escreve Pouco.

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computaçã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: Algoritmos Paralelos.

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.

Participação em eventos

Congresso de Pesquisa, Ensino e Extensão. Programação em CUDA. 2010. (Congresso).

Fórum Internacional de Software Livre. 2009. (Congresso).

Escola Regional de Informática - ERICO II. Computação de Alto Desempenho Utilizando Placas Gráficas. 2009. (Congresso).

VI Semana de Ciência e Tecnologia da PUC Goiás.Placas GP-GPU. 2009. (Encontro).

Simpósio Goiâno de Software Livre. 2008. (Simpósio).

Congresso Anual da Sociedade Brasileira de Computação. 2007. (Congresso).

Produções bibliográficas

  • MARTINS, W. S. ; LUCAS, D. C. S. ; SOUZA, K. F. . WebSat - A web software for microsatellite marker development. Bioinformation , v. 3, p. 9, 2009.

  • MOREIRA, J. ; LUCAS, D. C. S. ; ARAUJO, G. C. S. ; BORIN, E. ; RIGO, S. . Asynchronous Program Flow Verification Through Binary Instrumentation on QEMU. In: International Symposium on Computer Architecture, 2012, Oregon, Portland. 5th Workshop on Architectural and Microarchitectural Support for Binary Translation, 2012.

  • MARTINS, W. S. ; RANGEL, T. F. L. V. B. ; LUCAS, D. C. S. ; FERREIRA, E. B. ; CACERES, E. N. . Phylogenetic distance computation using CUDA. In: Brazilian Symposium on Bioinformatics, 2012, Campo Grande. Advances in Bioinformatics and Computational Biology, 2012. v. 7409. p. 168-178.

  • LUCAS, D. C. S. ; ARAUJO, G. C. S. ; BORIN, E. . Exploring Dynamic Program Behavior with Frames and Phases. In: Workshop em Computação de Alto Desempenho, 2012, Petrópolis. Journal Concurrency and Computation: Practice and Experience, 2012.

  • LUCAS, D. C. S. ; DALIBERA, R. ; AULER, R. ; RIGO, S. ; BORIN, E. ; ARAUJO, G. C. S. . Hotness Misprediction Overhead on Virtual Machines. In: International Symposium on Code Generation and Optimization, 2012, San Jose. Workshop on Infrastructures for Software/Hardware co-design, 2012.

  • LUCAS, D. C. S. ; MARTINS, W. S. . Construção de Árvores Filogenéticas Utilizando GP-GPU. 2010. (Apresentação de Trabalho/Congresso).

  • LUCAS, D. C. S. . Computação de Alto Desempenho Utilizando Placas Gráficas. 2008. (Apresentação de Trabalho/Conferência ou palestra).

  • MARTINS, W. S. ; LUCAS, D. C. S. ; SOUZA, K. F. . WebSat - A Tool for finding molecular markers. 2008. (Apresentação de Trabalho/Comunicação).

Outras produções

MARTINS, W. S. ; LUCAS, D. C. S. ; SOUZA, K. F. . WebSat - A Tool for finding molecular markers. 2008.

MARTINS, W. S. ; LUCAS, D. C. S. . Programação em CUDA. 2010. (Curso de curta duração ministrado/Outra).

Prêmios

2010

Certificado de Mérito - Maratona de Programação, ACM-ICPC.

2009

Certificado de Mérito - Maratona de Programação, ACM-ICPC.

2008

Certificado de Merito - Maratona de Programação, ACM-ICPC.

Histórico profissional

Experiência profissional

2008 - 2009

Universidade Federal de Goiás

Vínculo: Colaborador, Enquadramento Funcional: Colaborador

Outras informações:
Colaborador do grupo de Recuperação de Informações.

2007 - 2007

Pontifícia Universidade Católica de Goiás

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

Outras informações:
Densenvolvendo atividades de monitoria das disciplinas de Introduçao a Ciencia da Computaçao I e II.

2006 - 2011

Federação das Indústrias do Estado de Goiás

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

2005 - 2006

Web do Brasil

Vínculo: Funcional, Enquadramento Funcional: Efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento em Java.

2004 - 2005

Raddar Online

Vínculo: Funcional, Enquadramento Funcional: Efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Desenvolvimento de Sites em ASP/PHP.

2004 - 2004

Logic Site

Vínculo: Funcional, Enquadramento Funcional: Estagiário, Carga horária: 44