Research

My research include formal methods and their application to:

• Information Security;
• Asynchronous Hardware;
• Interactive Systems;
• Digital libraries;
• Concurrent and Real-time Systems;
• Embedded Systems;
• Safety-critical Systems.

In particular I'm interested in the following formal languages and notations:

• Petri nets;
• Process Algebras;
• Logic;
• The Z Notation;
• The B Method;
• The RAISE Specification Language.