Homepage of David Pereira

Hi there!!! My name is David Miguel Ramalho Pereira, I am 28 year old and I'm currently a PhD student at the MAP-i PhD program, from the universities of Minho, Porto and Aveiro, here in our small Portugal.
I am working on Kleene algebra and temporal logics for the Proof-Carrying-Code code security paradigm. Look at some of my ongoing work in here, and take a look at the RESCUE project.