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. Atua como pesquisador no Instituto SENAI de Inovação em Sistemas Virtuais de Produção (ISI-SVP) onde desenvolve softwares para a indústria brasileira.

Has a bachelor's degree in Computer Science from Federal University of Piauí (2009), a master's degree in Computer Science from Federal Fluminense University (2012) and a doctor's degree in Computer Science from Federal Fluminense University (2017). Developed researches in the fields of automated storytelling, automated story generation by simulation and automated planning and reasoning. Currently work as researcher at SENAI Innovation Institute for Virtual Production Systems (ISI-SVP) where develops softwares for the brazilian industry.