Abeer Sulaiman Al-Humaimeedy

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.