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 ارحب كثيرا باقتراحاتكم و تعليقاتكم و تعديلاتكم لمحتويات الموقع شكرا جزيلا