Projects

I'm the leader of the three funded reasearch projects

• Formal Models for Security
• Formal Analysis of Human Behaviour in Interactive Systems
• Virtual Libraries

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

I'm also involved in the externally funded

• Macao e-Government (eMacao) Project
  (See the eMacao website)

My research activity also includes one unfunded project

• Formal Verificatrion of Asynchronous Hardware

• several interproject topics:
  • Logic
  • Theory of Concurrency
  • Model-checking
  • Theorem-proving
• other related topics:
  • Real-time Systems
  • Embedded Systems
  • Safety-critical Systems