Mission: modelling, analysis, formal verification and deployment of distributed systems

Research interests

Our major research interests concern 

  • Modelling and analysis of business processes and service-oriented applications
  • Methods and languages for complex systems 
  • Analysis, verification, testing of distributed systems