• Actor-based Modeling
  • Study the foundations of actors and actor theories
  • Design an actor-based language, Rebeca, and provide a model checking tool support
  • Use Rebeca for modeling and verifying different applications
• Coordination Languages
  • Study the coordination models and the differences between component-based and object-oriented design
  • Study the coordination language, Reo, and proposing different formal semantics for Reo
  • Use Reo for modeling and verifying different applications
• Model Checking
  • Study reduction techniques in model checking
  • Developing model checker tools