Research interests

• Semantics of concurrent languages
• Petri nets
• Coordination languages and models
• Security

Projects

Papers available online