Research

My research interests include

education and e-learning

as the leader of the UNU-IIST Programme on Strategies and Technologies for Education (Education Programme)

formal methods

and their application to:

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

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

• Petri nets;
• Process Algebras;
• Logic;
• The Z Notation;
• The B Method;