Research Projects:
1. Formal verification of model transformations
2. Transformation from OCL to PVS to formally verify OCL constraints
3. Formal verification of cloud computing infrastructure using model checking
4. Educational games modelling using measurable models
5. Towards Open Source Seismic Data Processing on Parallel System
6. A Virtual Reality Interaction Model for Interactive Genetic Algorithm