Davi Romero de Vasconcelos

Possui graduação em Ciência da Computação pela Universidade Federal do Ceará (2000), mestrado em Informática pela Pontifícia Universidade Católica - Rio de Janeiro (2003) e doutorado em Informática pela Pontifícia Universidade Católica - Rio de Janeiro (2007). Atualmente é Professor Associado da Universidade Federal do Ceará. Foi tutor do Programa de Educação Tutorial (PET-UFC) do Curso de Sistemas de Informação. Foi Coordenador do Curso de Sistemas de Informação da UFC (2007-2009) em Quixadá e foi Coordenador de Programas Acadêmicos e Vice-Diretor do Campus da UFC em Quixadá (2009-2011) e Diretor do Campus da UFC em Quixadá (2011-2019). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: verificação de modelos, lógicas para jogos, lógica modal de primeira ordem e teoria dos jogos. É professor permanente do Programa de Pós-Graduação em Computação do Campus de Quixadá. Atualmente coordena o Projeto Governos Digital do Estado do Ceará.

graduate at Bacharelado em Ciência da Computação from Universidade Federal do Ceará (2000), master's at Informática from Pontifícia Universidade Católica - Rio de Janeiro (2003) and ph.d. at Informática from Pontifícia Universidade Católica - Rio de Janeiro (2007). Has experience in Computer Science, focusing on Theory of Computing, acting on the following subjects: model-checking; game theory; logic; logic for games