Pesquisa

Professor Pablo Mayckon Silva Farias E-mail para remetentes externos à UFC (exceto Coordenação): MENU: Interesses de Pesquisa Publicações Última atualização desta página: 2019-08-19 (Encontrou um erro? Por favor, me avise).

Interesses de Pesquisa

• Verificação Dedutiva de Programas

  O meu atual interesse de pesquisa está na Verificação Dedutiva de Programas, onde se busca provar formalmente, com auxílio computacional, a corretude de programas de computador. Caso deseje conhecer a área, incluindo suas teorias e ferramentas práticas, veja este trabalho.

  Eu também ministro disciplinas opcionais no assunto, nas quais utilizo ferramentas como Coq, Dafny e Frama-C.

  Caso você tenha interesse nessa área ou outra relacionada, fique à vontade para falar comigo a respeito.

• Otimização Combinatória

  Eu fiz o meu doutorado em Otimização Combinatória, e sou apaixonado pelo desenvolvimento de algoritmos e estruturas de dados eficientes, por exemplo via Programação Dinâmica e Análise Amortizada (exemplo).

• Computação Concorrente

  Eu também tenho formação na bela área da Computação Concorrente, e estou particularmente interessado na verificação de programas concorrentes, embora considere que, na prática, seja importante resolver primeiro o problema da verificação de programas sequenciais.

Publicações

Os meus artigos publicados estão listados no ORCID. Também é possível acessar livremente a maioria deles por meio do arXiv (essencialmente o mesmo conteúdo, mas sem a formatação da editora).

Aqui estão também as minhas Tese de Doutorado e Dissertação de Mestrado.