In a society built on communication and Internet of Things, computer systems that can adapt to changing circumstances instead of crashing become ever more important. Muhammad Usman Iftikhar’s research sheds important light on how one can guarantee that a self-adaptive system is able to achieve its goals.