Milestones

David Pereira's PhD

UPORTO_positivo_fundoopaco2

David Pereira defended his PhD thesis entitled “Towards Certified Program Logics for the Verification of Imperative Programs” on April, 19 of 2013.

PDF


Marco Almeida's PhD

UPORTO_positivo_fundoopaco2

Marco Almeida defended his PhD thesis entitled “Equivalence of Regular Languages: An Algorithmic Approach and Complexity Analysis on April, 15 of 2011.