Dr. Pablo Mayckon Silva Farias
Natural de Fortaleza, realizou sua educação superior na Universidade Federal do Ceará (UFC). De 2001 a 2004, cursou Bacharelado em Computação no Centro de Ciências da UFC. De 2005 a 2007, cursou Mestrado em Ciência da Computação, defendendo dissertação sobre as origens e os limites da Lógica Matemática. Concomitantemente, por um período de 2 anos entre 2006 e 2008, foi professor substituto do Departamento de Computação da UFC. De 2009 a 2013, cursou Doutorado em Ciência da Computação, defendendo tese sobre problemas de Otimização Combinatória abordando grafos e sequências numéricas. Desde 2014, é professor efetivo do Departamento de Computação da UFC. De janeiro de 2018 a fevereiro de 2022, exerceu a função de Coordenador do curso de Bacharelado em Ciência da Computação do Centro de Ciências da UFC, posteriormente atuando também como vice-coordenador e presidente do Núcleo Docente Estruturante, e nesse período conduziu o processo de curricularização da extensão que levou ao currículo 2024.1 do curso em questão. Atualmente exerce a função de Chefe do Departamento de Computação, com mandato de 27/08/2024 a 26/08/2026. Para além de sua atuação continuada no ensino e na administração universitária, possui interesse de pesquisa na Verificação Dedutiva de Programas.
E-mail: pablo@dc.ufc.br
