Projects

I'm the leader of the UNU-IIST Programme on Strategies and Technologies for Education and coordinate all the projects that belong to this programme.

I was the leader of the four UNU-IIST funded research projects

• Formal Modelling and Analysis of Complex Systems (2008-2009)
• Formal Models for Security (2006-2007)
• Formal Analysis of Human Behaviour in Interactive Systems (2006-2007)
• Virtual Libraries (2006-2007)

• Research in the UN (RUN)
  (See the RUN prototype)

My research activity also includes two unfunded project

• Modelling and Analysis of Biological Systems
• Formal Verification of Asynchronous Hardware

• Logic
• Theory of Concurrency
• Model-checking
• Theorem-proving
• Real-time Systems
• Safety-critical Systems