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.