Iron and silicon are two of the most abundant elements in the earth's crust. Nevertheless, the simplest chemical compound of these two elements, iron monosilicide (FeSi), possesses bizarre electronic and magnetic properties that have confounded researchers for decades. At low temperatures it is a non-magnetic semiconductor with a narrow gap. On warming, most materials become harder to magnetise: FeSi becomes easier, and it transforms into a heavy electron metal. Although known experimentally for over four decades, the proper theoretical description of this is still not settled. When cobalt is substituted for iron things get even more interesting. Theory predicts (and indirect experiments on bulk crystals seem to confirm) that each Co atom contributes one current carrying electron, and also one electron spin's worth of magnetism, suggesting a perfectly polarised magnetic semiconductor - and what is more, one based on Si. Indeed, we have recently been able to prepare thin films of this material on commercial silicon wafer that appear to be epilayers: single crystals where every atom is in register with the lattice defined by the substrate. Spin polarisation is the key figure of merit for all spintronic materials, with all spintronic effects growing as the polarisation increases. Having a high polarisation material that is silicon-based is therefore a very tantalising prospect. In the first part of our project we will confirm the nature of our thin films and their structural, magnetic, and electronic properties. We will also investigate a simpler and quicker way of forming films known as sputtering. We will then go on to make the first direct measurements of the spin polarisation of this remarkable material, and moreover, do so in the technologically vital thin film form on Si wafer. The magnetism is truly remarkable in another way, however. The crystal structure of this material is very unusual in that it lacks mirror symmetry, and so an obscure effect that is suppressed in almost every other magnetic material comes into play: the so-called Dzyaloshinskii-Moriya interaction. Instead of the usual uniform state in a ferromagnet, this term causes the spins to spiral around each other in a helix. This can be brought to a uniform saturated state in a large enough magnetic field, but on the way another largely forgotten piece of theoretical physics comes into play. There is an intermediate state formed from a lattice of magnetic vortices called skyrmions, a topological structure first invented to describe fields of pi-mesons in the 1960s. Last year it was shown (using bulk crystals of a related compound, manganese monosilicide) that because of this special topology, these swirling magnetic structures can be set into motion by a current flowing through the crystal at a current density around one million times smaller than that needed to move a vortex in a conventional magnetic material. We shall seek these magnetic skyrmion objects in our silicide wafer samples and measure the current density needed to move them. Unfortunately, this material is only magnetic at temperatures a few tens of degrees above absolute zero, and all magnetic properties are lost well before room temperature is reached. Nevertheless, replacing silicon with its neighbour in the periodic table, germanium, can also transform iron silicide into a helimagnetic metal, with complete replacement preserving this structure up to a temperature a few degrees above zero Celsius. We shall complete our project by doping this material with cobalt and see if the critical temperature can be pushed above room temperature to technologically useful values.

Graphene is a single layer of graphite just one atom thick. As a material it is completely new - not only the thinnest ever but also the strongest. It is almost completely transparent, yet as a conductor of electricity it performs as well or even better than copper. Since the 2010 Nobel Prize for Physics was awarded to UK researchers in this field, fundamental graphene research has attracted much investment by industry and governments around the world, and has created unprecedented excitement. There have been numerous proof-of concept demonstrations for a wide range of applications for graphene. Many applications require high quality material, however, most high quality graphene to date is made by exfoliation with scotch tape from graphite flakes. This is not a manufacturable route as graphene produced this way is prohibitively expensive, equivalent to £10bn per 12" wafer. For high quality graphene to become commercially viable, its price needs to be reduced to £30-100 per wafer, a factor of 100 million. Hence graphene production and process technology is the key bottleneck to be overcome in order to unlock its huge application potential. Overcoming this bottleneck lies at the heart of this proposal. Our proposal aims to develop the potential of graphene into a robust and disruptive technology. We will use a growth method called chemical vapour deposition (CVD) as the key enabler, and address the key questions of industrial materials development. CVD was the growth method that opened up diamond, carbon nanotubes and GaN to industrial scale production. Here it will be developed for graphene as CVD has the potential to give graphene over large areas at low cost and at a quality that equals that of the best exfoliated flakes. CVD is also a quite versatile process that enables novel strategies to integrate graphene with other materials into device architectures. In collaboration with leading industrial partners Aixtron UK, Philips, Intel, Thales and Selex Galileo, we will develop novel integration routes for a diverse set of near-term as well as future applications, for which graphene can outperform current materials and allows the use of previously impossible device form factors and functionality. We will integrate graphene for instance as a transparent conductor into organic light emitting diodes that offer new, efficient and environmentally friendly solutions for general lighting, including a flexible form factor that could revolutionize traditional lighting designs. We will also integrate graphene into liquid crystal devices that offer ultra high resolution and novel optical storage systems. Unlike currently used materials, graphene is also transparent in the infrared range, which is of great interest for many sensing applications in avionics, military imaging and fire safety which we will explore. Furthermore, we propose to develop a carbon based interconnect technology to overcome the limitations Cu poses for next generation microelectronics. This is a key milestone in the semiconductor industry roadmap. As a potential disruptive future technology, we propose to integrate graphene into so called lab-on-a-chip devices tailored to rapid single-molecule biosensing. These are predicted to revolutionize clinical analysis in particular regarding DNA and protein structure determination.

This research proposal is targeted at addressing the challenge of real-time metrology for control of flexible and reconfigurable technological plasma systems. Plasma technologies not only underpin many high-end multi-billion pound manufacturing industries of today, but also are critical elements for the invention of new devices of the future. A new revolution is underway in plasma processing; the 'ivy-bridge' 3-dimensional atomic layer nano-structures of Intel Corp. and new carbon-based supermaterials of Element Six have only just been realised. This opens up new horizons for inventions. Envisaged applications of next-generation plasma processing include manipulation of edge-bonds of single-layer graphene, low power biologically implanted chips as sensors or neuro-motive devices, innovative chemistry applications for biofuel synthesis and realisation of micro-batteries, flexible micro-electronics, fabrication of micro-electromechanical devices, as well as directly using plasmas for medicine, surgery and pharmacy. Realisation of all these critically depends on the development of new adaptable plasma processing techniques. As the industry transforms itself this is an exciting time. One critical bottleneck is the lack of adaptable process control. We propose a novel non-invasive sensor and virtual metrology concept to monitor substrate relevant parameters to enable real-time plasma tuning. This has developed from our pioneering research on the topic and recent discoveries. Our innovative sensor - pulse induced optical emission spectroscopy (PiOES) is analogous to laser induced fluorescence spectroscopy and will instead of a laser utilise a non-intrusive low voltage rapid nanosecond electronic pulse to generate similar excitation conditions in the plasma. Electron impact excitation will create transient excited states and through the subsequent optical fluorescence, and associated temporal fingerprint, distinct atoms and molecules can be identified. The power and sensitivity of the technique originates from exploiting both the energy dynamics as well as the population dynamics in the nonlinear plasma-surface interface (sheath) region. This will allow detection down to atomic layer defects within micron locality. The aim of our research programme is to develop and demonstrate our metrology technique in three extreme working environments: low pressure anisotropic plasma etching, synthetic diamond manufacturing, and atmospheric plasmas for medicine and pharmacy. We will demonstrate this metrology technique in full fabrication reactors and environments. This project is a collaboration between world-leaders in the field: The University of York, The University of Bristol, Intel Corp., Element Six, Andor Technology, Quantemol, Smith and Nephew, Hiden Analytical and Oxford Instruments. An advisory board, including leading members from a diverse range of companies and academia, has been installed to ensure industrial relevance and uptake as the project progresses.

Mobile and autonomous robots have an increasingly important role in industry and the wider society; from driverless vehicles to home assistance, potential applications are numerous. The UK government identified robotics as a key technology that will lead us to future economic growth (tinyurl.com/q8bhcy7). They have recognised, however, that autonomous robots are complex and typically operate in ever-changing environments (tinyurl.com/o2u2ts7). How can we be confident that they perform useful functions, as required, but are safe? It is standard practice to use testing to check correctness and safety. The software-development practice for robotics typically includes testing within simulations, before robots are built, and then testing of the actual robots. Simulations have several benefits: we can test early, and test execution is cheaper and faster. For example, simulation does not require a robot to move physically. Testing with the real robots is, however, still needed, since we cannot be sure that a simulation captures all the important aspects of the hardware and environment. In the current scenario, test generation is typically manual; this makes testing expensive and unreliable, and introduces delays. Manual test generation is error-prone and can lead to tests that produce the wrong verdict. If a test incorrectly states that the robot has a failure, then developers have to investigate, with extra cost and time. If a test incorrectly states that the robot behaves as expected, then a faulty system may be released. Without a systematic approach, tests may also identify infeasible environments; such tests cannot be used with the real robot. To make matters worse, manual test generation limits the number of tests produced. All this affects the cost and quality of robot software, and is in contrast with current practice in other safety-critical areas, like the transport industry, which is highly regulated. Translation of technology, however, is not trivial. For example, lack of a driver to correct mistakes or respond to unforeseen circumstances leads to a much larger set of working conditions for an autonomous vehicle. Another example is provided by probabilistic algorithms, which make the robot behaviour nondeterministic, and so, difficult to repeat in testing and more difficult to characterise as correct or not. We will address all these issues with novel automated test-generation techniques for mobile and autonomous robots. To use our techniques, a RoboTest tester constructs a model of the robot using a familiar notation already employed in the design of simulations and implementations. After that, instead of spending time designing simulation scenarios, the RoboTest tester, with the push of a button, generates tests. With RoboTest, testing is cheaper, since it takes less time, and is more effective, because the RoboTest tester can use many more tests, especially when using a simulation. To execute the tests, the RoboTest tester can choose from a few simulators employing a variety of approaches to programming. Execution of the tests also follows the push of a button. Yet another button translates simulation to deployment tests. So, the RoboTest tester can trace back the results from the deployment tests to the simulation and the original model. So, the RoboTest tester is in a strong position to understand the reality gap between the simulation and the real world. The RoboTest tester knows that the verdicts for the tests are correct, and understands what the testing achieves; for example, it can be guaranteed to find faults of an identified class. So, the RoboTest tester can answer the very difficult question: have we tested enough? In conclusion, RoboTest will move the testing of mobile and autonomous robots onto a sound footing. RoboTest will make testing more efficient and effective in terms of person effort, and so, achieve longer term reduced costs.

Mobile and autonomous robots have an increasingly important role in industry and the wider society; from driverless vehicles to home assistance, potential applications are numerous. The UK government identified robotics as a key technology that will lead us to future economic growth (tinyurl.com/q8bhcy7). They have recognised, however, that autonomous robots are complex and typically operate in ever-changing environments (tinyurl.com/o2u2ts7). How can we be confident that they perform useful functions, as required, but are safe? It is standard practice to use testing to check correctness and safety. The software-development practice for robotics typically includes testing within simulations, before robots are built, and then testing of the actual robots. Simulations have several benefits: we can test early, and test execution is cheaper and faster. For example, simulation does not require a robot to move physically. Testing with the real robots is, however, still needed, since we cannot be sure that a simulation captures all the important aspects of the hardware and environment. In the current scenario, test generation is typically manual; this makes testing expensive and unreliable, and introduces delays. Manual test generation is error-prone and can lead to tests that produce the wrong verdict. If a test incorrectly states that the robot has a failure, then developers have to investigate, with extra cost and time. If a test incorrectly states that the robot behaves as expected, then a faulty system may be released. Without a systematic approach, tests may also identify infeasible environments; such tests cannot be used with the real robot. To make matters worse, manual test generation limits the number of tests produced. All this affects the cost and quality of robot software, and is in contrast with current practice in other safety-critical areas, like the transport industry, which is highly regulated. Translation of technology, however, is not trivial. For example, lack of a driver to correct mistakes or respond to unforeseen circumstances leads to a much larger set of working conditions for an autonomous vehicle. Another example is provided by probabilistic algorithms, which make the robot behaviour nondeterministic, and so, difficult to repeat in testing and more difficult to characterise as correct or not. We will address all these issues with novel automated test-generation techniques for mobile and autonomous robots. To use our techniques, a RoboTest tester constructs a model of the robot using a familiar notation already employed in the design of simulations and implementations. After that, instead of spending time designing simulation scenarios, the RoboTest tester, with the push of a button, generates tests. With RoboTest, testing is cheaper, since it takes less time, and is more effective, because the RoboTest tester can use many more tests, especially when using a simulation. To execute the tests, the RoboTest tester can choose from a few simulators employing a variety of approaches to programming. Execution of the tests also follows the push of a button. Yet another button translates simulation to deployment tests. So, the RoboTest tester can trace back the results from the deployment tests to the simulation and the original model. So, the RoboTest tester is in a strong position to understand the reality gap between the simulation and the real world. The RoboTest tester knows that the verdicts for the tests are correct, and understands what the testing achieves; for example, it can be guaranteed to find faults of an identified class. So, the RoboTest tester can answer the very difficult question: have we tested enough? In conclusion, RoboTest will move the testing of mobile and autonomous robots onto a sound footing. RoboTest will make testing more efficient and effective in terms of person effort, and so, achieve longer term reduced costs.