|MSc in Mathematics
PhD in Computer Science
Phone: 952 13 27 97
Campus de Teatinos s/n mailto:email@example.com
Aspects of Imperative Programming
Static and Dynamic
|I am currently working
on the application
of abstraction techniques to improve Model Checking.
I have also some papers related to Active networks.
- 9th International Workshop on
Formal Methods for Industrial Critical Systems, FMICS'04
We are currently
developing a tool
to implement our theoretical proposals.
Current and future version of the tool may be found at the page aSPIN project.