I am a lecturer at the Department of Information Technology at King Saud University, where I finished my Bachelor degree, with first class honour, and worked as a teacher assistant.

At the same time, I am a computer-science PhD student at the Department of Informatics at King’s College London. I am under the supervision of Prof. Maribel Fernandez and Dr. kevin lano. Additionally, I am a member of The Predictable Assembly Laboratory (PALab) research group, a subgroup of the Software Modelling and Applied Logic (SMAL). My PhD is funded by King Saud University.

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

Research interests:

Current research:

A Model for Specifying and Analysing Service Oriented Architectures within Higher Order Constructive Type Theory.

Research Topics which I am currently interested in are:

• Service-Oriented Architectures.
• Could Computing.
• Constructive type theory.
• Process Calculi, in particular Communicating Sequential Processes (CSP).
• Programming language Semantics.
• Transactions and Compensation.

Full Résumé.