Project acronym 2DQP
Project Two-dimensional quantum photonics
Researcher (PI) Brian David GERARDOT
Host Institution (HI) HERIOT-WATT UNIVERSITY
Call Details Consolidator Grant (CoG), PE3, ERC-2016-COG
Summary Quantum optics, the study of how discrete packets of light (photons) and matter interact, has led to the development of remarkable new technologies which exploit the bizarre properties of quantum mechanics. These quantum technologies are primed to revolutionize the fields of communication, information processing, and metrology in the coming years. Similar to contemporary technologies, the future quantum machinery will likely consist of a semiconductor platform to create and process the quantum information. However, to date the demanding requirements on a quantum photonic platform have yet to be satisfied with conventional bulk (three-dimensional) semiconductors.
To surmount these well-known obstacles, a new paradigm in quantum photonics is required. Initiated by the recent discovery of single photon emitters in atomically flat (two-dimensional) semiconducting materials, 2DQP aims to be at the nucleus of a new approach by realizing quantum optics with ultra-stable (coherent) quantum states integrated into devices with electronic and photonic functionality. We will characterize, identify, engineer, and coherently manipulate localized quantum states in this two-dimensional quantum photonic platform. A vital component of 2DQP’s vision is to go beyond the fundamental science and achieve the ideal solid-state single photon device yielding perfect extraction - 100% efficiency - of on-demand indistinguishable single photons. Finally, we will exploit this ideal device to implement the critical building block for a photonic quantum computer.
Summary
Quantum optics, the study of how discrete packets of light (photons) and matter interact, has led to the development of remarkable new technologies which exploit the bizarre properties of quantum mechanics. These quantum technologies are primed to revolutionize the fields of communication, information processing, and metrology in the coming years. Similar to contemporary technologies, the future quantum machinery will likely consist of a semiconductor platform to create and process the quantum information. However, to date the demanding requirements on a quantum photonic platform have yet to be satisfied with conventional bulk (three-dimensional) semiconductors.
To surmount these well-known obstacles, a new paradigm in quantum photonics is required. Initiated by the recent discovery of single photon emitters in atomically flat (two-dimensional) semiconducting materials, 2DQP aims to be at the nucleus of a new approach by realizing quantum optics with ultra-stable (coherent) quantum states integrated into devices with electronic and photonic functionality. We will characterize, identify, engineer, and coherently manipulate localized quantum states in this two-dimensional quantum photonic platform. A vital component of 2DQP’s vision is to go beyond the fundamental science and achieve the ideal solid-state single photon device yielding perfect extraction - 100% efficiency - of on-demand indistinguishable single photons. Finally, we will exploit this ideal device to implement the critical building block for a photonic quantum computer.
Max ERC Funding
1 999 135 €
Duration
Start date: 2018-01-01, End date: 2022-12-31
Project acronym 321
Project from Cubic To Linear complexity in computational electromagnetics
Researcher (PI) Francesco Paolo ANDRIULLI
Host Institution (HI) POLITECNICO DI TORINO
Call Details Consolidator Grant (CoG), PE7, ERC-2016-COG
Summary Computational Electromagnetics (CEM) is the scientific field at the origin of all new modeling and simulation tools required by the constantly arising design challenges of emerging and future technologies in applied electromagnetics. As in many other technological fields, however, the trend in all emerging technologies in electromagnetic engineering is going towards miniaturized, higher density and multi-scale scenarios. Computationally speaking this translates in the steep increase of the number of degrees of freedom. Given that the design cost (the cost of a multi-right-hand side problem dominated by matrix inversion) can scale as badly as cubically with these degrees of freedom, this fact, as pointed out by many, will sensibly compromise the practical impact of CEM on future and emerging technologies.
For this reason, the CEM scientific community has been looking for years for a FFT-like paradigm shift: a dynamic fast direct solver providing a design cost that would scale only linearly with the degrees of freedom. Such a fast solver is considered today a Holy Grail of the discipline.
The Grand Challenge of 321 will be to tackle this Holy Grail in Computational Electromagnetics by investigating a dynamic Fast Direct Solver for Maxwell Problems that would run in a linear-instead-of-cubic complexity for an arbitrary number and configuration of degrees of freedom.
The failure of all previous attempts will be overcome by a game-changing transformation of the CEM classical problem that will leverage on a recent breakthrough of the PI. Starting from this, the project will investigate an entire new paradigm for impacting algorithms to achieve this grand challenge.
The impact of the FFT’s quadratic-to-linear paradigm shift shows how computational complexity reductions can be groundbreaking on applications. The cubic-to-linear paradigm shift, which the 321 project will aim for, will have such a rupturing impact on electromagnetic science and technology.
Summary
Computational Electromagnetics (CEM) is the scientific field at the origin of all new modeling and simulation tools required by the constantly arising design challenges of emerging and future technologies in applied electromagnetics. As in many other technological fields, however, the trend in all emerging technologies in electromagnetic engineering is going towards miniaturized, higher density and multi-scale scenarios. Computationally speaking this translates in the steep increase of the number of degrees of freedom. Given that the design cost (the cost of a multi-right-hand side problem dominated by matrix inversion) can scale as badly as cubically with these degrees of freedom, this fact, as pointed out by many, will sensibly compromise the practical impact of CEM on future and emerging technologies.
For this reason, the CEM scientific community has been looking for years for a FFT-like paradigm shift: a dynamic fast direct solver providing a design cost that would scale only linearly with the degrees of freedom. Such a fast solver is considered today a Holy Grail of the discipline.
The Grand Challenge of 321 will be to tackle this Holy Grail in Computational Electromagnetics by investigating a dynamic Fast Direct Solver for Maxwell Problems that would run in a linear-instead-of-cubic complexity for an arbitrary number and configuration of degrees of freedom.
The failure of all previous attempts will be overcome by a game-changing transformation of the CEM classical problem that will leverage on a recent breakthrough of the PI. Starting from this, the project will investigate an entire new paradigm for impacting algorithms to achieve this grand challenge.
The impact of the FFT’s quadratic-to-linear paradigm shift shows how computational complexity reductions can be groundbreaking on applications. The cubic-to-linear paradigm shift, which the 321 project will aim for, will have such a rupturing impact on electromagnetic science and technology.
Max ERC Funding
2 000 000 €
Duration
Start date: 2017-09-01, End date: 2022-08-31
Project acronym ACrossWire
Project A Cross-Correlated Approach to Engineering Nitride Nanowires
Researcher (PI) Hannah Jane JOYCE
Host Institution (HI) THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Call Details Starting Grant (StG), PE7, ERC-2016-STG
Summary Nanowires based on group III–nitride semiconductors exhibit outstanding potential for emerging applications in energy-efficient lighting, optoelectronics and solar energy harvesting. Nitride nanowires, tailored at the nanoscale, should overcome many of the challenges facing conventional planar nitride materials, and also add extraordinary new functionality to these materials. However, progress towards III–nitride nanowire devices has been hampered by the challenges in quantifying nanowire electrical properties using conventional contact-based measurements. Without reliable electrical transport data, it is extremely difficult to optimise nanowire growth and device design. This project aims to overcome this problem through an unconventional approach: advanced contact-free electrical measurements. Contact-free measurements, growth studies, and device studies will be cross-correlated to provide unprecedented insight into the growth mechanisms that govern nanowire electronic properties and ultimately dictate device performance. A key contact-free technique at the heart of this proposal is ultrafast terahertz conductivity spectroscopy: an advanced technique ideal for probing nanowire electrical properties. We will develop new methods to enable the full suite of contact-free (including terahertz, photoluminescence and cathodoluminescence measurements) and contact-based measurements to be performed with high spatial resolution on the same nanowires. This will provide accurate, comprehensive and cross-correlated feedback to guide growth studies and expedite the targeted development of nanowires with specified functionality. We will apply this powerful approach to tailor nanowires as photoelectrodes for solar photoelectrochemical water splitting. This is an application for which nitride nanowires have outstanding, yet unfulfilled, potential. This project will thus harness the true potential of nitride nanowires and bring them to the forefront of 21st century technology.
Summary
Nanowires based on group III–nitride semiconductors exhibit outstanding potential for emerging applications in energy-efficient lighting, optoelectronics and solar energy harvesting. Nitride nanowires, tailored at the nanoscale, should overcome many of the challenges facing conventional planar nitride materials, and also add extraordinary new functionality to these materials. However, progress towards III–nitride nanowire devices has been hampered by the challenges in quantifying nanowire electrical properties using conventional contact-based measurements. Without reliable electrical transport data, it is extremely difficult to optimise nanowire growth and device design. This project aims to overcome this problem through an unconventional approach: advanced contact-free electrical measurements. Contact-free measurements, growth studies, and device studies will be cross-correlated to provide unprecedented insight into the growth mechanisms that govern nanowire electronic properties and ultimately dictate device performance. A key contact-free technique at the heart of this proposal is ultrafast terahertz conductivity spectroscopy: an advanced technique ideal for probing nanowire electrical properties. We will develop new methods to enable the full suite of contact-free (including terahertz, photoluminescence and cathodoluminescence measurements) and contact-based measurements to be performed with high spatial resolution on the same nanowires. This will provide accurate, comprehensive and cross-correlated feedback to guide growth studies and expedite the targeted development of nanowires with specified functionality. We will apply this powerful approach to tailor nanowires as photoelectrodes for solar photoelectrochemical water splitting. This is an application for which nitride nanowires have outstanding, yet unfulfilled, potential. This project will thus harness the true potential of nitride nanowires and bring them to the forefront of 21st century technology.
Max ERC Funding
1 499 195 €
Duration
Start date: 2017-04-01, End date: 2022-03-31
Project acronym ADSNeSP
Project Active and Driven Systems: Nonequilibrium Statistical Physics
Researcher (PI) Michael Elmhirst CATES
Host Institution (HI) THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Call Details Advanced Grant (AdG), PE3, ERC-2016-ADG
Summary Active Matter systems, such as self-propelled colloids, violate time-reversal symmetry by producing entropy locally, typically converting fuel into mechanical motion at the particle scale. Other driven systems instead produce entropy because of global forcing by external fields, or boundary conditions that impose macroscopic fluxes (such as the momentum flux across a fluid sheared between moving parallel walls).
Nonequilibrium statistical physics (NeSP) is the basic toolbox for both classes of system. In recent years, much progress in NeSP has stemmed from bottom-up work on driven systems. This has provided a number of exactly solved benchmark models, and extended approximation techniques to address driven non-ergodic systems, such as sheared glasses. Meanwhile, work on fluctuation theorems and stochastic thermodynamics have created profound, model-independent insights into dynamics far from equilibrium.
More recently, the field of Active Matter has moved forward rapidly, leaving in its wake a series of generic and profound NeSP questions that now need answers: When is time-reversal symmetry, broken at the microscale, restored by coarse-graining? If it is restored, is an effective thermodynamic description is possible? How different is an active system's behaviour from a globally forced one?
ADSNeSP aims to distil from recent Active Matter research such fundamental questions; answer them first in the context of specific models and second in more general terms; and then, using the tools and insights gained, shed new light on longstanding problems in the wider class of driven systems.
I believe these new tools and insights will be substantial, because local activity takes systems far from equilibrium in a conceptually distinct direction from most types of global driving. By focusing on general principles and on simple models of activity, I seek to create a new vantage point that can inform, and potentially transform, wider areas of statistical physics.
Summary
Active Matter systems, such as self-propelled colloids, violate time-reversal symmetry by producing entropy locally, typically converting fuel into mechanical motion at the particle scale. Other driven systems instead produce entropy because of global forcing by external fields, or boundary conditions that impose macroscopic fluxes (such as the momentum flux across a fluid sheared between moving parallel walls).
Nonequilibrium statistical physics (NeSP) is the basic toolbox for both classes of system. In recent years, much progress in NeSP has stemmed from bottom-up work on driven systems. This has provided a number of exactly solved benchmark models, and extended approximation techniques to address driven non-ergodic systems, such as sheared glasses. Meanwhile, work on fluctuation theorems and stochastic thermodynamics have created profound, model-independent insights into dynamics far from equilibrium.
More recently, the field of Active Matter has moved forward rapidly, leaving in its wake a series of generic and profound NeSP questions that now need answers: When is time-reversal symmetry, broken at the microscale, restored by coarse-graining? If it is restored, is an effective thermodynamic description is possible? How different is an active system's behaviour from a globally forced one?
ADSNeSP aims to distil from recent Active Matter research such fundamental questions; answer them first in the context of specific models and second in more general terms; and then, using the tools and insights gained, shed new light on longstanding problems in the wider class of driven systems.
I believe these new tools and insights will be substantial, because local activity takes systems far from equilibrium in a conceptually distinct direction from most types of global driving. By focusing on general principles and on simple models of activity, I seek to create a new vantage point that can inform, and potentially transform, wider areas of statistical physics.
Max ERC Funding
2 043 630 €
Duration
Start date: 2017-10-01, End date: 2022-09-30
Project acronym AlCat
Project Bond activation and catalysis with low-valent aluminium
Researcher (PI) Michael James COWLEY
Host Institution (HI) THE UNIVERSITY OF EDINBURGH
Call Details Starting Grant (StG), PE5, ERC-2016-STG
Summary This project will develop the principles required to enable bond-modifying redox catalysis based on aluminium by preparing and studying new Al(I) compounds capable of reversible oxidative addition.
Catalytic processes are involved in the synthesis of 75 % of all industrially produced chemicals, but most catalysts involved are based on precious metals such as rhodium, palladium or platinum. These metals are expensive and their supply limited and unstable; there is a significant need to develop the chemistry of non-precious metals as alternatives. On toxicity and abundance alone, aluminium is an attractive candidate. Furthermore, recent work, including in our group, has demonstrated that Al(I) compounds can perform a key step in catalytic cycles - the oxidative addition of E-H bonds.
In order to realise the significant potential of Al(I) for transition-metal style catalysis we urgently need to:
- establish the principles governing oxidative addition and reductive elimination reactivity in aluminium systems.
- know how the reactivity of Al(I) compounds can be controlled by varying properties of ligand frameworks.
- understand the onward reactivity of oxidative addition products of Al(I) to enable applications in catalysis.
In this project we will:
- Study mechanisms of oxidative addition and reductive elimination of a range of synthetically relevant bonds at Al(I) centres, establishing the principles governing this fundamental reactivity.
- Develop new ligand frameworks to support of Al(I) centres and evaluate the effect of the ligand on oxidative addition/reductive elimination at Al centres.
- Investigate methods for Al-mediated functionalisation of organic compounds by exploring the reactivity of E-H oxidative addition products with unsaturated organic compounds.
Summary
This project will develop the principles required to enable bond-modifying redox catalysis based on aluminium by preparing and studying new Al(I) compounds capable of reversible oxidative addition.
Catalytic processes are involved in the synthesis of 75 % of all industrially produced chemicals, but most catalysts involved are based on precious metals such as rhodium, palladium or platinum. These metals are expensive and their supply limited and unstable; there is a significant need to develop the chemistry of non-precious metals as alternatives. On toxicity and abundance alone, aluminium is an attractive candidate. Furthermore, recent work, including in our group, has demonstrated that Al(I) compounds can perform a key step in catalytic cycles - the oxidative addition of E-H bonds.
In order to realise the significant potential of Al(I) for transition-metal style catalysis we urgently need to:
- establish the principles governing oxidative addition and reductive elimination reactivity in aluminium systems.
- know how the reactivity of Al(I) compounds can be controlled by varying properties of ligand frameworks.
- understand the onward reactivity of oxidative addition products of Al(I) to enable applications in catalysis.
In this project we will:
- Study mechanisms of oxidative addition and reductive elimination of a range of synthetically relevant bonds at Al(I) centres, establishing the principles governing this fundamental reactivity.
- Develop new ligand frameworks to support of Al(I) centres and evaluate the effect of the ligand on oxidative addition/reductive elimination at Al centres.
- Investigate methods for Al-mediated functionalisation of organic compounds by exploring the reactivity of E-H oxidative addition products with unsaturated organic compounds.
Max ERC Funding
1 493 679 €
Duration
Start date: 2017-03-01, End date: 2022-02-28
Project acronym ALEXANDRIA
Project Large-Scale Formal Proof for the Working Mathematician
Researcher (PI) Lawrence PAULSON
Host Institution (HI) THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Call Details Advanced Grant (AdG), PE6, ERC-2016-ADG
Summary Mathematical proofs have always been prone to error. Today, proofs can be hundreds of pages long and combine results from many specialisms, making them almost impossible to check. One solution is to deploy modern verification technology. Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture. Proofs done using such tools reach a high standard of correctness.
However, existing theorem provers are unsuitable for mathematics. Their formal proofs are unreadable. They struggle to do simple tasks, such as evaluating limits. They lack much basic mathematics, and the material they do have is difficult to locate and apply.
ALEXANDRIA will create a proof development environment attractive to working mathematicians, utilising the best technology available across computer science. Its focus will be the management and use of large-scale mathematical knowledge, both theorems and algorithms. The project will employ mathematicians to investigate the formalisation of mathematics in practice. Our already substantial formalised libraries will serve as the starting point. They will be extended and annotated to support sophisticated searches. Techniques will be borrowed from machine learning, information retrieval and natural language processing. Algorithms will be treated similarly: ALEXANDRIA will help users find and invoke the proof methods and algorithms appropriate for the task.
ALEXANDRIA will provide (1) comprehensive formal mathematical libraries; (2) search within libraries, and the mining of libraries for proof patterns; (3) automated support for the construction of large formal proofs; (4) sound and practical computer algebra tools.
ALEXANDRIA will be based on legible structured proofs. Formal proofs should be not mere code, but a machine-checkable form of communication between mathematicians.
Summary
Mathematical proofs have always been prone to error. Today, proofs can be hundreds of pages long and combine results from many specialisms, making them almost impossible to check. One solution is to deploy modern verification technology. Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture. Proofs done using such tools reach a high standard of correctness.
However, existing theorem provers are unsuitable for mathematics. Their formal proofs are unreadable. They struggle to do simple tasks, such as evaluating limits. They lack much basic mathematics, and the material they do have is difficult to locate and apply.
ALEXANDRIA will create a proof development environment attractive to working mathematicians, utilising the best technology available across computer science. Its focus will be the management and use of large-scale mathematical knowledge, both theorems and algorithms. The project will employ mathematicians to investigate the formalisation of mathematics in practice. Our already substantial formalised libraries will serve as the starting point. They will be extended and annotated to support sophisticated searches. Techniques will be borrowed from machine learning, information retrieval and natural language processing. Algorithms will be treated similarly: ALEXANDRIA will help users find and invoke the proof methods and algorithms appropriate for the task.
ALEXANDRIA will provide (1) comprehensive formal mathematical libraries; (2) search within libraries, and the mining of libraries for proof patterns; (3) automated support for the construction of large formal proofs; (4) sound and practical computer algebra tools.
ALEXANDRIA will be based on legible structured proofs. Formal proofs should be not mere code, but a machine-checkable form of communication between mathematicians.
Max ERC Funding
2 430 140 €
Duration
Start date: 2017-09-01, End date: 2022-08-31
Project acronym ALUNIF
Project Algorithms and Lower Bounds: A Unified Approach
Researcher (PI) Rahul Santhanam
Host Institution (HI) THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Call Details Consolidator Grant (CoG), PE6, ERC-2013-CoG
Summary One of the fundamental goals of theoretical computer science is to
understand the possibilities and limits of efficient computation. This
quest has two dimensions. The
theory of algorithms focuses on finding efficient solutions to
problems, while computational complexity theory aims to understand when
and why problems are hard to solve. These two areas have different
philosophies and use different sets of techniques. However, in recent
years there have been indications of deep and mysterious connections
between them.
In this project, we propose to explore and develop the connections between
algorithmic analysis and complexity lower bounds in a systematic way.
On the one hand, we plan to use complexity lower bound techniques as inspiration
to design new and improved algorithms for Satisfiability and other
NP-complete problems, as well as to analyze existing algorithms better.
On the other hand, we plan to strengthen implications yielding circuit
lower bounds from non-trivial algorithms for Satisfiability, and to derive
new circuit lower bounds using these stronger implications.
This project has potential for massive impact in both the areas of algorithms
and computational complexity. Improved algorithms for Satisfiability could lead
to improved SAT solvers, and the new analytical tools would lead to a better
understanding of existing heuristics. Complexity lower bound questions are
fundamental
but notoriously difficult, and new lower bounds would open the way to
unconditionally secure cryptographic protocols and derandomization of
probabilistic algorithms. More broadly, this project aims to initiate greater
dialogue between the two areas, with an exchange of ideas and techniques
which leads to accelerated progress in both, as well as a deeper understanding
of the nature of efficient computation.
Summary
One of the fundamental goals of theoretical computer science is to
understand the possibilities and limits of efficient computation. This
quest has two dimensions. The
theory of algorithms focuses on finding efficient solutions to
problems, while computational complexity theory aims to understand when
and why problems are hard to solve. These two areas have different
philosophies and use different sets of techniques. However, in recent
years there have been indications of deep and mysterious connections
between them.
In this project, we propose to explore and develop the connections between
algorithmic analysis and complexity lower bounds in a systematic way.
On the one hand, we plan to use complexity lower bound techniques as inspiration
to design new and improved algorithms for Satisfiability and other
NP-complete problems, as well as to analyze existing algorithms better.
On the other hand, we plan to strengthen implications yielding circuit
lower bounds from non-trivial algorithms for Satisfiability, and to derive
new circuit lower bounds using these stronger implications.
This project has potential for massive impact in both the areas of algorithms
and computational complexity. Improved algorithms for Satisfiability could lead
to improved SAT solvers, and the new analytical tools would lead to a better
understanding of existing heuristics. Complexity lower bound questions are
fundamental
but notoriously difficult, and new lower bounds would open the way to
unconditionally secure cryptographic protocols and derandomization of
probabilistic algorithms. More broadly, this project aims to initiate greater
dialogue between the two areas, with an exchange of ideas and techniques
which leads to accelerated progress in both, as well as a deeper understanding
of the nature of efficient computation.
Max ERC Funding
1 274 496 €
Duration
Start date: 2014-03-01, End date: 2019-02-28
Project acronym ARS
Project Autonomous Robotic Surgery
Researcher (PI) Paolo FIORINI
Host Institution (HI) UNIVERSITA DEGLI STUDI DI VERONA
Call Details Advanced Grant (AdG), PE7, ERC-2016-ADG
Summary The goal of the ARS project is the derivation of a unified framework for the autonomous execution of robotic tasks in challenging environments in which accurate performance and safety are of paramount importance. We have chosen surgery as the research scenario because of its importance, its intrinsic challenges, and the presence of three factors that make this project feasible and timely. In fact, we have recently concluded the I-SUR project demonstrating the feasibility of autonomous surgical actions, we have access to the first big data made available to researchers of clinical robotic surgeries, and we will be able to demonstrate the project results on the high performance surgical robot “da Vinci Research Kit”. The impact of autonomous robots on the workforce is a current subject of discussion, but surgical autonomy will be welcome by the medical personnel, e.g. to carry out simple intervention steps, react faster to unexpected events, or monitor the insurgence of fatigue. The framework for autonomous robotic surgery will include five main research objectives. The first will address the analysis of robotic surgery data set to extract action and knowledge models of the intervention. The second objective will focus on planning, which will consist of instantiating the intervention models to a patient specific anatomy. The third objective will address the design of the hybrid controllers for the discrete and continuous parts of the intervention. The fourth research objective will focus on real time reasoning to assess the intervention state and the overall surgical situation. Finally, the last research objective will address the verification, validation and benchmark of the autonomous surgical robotic capabilities. The research results to be achieved by ARS will contribute to paving the way towards enhancing autonomy and operational capabilities of service robots, with the ambitious goal of bridging the gap between robotic and human task execution capability.
Summary
The goal of the ARS project is the derivation of a unified framework for the autonomous execution of robotic tasks in challenging environments in which accurate performance and safety are of paramount importance. We have chosen surgery as the research scenario because of its importance, its intrinsic challenges, and the presence of three factors that make this project feasible and timely. In fact, we have recently concluded the I-SUR project demonstrating the feasibility of autonomous surgical actions, we have access to the first big data made available to researchers of clinical robotic surgeries, and we will be able to demonstrate the project results on the high performance surgical robot “da Vinci Research Kit”. The impact of autonomous robots on the workforce is a current subject of discussion, but surgical autonomy will be welcome by the medical personnel, e.g. to carry out simple intervention steps, react faster to unexpected events, or monitor the insurgence of fatigue. The framework for autonomous robotic surgery will include five main research objectives. The first will address the analysis of robotic surgery data set to extract action and knowledge models of the intervention. The second objective will focus on planning, which will consist of instantiating the intervention models to a patient specific anatomy. The third objective will address the design of the hybrid controllers for the discrete and continuous parts of the intervention. The fourth research objective will focus on real time reasoning to assess the intervention state and the overall surgical situation. Finally, the last research objective will address the verification, validation and benchmark of the autonomous surgical robotic capabilities. The research results to be achieved by ARS will contribute to paving the way towards enhancing autonomy and operational capabilities of service robots, with the ambitious goal of bridging the gap between robotic and human task execution capability.
Max ERC Funding
2 750 000 €
Duration
Start date: 2017-10-01, End date: 2022-09-30
Project acronym ARYLATOR
Project New Catalytic Reactions and Exchange Pathways: Delivering Versatile and Reliable Arylation
Researcher (PI) Guy Charles Lloyd-Jones
Host Institution (HI) THE UNIVERSITY OF EDINBURGH
Call Details Advanced Grant (AdG), PE5, ERC-2013-ADG
Summary This proposal details the mechanism-based discovery of ground-breaking new catalyst systems for a broad range of arylation processes that will be of immediate and long-lasting utility to the pharmaceutical, agrochemical, and materials chemistry industries. These industries have become highly dependent on coupling technologies employing homogeneous late transition metal catalysis and this reliance will grow further, particularly if the substrate scope can be broadened, the economics, in terms of reagents and catalyst, made more favourable, the reliability at scale-up improved, and the generation of side-products, of particular importance for optical and electronic properties of materials, minimized or eliminated.
This proposal addresses these issues by conducting a detailed and comprehensive mechanistic investigation of direct arylation, so that a substantial expansion of the reaction scope can be achieved. At present, the regioselectivity can be very high, however catalyst turnover rates are moderate, and the arene is required to be in a fairly narrow window of activity. Specific aspects to be addressed in terms of mechanistic study are: catalyst speciation and pathways for deactivation; pathways for homocoupling; influence of anions and dummy ligands; protodemetalloidation pathways. Areas proposed for mechanism-informed development are: expansion of metalloid tolerance; expansion of arene scope; use of traceless activators and directors, new couplings via ligand exchange, the evolution of simpler / cheaper and more selective / active catalysts; expansion to oxidative double arylations (Ar-H + Ar’-H) with control, and without resort to super-stoichiometric bias.
The long-term legacy of these studies will be detailed insight for current and emerging systems, as well as readily extrapolated information for the design of new, more efficient catalyst systems in academia, and their scaleable application in industry
Summary
This proposal details the mechanism-based discovery of ground-breaking new catalyst systems for a broad range of arylation processes that will be of immediate and long-lasting utility to the pharmaceutical, agrochemical, and materials chemistry industries. These industries have become highly dependent on coupling technologies employing homogeneous late transition metal catalysis and this reliance will grow further, particularly if the substrate scope can be broadened, the economics, in terms of reagents and catalyst, made more favourable, the reliability at scale-up improved, and the generation of side-products, of particular importance for optical and electronic properties of materials, minimized or eliminated.
This proposal addresses these issues by conducting a detailed and comprehensive mechanistic investigation of direct arylation, so that a substantial expansion of the reaction scope can be achieved. At present, the regioselectivity can be very high, however catalyst turnover rates are moderate, and the arene is required to be in a fairly narrow window of activity. Specific aspects to be addressed in terms of mechanistic study are: catalyst speciation and pathways for deactivation; pathways for homocoupling; influence of anions and dummy ligands; protodemetalloidation pathways. Areas proposed for mechanism-informed development are: expansion of metalloid tolerance; expansion of arene scope; use of traceless activators and directors, new couplings via ligand exchange, the evolution of simpler / cheaper and more selective / active catalysts; expansion to oxidative double arylations (Ar-H + Ar’-H) with control, and without resort to super-stoichiometric bias.
The long-term legacy of these studies will be detailed insight for current and emerging systems, as well as readily extrapolated information for the design of new, more efficient catalyst systems in academia, and their scaleable application in industry
Max ERC Funding
2 114 223 €
Duration
Start date: 2014-02-01, End date: 2019-01-31
Project acronym AtoFun
Project Atomic Scale Defects: Structure and Function
Researcher (PI) Felix HOFMANN
Host Institution (HI) THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Call Details Starting Grant (StG), PE5, ERC-2016-STG
Summary Atomic scale defects play a key role in determining the behaviour of all crystalline materials, profoundly modifying mechanical, thermal and electrical properties. Many current technological applications make do with phenomenological descriptions of these effects; yet myriad intriguing questions about the fundamental link between defect structure and material function remain.
Transmission electron microscopy revolutionised the study of atomic scale defects by enabling their direct imaging. The novel coherent X-ray diffraction techniques developed in this project promise a similar advancement, making it possible to probe the strain fields that govern defect interactions in 3D with high spatial resolution (<10 nm). They will allow us to clarify the effect of impurities and retained gas on dislocation strain fields, shedding light on opportunities to engineer dislocation properties. The exceptional strain sensitivity of coherent diffraction will enable us to explore the fundamental mechanisms governing the behaviour of ion-implantation-induced point defects that are invisible to TEM. While we concentrate on dislocations and point defects, the new techniques will apply to all crystalline materials where defects are important. Our characterisation of defect structure will be combined with laser transient grating measurements of thermal transport changes due to specific defect populations. This unique multifaceted perspective of defect behaviour will transform our ability to devise modelling approaches linking defect structure to material function.
Our proof-of-concept results highlight the feasibility of this ambitious research project. It opens up a vast range of exciting possibilities to gain a deep, fundamental understanding of atomic scale defects and their effect on material function. This is an essential prerequisite for exploiting and engineering defects to enhance material properties.
Summary
Atomic scale defects play a key role in determining the behaviour of all crystalline materials, profoundly modifying mechanical, thermal and electrical properties. Many current technological applications make do with phenomenological descriptions of these effects; yet myriad intriguing questions about the fundamental link between defect structure and material function remain.
Transmission electron microscopy revolutionised the study of atomic scale defects by enabling their direct imaging. The novel coherent X-ray diffraction techniques developed in this project promise a similar advancement, making it possible to probe the strain fields that govern defect interactions in 3D with high spatial resolution (<10 nm). They will allow us to clarify the effect of impurities and retained gas on dislocation strain fields, shedding light on opportunities to engineer dislocation properties. The exceptional strain sensitivity of coherent diffraction will enable us to explore the fundamental mechanisms governing the behaviour of ion-implantation-induced point defects that are invisible to TEM. While we concentrate on dislocations and point defects, the new techniques will apply to all crystalline materials where defects are important. Our characterisation of defect structure will be combined with laser transient grating measurements of thermal transport changes due to specific defect populations. This unique multifaceted perspective of defect behaviour will transform our ability to devise modelling approaches linking defect structure to material function.
Our proof-of-concept results highlight the feasibility of this ambitious research project. It opens up a vast range of exciting possibilities to gain a deep, fundamental understanding of atomic scale defects and their effect on material function. This is an essential prerequisite for exploiting and engineering defects to enhance material properties.
Max ERC Funding
1 610 231 €
Duration
Start date: 2017-03-01, End date: 2022-02-28
