A Qatari Contribution to the Verified Software Initiative

Today, software pervades all aspects of our economic and social life, and plays an increasingly critical role in our global welfare. At the same time, software products are growing increasingly large and complex, and are reputedly some of the most complex human-made artifacts. Hence, the production of verified software is not only very critical to our collective welfare, it is also very difficult. Recognizing this acute challenge, the global software engineering community has rallied around an international effort, called the Verified Software Initiative, whose goal is the development of theories, methods, and tools for producing verified software, and the development of verified software products replacing unverified software in critical application domains. The purpose of our project is to enable Qatar to make a contribution to this international initiative that is commensurate with its global ambitions, and commensurate with its stake in software technology, a discipline that plays a central role in resource-based sectors and service-based sectors of the global economy. Our research team brings to this project an eclectic mix of talents and experiences, that will serve them well in carrying out their tasks and meeting or exceeding their goals.