About Me
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.