David Batista Carvalho
Bacharel em Ciência da Computação pela Universidade Federal do Piauí (2009), mestre em Ciência da Computação pela Universidade Federal Fluminense (2012) e doutor em Ciência da Computação pela Universidade Federal Fluminense (2017). Desenvolveu pesquisas nas áreas de storytelling, geração automática de histórias por simulação, planejamento automático e raciocínio. Atou como pesquisador no Instituto SENAI de Inovação em Sistemas Virtuais de Produção (ISI-SVP) onde desenvolveu softwares para a indústria brasileira e como Engenheiro de Software na Amazon onde trabalhou principalmente com o design, desenvolvimento e manutenção de serviços responsáveis pelo fluxo de dados contábil.
Informações coletadas do Lattes em 01/02/2026
Acadêmico
Formação acadêmica
Doutorado em Computação
2012 - 2017
Universidade Federal Fluminense
Título: Comportamento Social de Personagens na Geração de Estórias por Computador
, Ano de obtenção: 2017. Esteban Walter Gonzalez Clua. Coorientador: Aline Marins Paes Carvalho. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Storytelling; Criatividade Computacional; Teoria da Mente; Comportamento Social; Planejamento Social; Raciocínio abdutivo. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
Mestrado em Ciência da Computação
2010 - 2012
Universidade Federal Fluminense
Título: Planejamento com Simulação de Percepções e Geração de Ruídos Dinâmicos para Storytelling Emergente
, Ano de Obtenção: 2012.Esteban Walter Gonzalez Clua.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Storytelling; Percepção; Erro; Personagens; Geração de Histórias; Ponto de Vista. Grande área: Ciências Exatas e da Terra
Graduação em Bacharelado em Ciências da Computação
2006 - 2009
Universidade Federal do Piauí
Título: Implementação do Simulated Annealing em CUDA Aplicado ao Problema do Caixeiro Viajante
Orientador: Flávio Ferry de Oliveira Moreira
Formação complementar
2008 - 2008
Programação para Playstation 3. (Carga horária: 16h). , Universidade Federal do Piauí, UFPI, Brasil.
2008 - 2008
Introdução à programação gráfica com OpenGL. (Carga horária: 16h). , Universidade Federal do Piauí, UFPI, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
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: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Participação em eventos
2016 IEEE Conference on Computational Intelligence and Games (CIG). Planning Social Actions Through the Other's Eyes for Emergent Storytelling. 2016. (Congresso).
2015 IEEE Conference on Computational Intelligence and Games (CIG). Perception Simulation in Social Planning for Emergent Storytelling. 2015. (Congresso).
8th International Conference on Interactive Digital Storytelling. 2015. (Congresso).
3º Encontro Nacional de Engenharia Biomecânica.Análise de Características de Imagens Térmicas para o Diagnóstico de Câncer de Mama. 2011. (Encontro).
I Semana Acadêmica de Ciência da Computação. 2008. (Encontro).
Produções bibliográficas
-
CARVALHO, DAVID B. ; CLUA, ESTEBAN G. ; POZZER, CESAR T. ; PASSOS, ERICK B. ; PAES, ALINE . Simulated Perceptions for Emergent Storytelling. Computational Intelligence , v. n/a, p. n/a-n/a, 2016.
-
CARVALHO, DAVID B. ; CLUA, ESTEBAN G. ; PAES, ALINE . Planning social actions through the others' eyes for emergent storytelling. In: 2016 IEEE Conference on Computational Intelligence and Games (CIG), 2016, Santorini. 2016 IEEE Conference on Computational Intelligence and Games (CIG). p. 1-8.
-
CARVALHO, DAVID B. ; CLUA, ESTEBAN G. ; PAES, ALINE . Perception simulation in social planning for emergent storytelling. In: 2015 IEEE Conference on Computational Intelligence and Games (CIG), 2015, Tainan. 2015 IEEE Conference on Computational Intelligence and Games (CIG), 2015. p. 75-82.
-
B. CARVALHO, DAVID ; G. CLUA, ESTEBAN ; B. PASSOS, ERICK ; T. POZZER, CESAR . A Perception Simulation Architecture for Plot Generation of Emergent Storytelling. In: Annual International Conference on Computer Games, Multimedia and Allied Technology, 2012. 2nd Annual International Conference on Computer Games, Multimedia and Allied Technology (CGAT 2012). v. 10.
-
MACHADO, A. ; CARVALHO, D. B. ; CLUA, E. W. G. ; DUARTE, C. G. ; MONTANARI, M. V. ; REIS, W. M. P. . An Architecture Based on M5P Algorithm for Multiagent Systems. In: VIII Encontro Nacional de Inteligência Artificial, 2011, Natal. Proceedings of the VIII Encontro Nacional de Inteligência Artificial. Porto Alegre: Sociedade Brasileira de Computação, 2011. p. 110-118.
-
CARVALHO, D. B. ; OLIVEIRA, F. G. ; CLUA, E. W. G. ; REBELLO, V. E. F. ; CONCI, A. ; LIMA, R. A. . Análise de Características de Imagens Térmicas para o Diagnóstico de Câncer de Mama. In: 3º Encontro Nacional de Engenharia Biomecânica, 2011, Foz do Iguaçu. Anais do III Encontro Nacional de Engenharia Biomecânica. Curitiba: ABCM, 2011. p. 199-200.
Outras produções
CARVALHO, D. B. . Revisor do XXV International Conference on Software Engineering and Knowledge Engineering (SEKE 2013). 2013.
Projetos de pesquisa
-
2008 - 2009
Levantamento sobre as práticas de Engenharia de Software utilizadas em organizações piauienses, Descrição: Levantamento bibliográfico, criação e aplicação de um questionário sobre as principais práticas da Engenharia de Software nas empresas do estado do Piauí,. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: David Batista Carvalho - Coordenador., Financiador(es): Universidade Federal do Piauí - Bolsa.
Histórico profissional
Endereço profissional
-
SENAI - Departamento Regional do Rio de Janeiro, Instituto SENAI de Inovação em Sistemas Virtuais de Produção. , Praça Natividade Saldanha 19, Benfica, 20911210 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 27377873
Experiência profissional
2018 - 2021
Instituto SENAI de Inovação em Sistemas Virtuais de ProduçãoVínculo: Celetista, Enquadramento Funcional: Pesquisador, Carga horária: 40
Outras informações:
Pesquisador e Líder Técnico em projetos: Monitoramento on-line de processos produtivos de uma unidade siderúrgica, Plataforma de automatização de criação de livros digitais, Instruct+ (edição de fluxos de trabalho em Realidade Aumentada). Programação de criptografia no projeto Valendo em Unity 3D.
2017 - 2018
Centro de Análises de Sistemas NavaisVínculo: Celetista, Enquadramento Funcional: Analista, Carga horária: 32
Outras informações:
Programação de simulador de periscópio, e programação de protótipo de simulador de paraquedas, ambos em Unity 3D
2016 - 2017
Laboratório de Metrologia Dimensional e ComputacionalVínculo: Bolsista, Enquadramento Funcional: Analista/Programador, Carga horária: 20
Outras informações:
Programação de sistemas para um projeto de visualização tridimensional para CENPES/PETROBRAS.
2010 - 2011
Laboratório de Metrologia Dimensional e ComputacionalVínculo: Bolsista, Enquadramento Funcional: Analista/Programador, Carga horária: 20
Outras informações:
Programação de sistemas para um projeto de visualização tridimensional para CENPES/PETROBRAS.
2007 - 2008
Universidade Federal do PiauíVínculo: Bolsista, Enquadramento Funcional: Técnico em manutenção, Carga horária: 16
Outras informações:
Atuação no setor de manutenção do NPD da Universidade Federal do Piauí
2021 - 2023
AMAZONVínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Design, desenvolvimento e manutenção de serviços em AWS responsáveis pelo fluxo contábil.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de David Batista Carvalho e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?