I am a faculty of the College of Computer and Information Science at King Saud University, where I finished my Bachelor and Master degrees with first class honours, and worked as a teacher assistant and as a lecturer.
At the same time, I am a visiting researcher at the Department of Informatics at King’s College London where I obtained my PhD and conducted most of my research in the area of formalizing SOA systems and Cloud computing.
_________________________________________________________
Events in 2015/2016:
Current research:
Currently I am working with Prof Maribel Fernandez at Kings to implement a model checker for our previously developed SOA process calculus. (the details of our SOA process calculus can be found in my publication list or on DBLP)
_______________________________________________________
Research interests:
Current Roles and Responsibilities:
My name as it appears in the passport is Abiar Al-Homaimeedi, therefore (Abeer Al-Humaimeedy and Abiar Al-Homaimeedi refer to the same person :) )
At the same time, I am a visiting researcher at the Department of Informatics at King’s College London where I obtained my PhD and conducted most of my research in the area of formalizing SOA systems and Cloud computing.
_________________________________________________________
Events in 2015/2016:
- 2015, Dec, Academic Writing Coffee Meeting, London, Invited speaker.
- 2015, Dec, Time Management and Decision Making workshop, Saudi society, Kings College London, Trainer.
- 2015, Dec, JLAMP , Journal paper author.
- 2015, Nov, FoSSaCS 2016 , External reviewer.
Current research:
Currently I am working with Prof Maribel Fernandez at Kings to implement a model checker for our previously developed SOA process calculus. (the details of our SOA process calculus can be found in my publication list or on DBLP)
_______________________________________________________
Research interests:
- Service-Oriented Architectures.
- Cloud Computing.
- Process Calculi, in particular communicating Sequential Processes (CSP).
- Programming language Semantics.
- Transactions and Compensations.
Current Roles and Responsibilities:
- Principal investigator at Software and Knowledge Engineering Research Group, HCI laboratory.
- Member of ArabWiC.
My name as it appears in the passport is Abiar Al-Homaimeedi, therefore (Abeer Al-Humaimeedy and Abiar Al-Homaimeedi refer to the same person :) )
لقد تم تعديل محتوى الموقع ليكون الموقع الرسمي لي خلافا للموقع السابق
http://faculty.ksu.edu.sa/Abeer/default.aspx
ارحب كثيرا باقتراحاتكم و تعليقاتكم و تعديلاتكم لمحتويات الموقع…