Milestones
David Pereira's PhD
19

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

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