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