Research Supervision
PhD students (ongoing):
Chowdhury Shahriar Muzammel. Cultural Aspects Of Requirements Engineering (RMIT)
Hanin Aloufi. Improving Feedback for Computing Students by Analysing Perceptions (RMIT)
Shruthi Ravikumar. Abstract Reasoning Assessment Framework (ARAF) for Novice Programmers (RMIT)
Nasser Alzahrani. Secure Authenticated Data Structures in Haskell (RMIT)
PhD students - Thesis completed:
Tawfeeq Alsanoosy: Cultural Diversity Aspects of Software Requirements Engineering (RMIT, first supervisor). Successfully completed in 2021. The RMIT Deputy Vice-Chancellor’s Higher Degree by Research Prize. Now - Lecturer at Taibah University, Saudi Arabia
Ahmed Alharti: Requirements Engineering Aspects of ELearning Systems (RMIT, first supervisor). Successfully completed in 2019. Now - Assistant Professor, Dean for ELeaning in Umm Al-Qura University, Saudi Arabia
Master Thesis and Honours (RMIT, Thesis completed):
Christopher John Bond: Property Inspection Route Planning: What Properties do I have time to visit? (RMIT, first supervisor). Successfully completed in 2022. RMIT STEM award - Kmart Group Prize for the best Postgraduate Student in IT, Data Science or AI who completed study in 2022.
Mona Saleh Alzahrani. Autism and the Usability of User Interfaces Containing Animations. Successfully completed in 2021.
Sam Nolan. A living review of Interactive Theorem Provers. (RMIT, first supervisor). Successfully completed in 2021.
Nasser Alzahrani: Spatio-temporal models for property based testing. (RMIT, first supervisor). Successfully completed in 2016. After completion - PhD student at RMIT.
Phan Vo Thu Nhat: Model-based generation of natural language specifications (RMIT, first supervisor). Successfully completed in 2016. Now - Senior Full Stack Developer at EdgeWorks German R&D Software Ltd, Vietnam.
Master Thesis and Honours (TU Munich, Germany):
Christian Grewing: Development of a integrated SysML-model for architecture and behavior of an embedded system. Master Thesis successfully completed.
Cem Sekmen: Development of a Model-driven Software System to Recognize Significant Events From Multiple Sensor Information. In collaboration with Siemens AG, Corporate Technology. Master Thesis successfully completed.
Markus Müller: Erstellung eines Lastenheftes für die Innenlichtfunktionen in mehreren BMW-Fahrzeugbaureihen. In collaboration with BMW Group. Master research successfully completed.
Sebaistain Vöst: Verification of the M2L text editor using the example of a FOCUS formula editor. In collaboration with BMW Group. Honours Thesis uccessfully completed.
I am actively looking for students interested in my research areas. Get me in touch, if you would like to write your PhD, Masters or Bachelors Thesis under my supervision. Currently available topics for PhD are listed below as well as here.
A list of currently available topics for Master and Honours research projects (which can be also expanded to a PhD topic, if needed) you can find here. Also, feel free to propose other topics within my research interests.