overview

• Lukman Bin Ab. Rahim received the Ph.D. degree from Lancaster University, with a project verifying model transformations using model checking. He is currently a Core Researcher at the High-Performance Cloud Computing Centre and a Senior Lecturer in computer and information sciences at Universiti Teknologi PETRONAS (UTP). His current research interests are in formal verification, software and system modelling, and software architecture. His current research is focused, in particular, on adopting model-driven engineering and formal verification in cloud computing. Some of the projects he is presently working on are: 1. using architecture-driven modernization and model-driven engineering in deploying engineering simulation software as a cloud service; 2. formal verification of cloud security mechanisms using model checking; and 3. domain-specific modeling languages for educational games. Apart from these projects, he is also involved in research projects related to system engineering and big data, i.e., real-time cloud platforms, the correlation between scheduling and job workload and energy consumption, and secure data transmission for big data applications.