Saud is a PhD research student at Department of Computer Science in University of York, UK. My research topic is about self-adaptation in distributed systems and under the supervision of Dr. Radu Calinescu. My work investigates the challenges in coping with uncertainty raised by execution environment or failure of underlying system components. Toward that end, we focus on runtime quantitative verification techniques to ensure the efficiency and effectiveness in complying with requirements in distributed self-adaptive systems.