تجاوز إلى المحتوى الرئيسي
User Image

Abeer Sulaiman Al-Humaimeedy

Assistant Professor

Information Technology, College of Computer and Information Sciences

علوم الحاسب والمعلومات
Female Student Campus, KSU

نبذة تعريفية / مختصر السيرة الذاتية

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

المنشورات
المزيد ...

المواد الدراسية
المزيد ...

course

This course follows Software Engineering-1 course as it continues the investigation into software development life cycle to its end. Students will be exposed to an in-depth coverage of design (…