Research Areas:
- 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