Abeer Sulaiman Al-Humaimeedy

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: 

• 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 :) )