My research subgroup, PALab, is concerned with making software faster, more reliable, and more easily developed. We develop tools and techniques for prediction, monitoring and real-time adaptation to deliver optimal quality of service. We use formal methods, component-based and service-oriented development techniques, as well as domain-specific languages and model-driven development to achieve these objectives. PALab is a subgroup within SMAL.

Software Modelling and Applied Logic (SMAL) 

My reserach group at King's, The Software Modelling and Applied Logic group, studies applications of logic and mathematics to computer science, software engineering, information and software security, multi-agent systems and AI. It investigates various models of reasoning and computation, designing formal languages and tools to describe problem domains (including, in particular, software systems and their security constraints), and analyse their trustworthiness, correctness, expressive power and computational behaviour.

King's College London

I am doing my PhD at King's, which is one of the top 20 universities in the world (QS international world rankings). See more information about king's here


Information Technology Department, CCIS, KSU

I am working as lecturer at the IT department, a one of the five departments of the College of Computer and Information Science at King Saud University.

King Saud University

King Saud University, is the premier institution of higher education in the Kingdom of Saudi Arabia. King Saud University  have been ranked 200th in QS World University and it is among three Saudi universities prominently featured in the 2012 Academic Ranking of World Universities (ARWU), released on August 15. According to ARWU’s annual assessment of the world’s best 500 universities, KSU ranks among the top 300 and maintains its 2011 status as the premier university among Arab and Islamic nations.