Pablo Mayckon Silva Farias

[Versão em Português] – [Version in English]

Permanent Professor – Computer Science Department – Federal University of Ceará (UFC) Doctor, Master and Bachelor in Computer Science from UFC – Curriculum Vitae ACTIVITIES: [ Research | Teaching | Career and Administration ] Contact information Last update on this page: 2019-08-19 (please report any mistake to me).

Research Activities

My published papers are listed at ORCID, and most are freely available at arXiv (same contents as the journal version, only a different typesetting).

My lines of research have been on:

• Deductive Program Verification

  My current research interests are on Deductive Program Verification, and I teach some courses using tools as Coq, Dafny and Frama-C.

  Feel free to talk to me if you are interested!

• Combinatorial Optimization

  During my doctorate I worked on Combinatorial Optimization, and I have a passion for the development of efficient algorithms and data structures, for example via Dynamic Programming and Amortized Analysis. For an example, see this paper.

Contact Information

@
✆	+55 85 3366 9841
✉	Pablo Mayckon Silva Farias Universidade Federal do Ceará Departamento de Computação Campus do Pici, bloco 910 60440-900 Fortaleza CE Brazil.