Research:
My research interests have evolved from the design and foundations of modular and object-oriented programming languages and systems, to
the area of computer security, along with related topics such as cryptography and, in general, the robustness of computer systems.
So, I have a lot to learn in this new (for me) area, but I'm working hard and I hope to publish some useful contribution, sooner or later ;-)
I am currently a member of the following research programs:
|