Área do cabeçalho
gov.br
Portal da UFC Acesso a informação da UFC Ouvidoria Conteúdo disponível em: Português

Universidade Federal do Ceará
Ciência da Computação

Área do conteúdo

23. 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.

E-mail: pablo@dc.ufc.br

Acessar página externa

Acessar Ir para o topo