Students
| Student | Thesis name | Year | Program | Current position | Nationality | |
|---|---|---|---|---|---|---|
| PhD | Eva Maia | On the Descriptional Complexity of Some Operations and Simulations of Regular Models | 2015 | PDCC | Project Manager at VisionSpace Technologies, Lda | Portugal |
| PhD | David Miguel Ramalho Pereira | Towards Certified Program Logics for the Verification of Imperative Programs. | 2012 | MAPI | Researcher at CISTER:Research Center of Real-time & Embedded Computing Systems | Portugal |
| MSc | Rafaela Bastos | Manipulation of Extended Regular Expressions with Derivatives | 2015 | Mestrado em Ciência de Computadores |