Project acronym BioInspired_SolarH2
Project Engineering Bio-Inspired Systems for the Conversion of Solar Energy to Hydrogen
Researcher (PI) Elisabet ROMERO MESA
Host Institution (HI) FUNDACIO PRIVADA INSTITUT CATALA D'INVESTIGACIO QUIMICA
Call Details Starting Grant (StG), PE3, ERC-2018-STG
Summary With this proposal, I aim to achieve the efficient conversion of solar energy to hydrogen. The overall objective is to engineer bio-inspired systems able to convert solar energy into a separation of charges and to construct devices by coupling these systems to catalysts in order to drive sustainable and effective water oxidation and hydrogen production.
The global energy crisis requires an urgent solution, we must replace fossil fuels for a renewable energy source: Solar energy. However, the efficient and inexpensive conversion and storage of solar energy into fuel remains a fundamental challenge. Currently, solar-energy conversion devices suffer from energy losses mainly caused by disorder in the materials used. The solution to this problem is to learn from nature. In photosynthesis, the photosystem II reaction centre (PSII RC) is a pigment-protein complex able to overcome disorder and convert solar photons into a separation of charges with near 100% efficiency. Crucially, the generated charges have enough potential to drive water oxidation and hydrogen production.
Previously, I have investigated the charge separation process in the PSII RC by a collection of spectroscopic techniques, which allowed me to formulate the design principles of photosynthetic charge separation, where coherence plays a crucial role. Here I will put these knowledge into action to design efficient and robust chromophore-protein assemblies for the collection and conversion of solar energy, employ organic chemistry and synthetic biology tools to construct these well defined and fully controllable assemblies, and apply a complete set of spectroscopic methods to investigate these engineered systems.
Following the approach Understand, Engineer, Implement, I will create a new generation of bio-inspired devices based on abundant and biodegradable materials that will drive the transformation of solar energy and water into hydrogen, an energy-rich molecule that can be stored and transported.
Summary
With this proposal, I aim to achieve the efficient conversion of solar energy to hydrogen. The overall objective is to engineer bio-inspired systems able to convert solar energy into a separation of charges and to construct devices by coupling these systems to catalysts in order to drive sustainable and effective water oxidation and hydrogen production.
The global energy crisis requires an urgent solution, we must replace fossil fuels for a renewable energy source: Solar energy. However, the efficient and inexpensive conversion and storage of solar energy into fuel remains a fundamental challenge. Currently, solar-energy conversion devices suffer from energy losses mainly caused by disorder in the materials used. The solution to this problem is to learn from nature. In photosynthesis, the photosystem II reaction centre (PSII RC) is a pigment-protein complex able to overcome disorder and convert solar photons into a separation of charges with near 100% efficiency. Crucially, the generated charges have enough potential to drive water oxidation and hydrogen production.
Previously, I have investigated the charge separation process in the PSII RC by a collection of spectroscopic techniques, which allowed me to formulate the design principles of photosynthetic charge separation, where coherence plays a crucial role. Here I will put these knowledge into action to design efficient and robust chromophore-protein assemblies for the collection and conversion of solar energy, employ organic chemistry and synthetic biology tools to construct these well defined and fully controllable assemblies, and apply a complete set of spectroscopic methods to investigate these engineered systems.
Following the approach Understand, Engineer, Implement, I will create a new generation of bio-inspired devices based on abundant and biodegradable materials that will drive the transformation of solar energy and water into hydrogen, an energy-rich molecule that can be stored and transported.
Max ERC Funding
1 500 000 €
Duration
Start date: 2019-04-01, End date: 2024-03-31
Project acronym CoCoUnit
Project CoCoUnit: An Energy-Efficient Processing Unit for Cognitive Computing
Researcher (PI) Antonio Maria Gonzalez Colas
Host Institution (HI) UNIVERSITAT POLITECNICA DE CATALUNYA
Call Details Advanced Grant (AdG), PE6, ERC-2018-ADG
Summary There is a fast-growing interest in extending the capabilities of computing systems to perform human-like tasks in an intelligent way. These technologies are usually referred to as cognitive computing. We envision a next revolution in computing in the forthcoming years that will be driven by deploying many “intelligent” devices around us in all kind of environments (work, entertainment, transportation, health care, etc.) backed up by “intelligent” servers in the cloud. These cognitive computing systems will provide new user experiences by delivering new services or improving the operational efficiency of existing ones, and altogether will enrich our lives and our economy.
A key characteristic of cognitive computing systems will be their capability to process in real time large amounts of data coming from audio and vision devices, and other type of sensors. This will demand a very high computing power but at the same time an extremely low energy consumption. This very challenging energy-efficiency requirement is a sine qua non to success not only for mobile and wearable systems, where power dissipation and cost budgets are very low, but also for large data centers where energy consumption is a main component of the total cost of ownership.
Current processor architectures (including general-purpose cores and GPUs) are not a good fit for this type of systems since they keep the same basic organization as early computers, which were mainly optimized for “number crunching”. CoCoUnit will take a disruptive direction by investigating unconventional architectures that can offer orders of magnitude better efficiency in terms of performance per energy and cost for cognitive computing tasks. The ultimate goal of this project is to devise a novel processing unit that will be integrated with the existing units of a processor (general-purpose cores and GPUs) and altogether will be able to deliver cognitive computing user experiences with extremely high energy-efficiency.
Summary
There is a fast-growing interest in extending the capabilities of computing systems to perform human-like tasks in an intelligent way. These technologies are usually referred to as cognitive computing. We envision a next revolution in computing in the forthcoming years that will be driven by deploying many “intelligent” devices around us in all kind of environments (work, entertainment, transportation, health care, etc.) backed up by “intelligent” servers in the cloud. These cognitive computing systems will provide new user experiences by delivering new services or improving the operational efficiency of existing ones, and altogether will enrich our lives and our economy.
A key characteristic of cognitive computing systems will be their capability to process in real time large amounts of data coming from audio and vision devices, and other type of sensors. This will demand a very high computing power but at the same time an extremely low energy consumption. This very challenging energy-efficiency requirement is a sine qua non to success not only for mobile and wearable systems, where power dissipation and cost budgets are very low, but also for large data centers where energy consumption is a main component of the total cost of ownership.
Current processor architectures (including general-purpose cores and GPUs) are not a good fit for this type of systems since they keep the same basic organization as early computers, which were mainly optimized for “number crunching”. CoCoUnit will take a disruptive direction by investigating unconventional architectures that can offer orders of magnitude better efficiency in terms of performance per energy and cost for cognitive computing tasks. The ultimate goal of this project is to devise a novel processing unit that will be integrated with the existing units of a processor (general-purpose cores and GPUs) and altogether will be able to deliver cognitive computing user experiences with extremely high energy-efficiency.
Max ERC Funding
2 498 661 €
Duration
Start date: 2019-09-01, End date: 2024-08-31
Project acronym CUHL
Project Controlling Ultrafast Heat in Layered materials
Researcher (PI) Klaas-Jan TIELROOIJ
Host Institution (HI) FUNDACIO INSTITUT CATALA DE NANOCIENCIA I NANOTECNOLOGIA
Call Details Starting Grant (StG), PE3, ERC-2018-STG
Summary In this project I propose to take advantage of the enormous potential created by the recent material science revolution based on two-dimensional (2D) layered materials, by bringing it to the arena of nanoscale heat transport, where heat transport occurs on ultrafast timescales. This opens up a new research field of controllable ultrafast heat transport in layered materials. In particular, I will take advantage of the myriad of possibilities for miniature material and device design, with unprecedented controllability and versatility, offered by Van der Waals (VdW) heterostructures – stacks of different layered materials assembled on top of each other – and 1D systems of layered materials.
Specifically, I will introduce novel device geometries based on VdW heterostructures for passively and actively controlling phonon modes and thermal transport. This will be measured mainly using time-domain thermoreflectance measurements. I will also develop novel time-resolved measurement techniques to follow heat spreading and coupling between different heat carriers: light, phonons, and electrons. These techniques will be mainly based on time-resolved infrared/Raman spectroscopy and photocurrent scanning microscopy. Moreover, I will study one-dimensional layered materials and assess their thermoelectric properties using electrical measurements. And finally, I will combine these results into hybrid devices with a photoactive layer, in order to demonstrate how phonon control allows for tuning of electrical and optoelectronic properties.
The results of this project will have an impact on the major research fields of phononics, electronics and photonics, revealing novel physical phenomena. Additionally, the results are likely to be useful towards applications such as thermal management, thermoelectrics, photovoltaics and photodetection.
Summary
In this project I propose to take advantage of the enormous potential created by the recent material science revolution based on two-dimensional (2D) layered materials, by bringing it to the arena of nanoscale heat transport, where heat transport occurs on ultrafast timescales. This opens up a new research field of controllable ultrafast heat transport in layered materials. In particular, I will take advantage of the myriad of possibilities for miniature material and device design, with unprecedented controllability and versatility, offered by Van der Waals (VdW) heterostructures – stacks of different layered materials assembled on top of each other – and 1D systems of layered materials.
Specifically, I will introduce novel device geometries based on VdW heterostructures for passively and actively controlling phonon modes and thermal transport. This will be measured mainly using time-domain thermoreflectance measurements. I will also develop novel time-resolved measurement techniques to follow heat spreading and coupling between different heat carriers: light, phonons, and electrons. These techniques will be mainly based on time-resolved infrared/Raman spectroscopy and photocurrent scanning microscopy. Moreover, I will study one-dimensional layered materials and assess their thermoelectric properties using electrical measurements. And finally, I will combine these results into hybrid devices with a photoactive layer, in order to demonstrate how phonon control allows for tuning of electrical and optoelectronic properties.
The results of this project will have an impact on the major research fields of phononics, electronics and photonics, revealing novel physical phenomena. Additionally, the results are likely to be useful towards applications such as thermal management, thermoelectrics, photovoltaics and photodetection.
Max ERC Funding
1 475 000 €
Duration
Start date: 2018-12-01, End date: 2023-11-30
Project acronym CUSTOMER
Project Customizable Embedded Real-Time Systems: Challenges and Key Techniques
Researcher (PI) Yi WANG
Host Institution (HI) UPPSALA UNIVERSITET
Call Details Advanced Grant (AdG), PE6, ERC-2018-ADG
Summary Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Summary
Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Max ERC Funding
2 499 894 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym EAR
Project Audio-based Mobile Health Diagnostics
Researcher (PI) Cecilia MASCOLO
Host Institution (HI) THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Call Details Advanced Grant (AdG), PE6, ERC-2018-ADG
Summary Mobile health is becoming the holy grail for affordable medical diagnostics. It has the potential of associating human behaviour with medical symptoms automatically and at early disease stage; it also offers cheap deployment, reaching populations generally not able to afford diagnosis and delivering a level of monitoring so fine which will likely improve diagnostic theory itself. The advancements of technology offer new ranges of sensing and computation capability with the potential of further improving the reach of mobile health. Audio sensing through microphones of mobile devices has recently being recognized as a powerful and yet underutilized source of medical information: sounds from the human body (e.g., sighs, breathing sounds and voice) are indicators of disease or disease onsets. The current pilots, while generally medically grounded, are potentially ad-hoc from the perspective of key areas of computer science; specifically, in their approaches to computational models and how the system resource demands are optimized to fit within the limits of the mobile devices, as well as in terms of robustness needed for tracking people in their daily lives. Audio sensing also comes with challenges which threaten its use in clinical context: its power hungry nature and the fact that audio data is very sensitive and the collection of this sort of data for analytics violates obvious ethical rules. This work proposes models to link sounds to disease diagnosis and to deal with the inherent issues raised by in-the-wild sensing: noise and privacy concerns. We exploit these audio models in wearable systems maximizing the use of local hardware resources with power optimization and accuracy in both near real time and sparse audio sampling. Privacy will arise as a by-product taking away the need of cloud analytics. Moreover, the framework will embed the ability to quantify the diagnostic uncertainty and consider patient context as confounding factors via additional sensors.
Summary
Mobile health is becoming the holy grail for affordable medical diagnostics. It has the potential of associating human behaviour with medical symptoms automatically and at early disease stage; it also offers cheap deployment, reaching populations generally not able to afford diagnosis and delivering a level of monitoring so fine which will likely improve diagnostic theory itself. The advancements of technology offer new ranges of sensing and computation capability with the potential of further improving the reach of mobile health. Audio sensing through microphones of mobile devices has recently being recognized as a powerful and yet underutilized source of medical information: sounds from the human body (e.g., sighs, breathing sounds and voice) are indicators of disease or disease onsets. The current pilots, while generally medically grounded, are potentially ad-hoc from the perspective of key areas of computer science; specifically, in their approaches to computational models and how the system resource demands are optimized to fit within the limits of the mobile devices, as well as in terms of robustness needed for tracking people in their daily lives. Audio sensing also comes with challenges which threaten its use in clinical context: its power hungry nature and the fact that audio data is very sensitive and the collection of this sort of data for analytics violates obvious ethical rules. This work proposes models to link sounds to disease diagnosis and to deal with the inherent issues raised by in-the-wild sensing: noise and privacy concerns. We exploit these audio models in wearable systems maximizing the use of local hardware resources with power optimization and accuracy in both near real time and sparse audio sampling. Privacy will arise as a by-product taking away the need of cloud analytics. Moreover, the framework will embed the ability to quantify the diagnostic uncertainty and consider patient context as confounding factors via additional sensors.
Max ERC Funding
2 493 724 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym ECHO
Project Extending Coherence for Hardware-Driven Optimizations in Multicore Architectures
Researcher (PI) Alberto ROS BARDISA
Host Institution (HI) UNIVERSIDAD DE MURCIA
Call Details Consolidator Grant (CoG), PE6, ERC-2018-COG
Summary Multicore processors are present nowadays in most digital devices, from smartphones to high-performance
servers. The increasing computational power of these processors is essential for enabling many important
emerging application domains such as big-data, media, medical, or scientific modeling. A fundamental
technique to improve performance is speculation, a technique that consists in executing work before it is
known if it is actually needed. In hardware, speculation significantly increases energy consumption by
performing unnecessary operations, while speculation in software (e.g., compilers) is not the default thus
preventing performance optimizations. Since performance in current multicores is limited by their power
budget, it is imperative to make multicores as energy-efficient as possible to increase performance even
further.
In a multicore architecture, the cache coherence protocol is an essential component since its unique but
challenging role is to offer a simple and unified view of the memory hierarchy. This project envisions that
extending the role of the coherence protocol to simplify other system components will be the key to
overcome the performance and energy limitations of current multicores. In particular, ECHO proposes to
add simple but effective extensions to the cache coherence protocol in order to (i) reduce and even
eliminate misspeculations at the processing cores and synchronization mechanisms and to (ii) enable
speculative optimizations at compile time. The goal of this innovative approach is to improve the
performance and energy efficiency of future multicore architectures. To accomplish the objectives
proposed in this project, I will build on my 14 years expertise in cache coherence, documented in over 40
publications of high impact.
Summary
Multicore processors are present nowadays in most digital devices, from smartphones to high-performance
servers. The increasing computational power of these processors is essential for enabling many important
emerging application domains such as big-data, media, medical, or scientific modeling. A fundamental
technique to improve performance is speculation, a technique that consists in executing work before it is
known if it is actually needed. In hardware, speculation significantly increases energy consumption by
performing unnecessary operations, while speculation in software (e.g., compilers) is not the default thus
preventing performance optimizations. Since performance in current multicores is limited by their power
budget, it is imperative to make multicores as energy-efficient as possible to increase performance even
further.
In a multicore architecture, the cache coherence protocol is an essential component since its unique but
challenging role is to offer a simple and unified view of the memory hierarchy. This project envisions that
extending the role of the coherence protocol to simplify other system components will be the key to
overcome the performance and energy limitations of current multicores. In particular, ECHO proposes to
add simple but effective extensions to the cache coherence protocol in order to (i) reduce and even
eliminate misspeculations at the processing cores and synchronization mechanisms and to (ii) enable
speculative optimizations at compile time. The goal of this innovative approach is to improve the
performance and energy efficiency of future multicore architectures. To accomplish the objectives
proposed in this project, I will build on my 14 years expertise in cache coherence, documented in over 40
publications of high impact.
Max ERC Funding
1 999 955 €
Duration
Start date: 2019-09-01, End date: 2024-08-31
Project acronym ENFORCE
Project ENgineering FrustratiOn in aRtificial Colloidal icEs:degeneracy, exotic lattices and 3D states
Researcher (PI) pietro TIERNO
Host Institution (HI) UNIVERSITAT DE BARCELONA
Call Details Consolidator Grant (CoG), PE3, ERC-2018-COG
Summary Geometric frustration, namely the impossibility of satisfying competing interactions on a lattice, has recently
become a topic of considerable interest as it engenders emergent, fundamentally new phenomena and holds
the exciting promise of delivering a new class of nanoscale devices based on the motion of magnetic charges.
With ENFORCE, I propose to realize two and three dimensional artificial colloidal ices and investigate the
fascinating manybody physics of geometric frustration in these mesoscopic structures. I will use these soft
matter systems to engineer novel frustrated states through independent control of the single particle
positions, lattice topology and collective magnetic coupling. The three project work packages (WPs) will
present increasing levels of complexity, challenge and ambition:
(i) In WP1, I will demonstrate a way to restore the residual entropy in the square ice, a fundamental longstanding
problem in the field. Furthermore, I will miniaturize the square and the honeycomb geometries and investigate the dynamics of thermally excited topological defects and the formation of grain boundaries.
(ii) In WP2, I will decimate both lattices and realize mixed coordination geometries, where the similarity
between the colloidal and spin ice systems breaks down. I will then develop a novel annealing protocol based
on the simultaneous system visualization and magnetic actuation control.
(iii) In WP3, I will realize a three dimensional artificial colloidal ice, in which interacting ferromagnetic
inclusions will be located in the voids of an inverse opal, and arranged to form the FCC or the pyrochlore
lattices. External fields will be used to align, bias and stir these magnetic inclusions while monitoring in situ
their orientation and dynamics via laser scanning confocal microscopy.
ENFORCE will exploit the accessible time and length scales of the colloidal ice to shed new light on the
exciting and interdisciplinary field of geometric frustration.
Summary
Geometric frustration, namely the impossibility of satisfying competing interactions on a lattice, has recently
become a topic of considerable interest as it engenders emergent, fundamentally new phenomena and holds
the exciting promise of delivering a new class of nanoscale devices based on the motion of magnetic charges.
With ENFORCE, I propose to realize two and three dimensional artificial colloidal ices and investigate the
fascinating manybody physics of geometric frustration in these mesoscopic structures. I will use these soft
matter systems to engineer novel frustrated states through independent control of the single particle
positions, lattice topology and collective magnetic coupling. The three project work packages (WPs) will
present increasing levels of complexity, challenge and ambition:
(i) In WP1, I will demonstrate a way to restore the residual entropy in the square ice, a fundamental longstanding
problem in the field. Furthermore, I will miniaturize the square and the honeycomb geometries and investigate the dynamics of thermally excited topological defects and the formation of grain boundaries.
(ii) In WP2, I will decimate both lattices and realize mixed coordination geometries, where the similarity
between the colloidal and spin ice systems breaks down. I will then develop a novel annealing protocol based
on the simultaneous system visualization and magnetic actuation control.
(iii) In WP3, I will realize a three dimensional artificial colloidal ice, in which interacting ferromagnetic
inclusions will be located in the voids of an inverse opal, and arranged to form the FCC or the pyrochlore
lattices. External fields will be used to align, bias and stir these magnetic inclusions while monitoring in situ
their orientation and dynamics via laser scanning confocal microscopy.
ENFORCE will exploit the accessible time and length scales of the colloidal ice to shed new light on the
exciting and interdisciplinary field of geometric frustration.
Max ERC Funding
1 850 298 €
Duration
Start date: 2020-01-01, End date: 2024-12-31
Project acronym FastCode
Project The Next 100 Optimizing Compilers
Researcher (PI) Greta Yorsh
Host Institution (HI) QUEEN MARY UNIVERSITY OF LONDON
Call Details Starting Grant (StG), PE6, ERC-2018-STG
Summary Ideally, advances in hardware design would directly translate to performance or energy improvements in software. In reality, this involves a manual process of tuning a sophisticated production compiler or hardware-specific rewriting of code. This process is challenging even for the few experts who possess the required range of skills. Moreover, any errors introduced in this process affect the entire software stack and likely compromise its reliability and security.
The aim of this project is to enable software to take full advantage of the capabilities of emerging microprocessor designs without modifying the compiler.
Towards this end, we propose a new approach to code generation and optimization. Our approach uses constraint solving in a novel way to generate efficient code for modern architectures and guarantee that the generated code correctly implements the source code.
Unlike existing superoptimization and synthesis methods, our approach shifts the entire search problem into the solver. Tight integration with the solver provides a way to reuse reasoning steps and guide the solver using domain specific
information about the input program and the target architecture.
This approach paves the way to employing recent advances in SMT solvers and has the potential to advance SMT solvers
further by providing a new category of challenging benchmarks that come from an industrial application domain.
I expect this project to revolutionize the way compilers perform hardware-specific optimizations. It will eliminate an entire class of software errors and unrealized potential performance gains caused by modern optimizing compilers. It will also aid hardware designers by providing greater flexibility for design explorations and faster deployment of new hardware. Thus, this project will lead to significant improvement in performance and stability of software systems, as well as a fundamental impact on several scientific fields.
Summary
Ideally, advances in hardware design would directly translate to performance or energy improvements in software. In reality, this involves a manual process of tuning a sophisticated production compiler or hardware-specific rewriting of code. This process is challenging even for the few experts who possess the required range of skills. Moreover, any errors introduced in this process affect the entire software stack and likely compromise its reliability and security.
The aim of this project is to enable software to take full advantage of the capabilities of emerging microprocessor designs without modifying the compiler.
Towards this end, we propose a new approach to code generation and optimization. Our approach uses constraint solving in a novel way to generate efficient code for modern architectures and guarantee that the generated code correctly implements the source code.
Unlike existing superoptimization and synthesis methods, our approach shifts the entire search problem into the solver. Tight integration with the solver provides a way to reuse reasoning steps and guide the solver using domain specific
information about the input program and the target architecture.
This approach paves the way to employing recent advances in SMT solvers and has the potential to advance SMT solvers
further by providing a new category of challenging benchmarks that come from an industrial application domain.
I expect this project to revolutionize the way compilers perform hardware-specific optimizations. It will eliminate an entire class of software errors and unrealized potential performance gains caused by modern optimizing compilers. It will also aid hardware designers by providing greater flexibility for design explorations and faster deployment of new hardware. Thus, this project will lead to significant improvement in performance and stability of software systems, as well as a fundamental impact on several scientific fields.
Max ERC Funding
1 500 000 €
Duration
Start date: 2019-12-01, End date: 2024-11-30
Project acronym FUN2MODEL
Project From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning
Researcher (PI) Marta KWIATKOWSKA
Host Institution (HI) THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Call Details Advanced Grant (AdG), PE6, ERC-2018-ADG
Summary Machine learning is revolutionising computer science and AI. Much of its success is due to deep neural networks, which have demonstrated outstanding performance in perception tasks such as image classification. Solutions based on deep learning are now being deployed in real-world systems, from virtual personal assistants to self-driving cars. Unfortunately, the black-box nature and instability of deep neural networks is raising concerns about the readiness of this technology. Efforts to address robustness of deep learning are emerging, but are limited to simple properties and function-based perception tasks that learn data associations. While perception is an essential feature of an artificial agent, achieving beneficial collaboration between human and artificial agents requires models of autonomy, inference, decision making, control and coordination that significantly go beyond perception. To address this challenge, this project will capitalise on recent breakthroughs by the PI and develop a model-based, probabilistic reasoning framework for autonomous agents with cognitive aspects, which supports reasoning about their decisions, agent interactions and inferences that capture cognitive information, in presence of uncertainty and partial observability. The objectives are to develop novel probabilistic verification and synthesis techniques to guarantee safety, robustness and fairness for complex decisions based on machine learning, formulate a comprehensive, compositional game-based modelling framework for reasoning about systems of autonomous agents and their interactions, and evaluate the techniques on a variety of case studies.
Addressing these challenges will require a fundamental shift towards Bayesian methods, and development of new, scalable, techniques, which differ from conventional probabilistic verification. If successful, the project will result in major advances in the quest towards provably robust and beneficial AI.
Summary
Machine learning is revolutionising computer science and AI. Much of its success is due to deep neural networks, which have demonstrated outstanding performance in perception tasks such as image classification. Solutions based on deep learning are now being deployed in real-world systems, from virtual personal assistants to self-driving cars. Unfortunately, the black-box nature and instability of deep neural networks is raising concerns about the readiness of this technology. Efforts to address robustness of deep learning are emerging, but are limited to simple properties and function-based perception tasks that learn data associations. While perception is an essential feature of an artificial agent, achieving beneficial collaboration between human and artificial agents requires models of autonomy, inference, decision making, control and coordination that significantly go beyond perception. To address this challenge, this project will capitalise on recent breakthroughs by the PI and develop a model-based, probabilistic reasoning framework for autonomous agents with cognitive aspects, which supports reasoning about their decisions, agent interactions and inferences that capture cognitive information, in presence of uncertainty and partial observability. The objectives are to develop novel probabilistic verification and synthesis techniques to guarantee safety, robustness and fairness for complex decisions based on machine learning, formulate a comprehensive, compositional game-based modelling framework for reasoning about systems of autonomous agents and their interactions, and evaluate the techniques on a variety of case studies.
Addressing these challenges will require a fundamental shift towards Bayesian methods, and development of new, scalable, techniques, which differ from conventional probabilistic verification. If successful, the project will result in major advances in the quest towards provably robust and beneficial AI.
Max ERC Funding
2 417 890 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym MesoPhone
Project Vibrating carbon nanotubes for probing quantum systems at the mesoscale
Researcher (PI) Edward LAIRD
Host Institution (HI) UNIVERSITY OF LANCASTER
Call Details Consolidator Grant (CoG), PE3, ERC-2018-COG
Summary Many fascinating quantum behaviours occur on a scale that is intermediate between individual particles and large ensembles. It is on this mesoscopic scale that collective properties, including quantum decoherence, start to emerge.
This project will use vibrating carbon nanotubes – like guitar strings just a micrometre long – as mechanical probes in this intermediate regime. Nanotubes are ideal to explore this region experimentally, because they can be isolated from thermal noise; they are deflected by tiny forces; and they are small enough that quantum jitter significantly affects their behaviour. To take advantage of these properties, I will integrate nanotube resonators into electromechanical circuits that allow sensitive measurements at very low temperature.
First, I will study the motional decoherence of the nanotube itself, by using it as the test particle in a new kind of quantum interferometer. This experiment works by integrating the nanotube into a superconducting qubit, and will represent a test of quantum superposition on a larger mass scale than ever before. It will answer a longstanding question of physics: can a moving object, containing millions of particles, exist in a superposition of states?
Second, I will use the nanotube device as a tool to study superfluid helium 3 – the mysterious state of matter that may emulate the interacting quantum fields of the early universe. By measuring an immersed nanotube viscometer, I will be able to measure the behaviour of superfluid excitations on a scale where bulk superfluidity begins to break down.
Third, I will add to the device a nanomagnet on nanotube springs, creating an ultra-sensitive magnetic force sensor. This offers a way to perform nuclear magnetic resonance on a chip, ultimately creating a microscopy tool that could image for example single viruses.
Summary
Many fascinating quantum behaviours occur on a scale that is intermediate between individual particles and large ensembles. It is on this mesoscopic scale that collective properties, including quantum decoherence, start to emerge.
This project will use vibrating carbon nanotubes – like guitar strings just a micrometre long – as mechanical probes in this intermediate regime. Nanotubes are ideal to explore this region experimentally, because they can be isolated from thermal noise; they are deflected by tiny forces; and they are small enough that quantum jitter significantly affects their behaviour. To take advantage of these properties, I will integrate nanotube resonators into electromechanical circuits that allow sensitive measurements at very low temperature.
First, I will study the motional decoherence of the nanotube itself, by using it as the test particle in a new kind of quantum interferometer. This experiment works by integrating the nanotube into a superconducting qubit, and will represent a test of quantum superposition on a larger mass scale than ever before. It will answer a longstanding question of physics: can a moving object, containing millions of particles, exist in a superposition of states?
Second, I will use the nanotube device as a tool to study superfluid helium 3 – the mysterious state of matter that may emulate the interacting quantum fields of the early universe. By measuring an immersed nanotube viscometer, I will be able to measure the behaviour of superfluid excitations on a scale where bulk superfluidity begins to break down.
Third, I will add to the device a nanomagnet on nanotube springs, creating an ultra-sensitive magnetic force sensor. This offers a way to perform nuclear magnetic resonance on a chip, ultimately creating a microscopy tool that could image for example single viruses.
Max ERC Funding
2 748 271 €
Duration
Start date: 2019-03-01, End date: 2024-02-29