Progress in sensing, computational power, storage and analytic tools has given us access to enormous amounts of complex data, which can inform us of better ways to manage our cities, run our companies or develop new medicines. However, the 'elephant in the room' is that when we act on that data we change the world, potentially invalidating the older data. Similarly, when monitoring living cities or companies, we are not able to run clean experiments on them - we get data which is affected by the way they are run today, which limits our ability to model these complex systems. We need ways to run ongoing experiments on such complex systems. We also need to support human interactions with large and complex data sets. In this project we will look at the overlap between the challenge someone faces when coping with all the choices associated with booking a flight for a weekend away, and an expert running complex experiments in a laboratory. The project will test the core ideas in a number of areas, including personalisation of hearing aids, analysis of cancer data, and adapting the computing resources for a major bank.

Recent reports from the Royal Society, the government Cybersecurity strategy, as well as the National Cyber Security Center highlight the importance of cybersecurity, in ensuring a safe information society. They highlight the challenges faced by the UK in this domain, and in particular the challenges this field poses: from a need for multi-disciplinary expertise and work to address complex challenges, that span from high-level policy to detailed engineering; to the need for an integrated approach between government initiatives, private industry initiatives and wider civil society to tackle both cybercrime and nation state interference into national infrastructures, from power grids to election systems. They conclude that expertise is lacking, particularly when it comes to multi-disciplinary experts with good understanding of effective work both in government and industry. The EPSRC Doctoral Training Center in Cybersecurity addresses this challenge, and aims to train multidisciplinary experts in engineering secure IT systems, tacking and interdicting cybercrime and formulating effective public policy interventions in this domain. The training provided provides expertise in all those areas through a combination of taught modules, and training in conducting original world-class research in those fields. Graduates will be domain experts in more than one of the subfields of cybersecurity, namely Human, Organizational and Regulatory aspects; Attacks, Defences and Cybercrime; Systems security and Cryptography; Program, Software and Platform Security and Infrastructure Security. They will receive training in using techniques from computing, social sciences, crime science and public policy to find appropriate solutions to problems within those domains. Further, they will be trained in responsible research and innovation to ensure both research, but also technology transfer and policy interventions are protective of people's rights, are compatible with democratic institutions, and improve the welfare of the public. Through a program of industrial internships all doctoral students will familiarize themselves with the technologies, polices and also challenges faced by real-world organizations, large and small, trying to tackle cybersecurity challenges. Therefore they will be equipped to assume leadership positions to solve those problems upon graduation.

The vision of this CDT is to enhance society's resilience to changes in our environment through the development of Environmental Intelligence (EI): using the integration of data from multiple inter-related sources and Artificial Intelligence (AI) to provide evidence for informed decision-making, increase our understanding of environmental challenges and provide information that is required by individuals, policy-makers, institutions and businesses. Many of the most important problems we face today are related to the environment. Climate change, healthy oceans, water security, clean air, biodiversity loss, and resilience to extreme events all play a crucial role in determining our health, wealth, safety and future development. The UN's 2030 Agenda for Sustainable Development calls for a plan of action for people, planet and prosperity, aiming to take the bold and transformative steps that are urgently needed to shift the world onto a sustainable and resilient path. Developing a clear understanding of the challenges and identifying potential solutions, both for ourselves and our planet, requires high quality, accessible, timely and reliable data to support informed decision making. Beyond the quantification of the need for change and tracking developments, EI has another important role to play in facilitating change through integration of cutting edge AI technology in energy, water, transport, agricultural and other environmentally-related systems and by empowering individuals, organisations and businesses through the provision of personalized information that will support behavioural change. Students will receive training in the range of skills they will require to become leaders in EI: (i) the computational skills required to analyse data from a wide variety of sources; (ii) environmental domain-specific expertise; (iii) an understanding of governance, ethics and the potential societal impacts of collecting, mining, sharing and interpreting data, together with the ability to communicate and engage with a diverse range of stakeholders. The training programme has been designed to be applicable to students with a diverse range of backgrounds and experiences. Graduates of the CDT will be equipped with the skills they need to become tomorrow's leaders in identifying and addressing interlinked, social, economic and environmental risks. Having highly trained individuals with a wide range of expertise, together with the skills to communicate with a diverse range of stakeholders and communities, will have far reaching impact across a wide number of sectors. Traditionally, PhD students trained in the technical aspects of AI have been distinct from those trained in policy and business implementation. This CDT will break that mould by integrating students with a diverse range of backgrounds and interests and providing them with the training, in conjunction with external partners, that will ensure that they are well versed in both cutting edge methodology and on the ground policy and business implementation. The University of Exeter's expertise in inter- and trans-disciplinary environmental, climate, sustainability, circular economy and health research makes it uniquely placed to lead an inter-disciplinary CDT that will pioneer the use of AI in understanding the complex interactions between the environment, climate, natural ecosystems, human social and economic systems, and health. Students will benefit from the CDTs strong relationships with its external partners, including the Met Office. Many of these partners are employers of doctoral graduates in AI and see an increasing need for employees with skills from across multiple disciplines. Their involvement in the planning and ongoing management of the CDT will ensure that, in this rapidly changing domain, the CDT delivers leading-edge research that will enable partners and others to participate effectively in EI and lead to optimal employment opportunities for its graduates.

Autonomous systems promise to improve our lives; driverless trains and robotic cleaners are examples of autonomous systems that are already among us and work well within confined environments. It is time we work to ensure developers can design trustworthy autonomous systems for dynamic environments and provide evidence of their trustworthiness. Due to the complexity of autonomous systems, typically involving AI components, low-level hardware control, and sophisticated interactions with humans and the uncertain environment, evidence of any nature requires efforts from a variety of disciplines. To tackle this challenge, we gathered consortium of experts on AI, robotics, human-computer interaction, systems and software engineering, and testing. Together, we will establish the foundations and techniques for verification of properties of autonomous systems to inform designs, provide evidence of key properties, and guide monitoring after deployment. Currently, verifiability is hampered by several issues: difficulties to understand how evidence provided by techniques that focus on individual aspects of a system (control engineering, AI, or human interaction, for example) compose to provide evidence for the system as whole; difficulties of communication between stakeholders that use different languages and practices in their disciplines; difficulties in dealing with advanced concepts in AI, control and hardware design, software for critical systems; and others. As a consequence, autonomous systems are often developed using advanced engineering techniques, but outdated approaches to verification. We propose a creative programme of work that will enable fundamental changes to the current state of the art and of practice. We will define a mathematical framework that enables a common understanding of the diverse practices and concepts involved in verification of autonomy. Our framework will provide the mathematical underpinning, required by any engineering effort, to accommodate the notations used by the various disciplines. With this common understanding, we will justify translations between languages, compositions of artefacts (engineering models, tests, simulations, and so on) defined in different languages, and system-level inferences from verifications of components. With such a rich foundation and wealth of results, we will transform the state of practice. Currently, developers build systems from scratch, or reusing components without any evidence of their operational conditions. Resulting systems are deployed in constrained conditions (reduced speed or contained environment, for example) or offered for deployment at the user's own risk. Instead, we envisage the future availability of a store of verified autonomous systems and components. In such a future, in the store, users will find not just system implementations, but also evidence of their operational conditions and expected behaviour (engineering models, mathematical results, tests, and so on). When a developer checks in a product, the store will require all these artefacts, described in well understood languages, and will automatically verify the evidence of trustworthiness. Developers will also be able to check in components for other developers; equally, they will be accompanied by evidence required to permit confidence in their use. In this changed world, users will buy applications with clear guarantees of their operational requirements and profile. Users will also be able to ask for verification of adequacy for customised platforms and environment, for example. Verification is no longer an issue. Working with the EPSRC TAS Hub and other nodes, and our extensive range of academic and industrial partners, we will collaborate to ensure that the notations, verification techniques, and properties, that we consider, contribute to our common agenda to bring autonomy to our everyday lives.

1) To create the next generation of Natural Language Processing experts, stimulating the growth of NLP in the public and private sectors domestically and internationally. A pool of NLP talent will provide incentives for (existing) companies to expand their operations in the UK and lead to start-ups and new products. 2) To deliver a programme which will have a transformative effect on the students that we train and on the field as a whole, developing future leaders and producing cutting-edge research in both methodology and applications. 3) To give students a firm grounding in the challenge of working with language in a computational setting and its relevance to critical engineering and scientific problems in our modern world. The Centre will also train them in the key programming, engineering, and machine learning skills necessary to solve NLP problems. 4) To attract students from a broad range of backgrounds, including computer science, AI, maths and statistics, linguistics, cognitive science, and psychology and provide an interdisciplinary cohort training approach. The latter involves taught courses, hands-on laboratory projects, research-skills training, and cohort-based activities such as specialist seminars, workshops, and meetups. 5) To train students with awareness of user design, ethics and responsible research in order to design systems that improve user statisfaction, treat users fairly, and increase the uptake of NLP technology across cultures, social groups and languages.