Dr. Pablo Mayckon Silva Farias

Atualmente sou Professor Adjunto-A, Nível 1, e Coordenador do Bacharelado em Ciência da Computação do Centro de Ciências da Universidade Federal do Ceará. Possuo graduação, mestrado e doutorado em Ciência da Computação pela mesma instituição. A minha dissertação de mestrado foi um trabalho de síntese sobre as origens da Lógica Matemática e os limites da aplicabilidade desta à formalização da Matemática. A minha tese de doutorado foi um trabalho a respeito de problemas de otimização sobre grafos e sobre sequências de números (problemas relacionados são o "Round Weighting Problem" e o "Maximal Subsequence Sum Problem"). Os meus atuais interesses de pesquisa estão diretamente relacionados ao esforço internacional conhecido como "Verified Software Initiative", cujo objetivo é desenvolver ferramentas práticas e fundamentos teóricos correspondentes para permitir a verificação formal da correção de programas de computador. Eu também tenho interesse particular em ensino e didática.

Ver Currículo Lattes
Acessar página externa