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 :) )
لقد تم تعديل محتوى الموقع ليكون الموقع الرسمي لي خلافا للموقع السابق http://faculty.ksu.edu.sa/Abeer/default.aspx ارحب كثيرا باقتراحاتكم و تعليقاتكم و تعديلاتكم لمحتويات الموقع…