In this Turing Artificial Intelligence Acceleration Fellowship, I will focus on artificial intelligence for medical treatments and therapies. I take the view that AI is a question on how to realise artificial systems that solve practical problems currently requiring human intelligence to solve, such as those solved by clinicians, nurses and therapists. Critical care is high risk and highly invasive environment caring for the sickest patients at greatest risk of death. Patients within this environment are highly monitored, enabling sudden changes in physiology to be attended to immediately. In addition, this monitoring requires a heavier staffing ratio (often 1:1 nursing; 1:8 medical) and variances in human factors and non-technical pressures (e.g. staffing, skill-mix, finances) leads to critical care delivery being disparate. AI in healthcare is a hard problem as, due to the diversity and variability of human nature, systems have to cope with unexpected circumstances when solving perceptual, reasoning or planning problems. Crucially, AI has two facets: Understanding from data, and Agency. While rapid strides have been made on learning from data, e.g. how to make medical diagnosis more precise and faster than human experts, there is little work on how to carry on after the diagnosis, e.g. which therapy and treatment to conduct. The latter requires agency and has seen fewer applications as it is a harder problem to solve. My clinical partners and I want to develop the required AI algorithms that can learn and distil the best plan of action to treat a specific patient, from the expert knowledge of clinicians. We will focus on an area of AI called RL that has been successful in enabling robots and self-driving cars to learn a form of autonomous agency. We want to transform these methods into the healthcare domain. This will require the development of new RL algorithms, able to efficiently understand the state of a patient from noisy and ambiguous hospital data. The system will not only learn to recommend interventions such as prescribing drugs and changing dosages as needed per patient but to make these recommendations in a manner that is meaningful to the clinical decision-makers and helps them make the best final decision on a course of action. The methods developed as part of this project can be used in different applications beyond healthcare. Many sectors within industry, such as aerospace, or energy, deal with similar bottlenecks. These are highly regulated environments, with great need for decisions making support, but a scarcity of highly skilled human experts. With sufficient data, our methods can be applied to these sectors as well, to distil the required human expertise and best practices from top experts, and use them to drive decision making all over the sector, for increased efficiency and safety.

Introducing porosity onto an aerofoil has been shown to have a significant influence on the boundary layer and provide significant reductions in its noise radiation. This proposal describes a multi-disciplinary research project aimed at understanding and exploiting the interactions between porous aerofoils and the boundary layers developing over them for the purpose of optimising noise reductions without compromising aerodynamic performance. The use of adaptive manufacturing technology will be investigated for providing the optimum porosity at different operating conditions.

This project will, for the first time, connect a detailed scientific understanding of the mechanisms of coatings failure with state-of-the-art machine learning to deliver a design framework for the optimization of protective coatings and nanocomposite materials. It will be game changing for an industry (paint) which is often taken for granted, despite its ubiquity - the screen you are looking at, the color of your car, the protection for the aircraft you fly in, the longevity of bridges, wind turbine masts and other infrastructure. Indeed, almost all materials are made suitable for purpose or given function by the application of coatings. In the UK there are over 10,000 employees involved in manufacturing coatings and the coatings industry directly contributes over £11bn to the economy, supporting UK manufacturing and construction sectors worth around £150bn. The annual costs of corrosion damage in the UK lies in the range of 2-3% of Gross National Product (~£60 bn, 2016) and leads to premature loss of amenity in infrastructure and equipment; hence to environmental damage through accelerated extraction and resource use. Protective organic coatings (i.e. paints) are highly cost effective in limiting early materials damage due to corrosion however these are complex products where the underlying mechanistic links between the formulation and performance are lacking. The increasing need to use environmentally sustainable materials, reduce time-to-market and increase performance requires detailed mechanistic understanding across functions and length scales from the molecular to the macroscopic. With brands such as Dulux, Hammerite and International, AkzoNobel are one of the world's largest manufacturers of protective and decorative coatings and have extensive manufacturing and research operations in the UK. AkzoNobel invests heavily in research, both in its global research hub for performance coatings in the NE of England as well as in UK universities. In particular the company (and its predecessor bodies) has collaborated in polymer science with the University of Sheffield, and in corrosion protection with The University of Manchester, for over 30 years. This prosperity partnership between EPSRC and AkzoNobel/ International Paint with the Universities of Manchester and Sheffield, will enable for the 1st time, a fundamental mechanistic understanding of how the performance of protective organic coatings arises - essentially it will tell us "how paint works". The scope of the program is well beyond the capacity of an individual company, institution or funder and, hence, the collaborative partnership is essential in order to tackle this problem head-on. Success will allow industry to side-step the current trial-and-error approaches and to incorporate digital design (i.e. Industry 4.0) into the development of paints and similar nanocomposite materials resulting in the confidence to utilize sustainable materials, comply with legislative and customer drivers and maintain and extend performance in more extreme environments. Overall the project will deliver understanding and tools that underpin the rapid-to-market development of environmentally sustainable protective organic coatings and nanocomposites by rational design.

Cybersecurity threats are causing damage to business and wider society and, if left unchecked, these threats will continue to grow. Poorly designed software is a significant source of cyber security vulnerabilities. Current software development practice relies heavily on an iterative build-test-fix approach to software correctness and, while testing of software is essential, it is very time-consuming and usually incomplete. A further weakness of the iterative build-test-fix approach is that it often results in design faults being discovered long after they were introduced in the development lifecycle - making them very expensive to fix once discovered. Formal methods are a body of mathematically-based techniques for design and verification of software that are more rigorous and systematic than build-test-fix, leading to better software designs with reduced bugs and vulnerabilities. Our vision is the transformation of security system development from an error-prone, iterative build-test-fix approach to a correctness-by-construction (CxC) approach whereby formal methods guide the design of software in such a way that it satisfies its specification by construction. The impact of this will be to reduce overall development costs, while increasing trustworthiness, of security-critical systems. Systems are designed by humans and used by humans. Formal methods are challenging to use for many software developers we will developed tools that reduce barriers to their deployment. Our tools will support developers to engage with wider stakeholders to elicit and validate requirements. Many secure systems rely on assumptions about the behaviour of trusted and untrusted users but often these assumptions are not clearly understood or defined. Our research will incorporate formal constraints on user data and actions and vulnerabilities in data integrity resulting from user behaviour in modelling and verification. Even if software has been verified correct, it is likely to be running on hardware that is vulnerable to cyber-attack because of poor memory protection. Today's open connected computing platforms allow hardware vulnerabilities to be exploited at scale and capability hardware has been proposed as an approach to reducing hardware vulnerabilities. Capability hardware, such as the CHERI architecture, provides a range of memory protection features, to enforce secure data operations and avoid incorrect or malicious manipulations of data. When using formal methods, we develop software that enforces secure data operations and thus, in principle, additional hardware enforcement is not required. However, securely-developed software is still likely to be executing in a context in which other code may be accidently or maliciously violating data access disciplines which would undermine the securely-developed code. By using capability hardware, we get enforcement of secure data operations on other code, avoiding the need to worry about interference by code over which we have no control. Our project will incorporate capability hardware features in to the formal design approach by developing high level design abstractions that capture properties of data operations appropriate for designing and verifying at higher abstraction levels. Our research will be guided and validated by a range of security-critical industrial case studies with support from our industrial partners (Airbus, Arm, Altran, AWE, Galois, L3Harris, Northrop Grumman, Thales). Key outcomes of HD-Sec will be: . An integrated toolchain to support the CxC approach for design of security systems . Sound high-level abstractions that facilitate exploitation of capability hardware in software design . A functioning prototype application designed using our CxC tools and running on capability hardware

The Centre's themes align with the 'Towards A Data Driven Future' and 'Enabling Intelligence' priority areas, meeting the needs identified by UKRI to provide a highly skilled - and in demand - workforce focused on ensuring positive, human-centred benefits accrued from innovations in data driven and intelligence-based systems. The Centre has a distinct and methodologically challenging "people-first" perspective: unlike an application-orientated approach (where techniques are applied to neatly or simplistically defined problems, sometimes called "solutionism"), this lens will ensure that intense, multi-faceted and iterative explorations of the needs, capabilities and values of people, and wider societal views, challenge and disrupt computational science. In a world of big data and artificial intelligence, the precious smallness of real individuals with their values and aspirations are easily overlooked. Even though the impact of data-driven approaches and intelligence are only beginning to be felt at a human scale, there are already signs of concern over what these will mean for life, with governments and others worldwide addressing implications for education, jobs, safety and indeed even what is unique in being human. Sociologists, economists and policy makers of course have a role in ensuring positive outcomes for people and society of data-driven and intelligence systems; but, computational scientists have a pivotal duty too. Our viewpoint, then, will always see the human as a first-class citizen in the future physical-digital world, not perceiving themselves as outwitted, devalued or marginalised by the expanding capabilities of machine computation, automation and communication. Swansea and the wider region of Wales is a place and community where new understandings of data science and machine intelligence are being formed within four challenging contexts defined in the Internet Coast City Deal: Life Science and Well-being; Smart Manufacturing; Smart and Sustainable Energy; and Economic Acceleration. Studies commissioned by the City Deal and BEIS evidence the science and innovation strengths in Swansea and region in these areas and indicate how transformational investments in these areas will be for the region and the UK. Our Centre will, then, immerse cohorts in these contexts to challenge them methodologically and scientifically. The use of data-driven and intelligence systems in each of the four contexts gives rise to security, privacy and wider ethical, legal, governance and regulatory issues and our Centre also has a cross-cutting theme to train students to understand, accommodate and shape current and future developments in these regards. Cohort members will work to consider how the Centre's challenge themes direct and drive their thinking about data and intelligence, benefitting from both the multidisciplinary team that have built strong research agendas and connections with each of the contexts and the rich set of stakeholders that are our Centre has assembled. Importantly, a process of pivoting between challenge themes will be applied: insights, methods and challenges from one theme and its research projects will be tested and extended in others with the aim of enriching all. These, along with several other mechanisms (such as intra- and inter-cohort sandpits and side projects) are designed to develop a powerful bonding and shaping "cohort effect". The need for and value of our Centre is evidenced by substantial external industrial investment we have have secured: £1,750,000 of cash and £4,136,050 in-kind (total:£5,886,050). These partners and stakeholders have helped create the vision and detail of the proposal and include: Vint Cerf ("father of the internet" and Vice President of Google); NHS; Pfizer; Tata Steel; Ford; QinetiQ; McAfee; Ordnance Survey; Facebook; IBM; Microsoft; Fujitsu; Worshipful Company of IT Spiritual and Ethical Panel; and, Vicki Hanson (CEO, Association of Computing Machinery).