Project acronym 2D4QT
Project 2D Materials for Quantum Technology
Researcher (PI) Christoph STAMPFER
Host Institution (HI) RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Call Details Consolidator Grant (CoG), PE3, ERC-2018-COG
Summary Since its discovery, graphene has been indicated as a promising platform for quantum technologies (QT). The number of theoretical proposal dedicated to this vision has grown steadily, exploring a wide range of directions, ranging from spin and valley qubits, to topologically-protected states. The experimental confirmation of these ideas lagged so far significantly behind, mostly because of material quality problems. The quality of graphene-based devices has however improved dramatically in the past five years, thanks to the advent of the so-called van der Waals (vdW) heteostructures - artificial solids formed by mechanically stacking layers of different two dimensional (2D) materials, such as graphene, hexagonal boron nitride and transition metal dichalcogenides. These new advances open now finally the door to put several of those theoretical proposals to test.
The goal of this project is to assess experimentally the potential of graphene-based heterostructures for QT applications. Specifically, I will push the development of an advanced technological platform for vdW heterostructures, which will allow to give quantitative answers to the following open questions: i) what are the relaxation and coherence times of spin and valley qubits in isotopically purified bilayer graphene (BLG); ii) what is the efficiency of a Cooper-pair splitter based on BLG; and iii) what are the characteristic energy scales of topologically protected quantum states engineered in graphene-based heterostructures.
At the end of this project, I aim at being in the position of saying whether graphene is the horse-worth-betting-on predicted by theory, or whether it still hides surprises in terms of fundamental physics. The technological advancements developed in this project for integrating nanostructured layers into vdW heterostructures will reach even beyond this goal, opening the door to new research directions and possible applications.
Summary
Since its discovery, graphene has been indicated as a promising platform for quantum technologies (QT). The number of theoretical proposal dedicated to this vision has grown steadily, exploring a wide range of directions, ranging from spin and valley qubits, to topologically-protected states. The experimental confirmation of these ideas lagged so far significantly behind, mostly because of material quality problems. The quality of graphene-based devices has however improved dramatically in the past five years, thanks to the advent of the so-called van der Waals (vdW) heteostructures - artificial solids formed by mechanically stacking layers of different two dimensional (2D) materials, such as graphene, hexagonal boron nitride and transition metal dichalcogenides. These new advances open now finally the door to put several of those theoretical proposals to test.
The goal of this project is to assess experimentally the potential of graphene-based heterostructures for QT applications. Specifically, I will push the development of an advanced technological platform for vdW heterostructures, which will allow to give quantitative answers to the following open questions: i) what are the relaxation and coherence times of spin and valley qubits in isotopically purified bilayer graphene (BLG); ii) what is the efficiency of a Cooper-pair splitter based on BLG; and iii) what are the characteristic energy scales of topologically protected quantum states engineered in graphene-based heterostructures.
At the end of this project, I aim at being in the position of saying whether graphene is the horse-worth-betting-on predicted by theory, or whether it still hides surprises in terms of fundamental physics. The technological advancements developed in this project for integrating nanostructured layers into vdW heterostructures will reach even beyond this goal, opening the door to new research directions and possible applications.
Max ERC Funding
1 806 250 €
Duration
Start date: 2019-09-01, End date: 2024-08-31
Project acronym 3D-FNPWriting
Project Unprecedented spatial control of porosity and functionality in nanoporous membranes through 3D printing and microscopy for polymer writing
Researcher (PI) Annette ANDRIEU-BRUNSEN
Host Institution (HI) TECHNISCHE UNIVERSITAT DARMSTADT
Call Details Starting Grant (StG), PE5, ERC-2018-STG
Summary Membranes are key materials in our life. Nature offers high performance membranes relying on a parallel local regulation of nanopore structure, functional placement, membrane composition and architecture. Existing technological membranes are key materials in separation, recycling, sensing, energy conversion, being essential components for a sustainable future. But their performance is far away from their natural counterparts. One reason for this performance gap is the lack of 3D nanolocal control in membrane design. This applies to each individual nanopore but as well to the membrane architecture. This proposal aims to implement 3D printing (additive manufacturing, top down) and complex near-field and total internal reflection (TIR) high resolution microscopy induced polymer writing (bottom up) to nanolocally control in hierarchical nanoporous membranes spatially and independent of each other: porosity, pore functionalization, membrane architecture, composition. This disruptive technology platform will make accessible to date unachieved, highly accurate asymmetric nanopores and multifunctional, hierarchical membrane architecture/ composition and thus highly selective, directed, transport with tuneable rates. 3D-FNPWriting will demonstrate this for the increasing class of metal nanoparticle/ salt pollutants aiming for tuneable, selective, directed transport based monitoring and recycling instead of size-based filtration, accumulation into sewerage and distribution into nature. Specifically, the potential of this disruptive technology with respect to transport design will be demonstrated for a) a 3D-printed in-situ functionalized nanoporous fiber architecture and b) a printed, nanolocally near-field and TIR-microscopy polymer functionalized membrane representing a thin separation layer. This will open systematic understanding of nanolocal functional control on transport and new perspectives in water/ energy management for future smart industry/ homes.
Summary
Membranes are key materials in our life. Nature offers high performance membranes relying on a parallel local regulation of nanopore structure, functional placement, membrane composition and architecture. Existing technological membranes are key materials in separation, recycling, sensing, energy conversion, being essential components for a sustainable future. But their performance is far away from their natural counterparts. One reason for this performance gap is the lack of 3D nanolocal control in membrane design. This applies to each individual nanopore but as well to the membrane architecture. This proposal aims to implement 3D printing (additive manufacturing, top down) and complex near-field and total internal reflection (TIR) high resolution microscopy induced polymer writing (bottom up) to nanolocally control in hierarchical nanoporous membranes spatially and independent of each other: porosity, pore functionalization, membrane architecture, composition. This disruptive technology platform will make accessible to date unachieved, highly accurate asymmetric nanopores and multifunctional, hierarchical membrane architecture/ composition and thus highly selective, directed, transport with tuneable rates. 3D-FNPWriting will demonstrate this for the increasing class of metal nanoparticle/ salt pollutants aiming for tuneable, selective, directed transport based monitoring and recycling instead of size-based filtration, accumulation into sewerage and distribution into nature. Specifically, the potential of this disruptive technology with respect to transport design will be demonstrated for a) a 3D-printed in-situ functionalized nanoporous fiber architecture and b) a printed, nanolocally near-field and TIR-microscopy polymer functionalized membrane representing a thin separation layer. This will open systematic understanding of nanolocal functional control on transport and new perspectives in water/ energy management for future smart industry/ homes.
Max ERC Funding
1 499 844 €
Duration
Start date: 2019-04-01, End date: 2024-03-31
Project acronym 4DPHOTON
Project Beyond Light Imaging: High-Rate Single-Photon Detection in Four Dimensions
Researcher (PI) Massimiliano FIORINI
Host Institution (HI) ISTITUTO NAZIONALE DI FISICA NUCLEARE
Call Details Consolidator Grant (CoG), PE2, ERC-2018-COG
Summary Goal of the 4DPHOTON project is the development and construction of a photon imaging detector with unprecedented performance. The proposed device will be capable of detecting fluxes of single-photons up to one billion photons per second, over areas of several square centimetres, and will measure - for each photon - position and time simultaneously with resolutions better than ten microns and few tens of picoseconds, respectively. These figures of merit will open many important applications allowing significant advances in particle physics, life sciences or other emerging fields where excellent timing and position resolutions are simultaneously required.
Our goal will be achieved thanks to the use of an application-specific integrated circuit in 65 nm complementary metal-oxide-semiconductor (CMOS) technology, that will deliver a timing resolution of few tens of picoseconds at the pixel level, over few hundred thousand individually-active pixel channels, allowing very high rates of photons to be detected, and the corresponding information digitized and transferred to a processing unit.
As a result of the 4DPHOTON project we will remove the constraints that many light imaging applications have due to the lack of precise single-photon information on four dimensions (4D): the three spatial coordinates and time simultaneously. In particular, we will prove the performance of this detector in the field of particle physics, performing the reconstruction of Cherenkov photon rings with a timing resolution of ten picoseconds. With its excellent granularity, timing resolution, rate capability and compactness, this detector will represent a new paradigm for the realisation of future Ring Imaging Cherenkov detectors, capable of achieving high efficiency particle identification in environments with very high particle multiplicities, exploiting time-association of the photon hits.
Summary
Goal of the 4DPHOTON project is the development and construction of a photon imaging detector with unprecedented performance. The proposed device will be capable of detecting fluxes of single-photons up to one billion photons per second, over areas of several square centimetres, and will measure - for each photon - position and time simultaneously with resolutions better than ten microns and few tens of picoseconds, respectively. These figures of merit will open many important applications allowing significant advances in particle physics, life sciences or other emerging fields where excellent timing and position resolutions are simultaneously required.
Our goal will be achieved thanks to the use of an application-specific integrated circuit in 65 nm complementary metal-oxide-semiconductor (CMOS) technology, that will deliver a timing resolution of few tens of picoseconds at the pixel level, over few hundred thousand individually-active pixel channels, allowing very high rates of photons to be detected, and the corresponding information digitized and transferred to a processing unit.
As a result of the 4DPHOTON project we will remove the constraints that many light imaging applications have due to the lack of precise single-photon information on four dimensions (4D): the three spatial coordinates and time simultaneously. In particular, we will prove the performance of this detector in the field of particle physics, performing the reconstruction of Cherenkov photon rings with a timing resolution of ten picoseconds. With its excellent granularity, timing resolution, rate capability and compactness, this detector will represent a new paradigm for the realisation of future Ring Imaging Cherenkov detectors, capable of achieving high efficiency particle identification in environments with very high particle multiplicities, exploiting time-association of the photon hits.
Max ERC Funding
1 975 000 €
Duration
Start date: 2019-12-01, End date: 2024-11-30
Project acronym AMAREC
Project Amenability, Approximation and Reconstruction
Researcher (PI) Wilhelm WINTER
Host Institution (HI) WESTFAELISCHE WILHELMS-UNIVERSITAET MUENSTER
Call Details Advanced Grant (AdG), PE1, ERC-2018-ADG
Summary Algebras of operators on Hilbert spaces were originally introduced as the right framework for the mathematical description of quantum mechanics. In modern mathematics the scope has much broadened due to the highly versatile nature of operator algebras. They are particularly useful in the analysis of groups and their actions. Amenability is a finiteness property which occurs in many different contexts and which can be characterised in many different ways. We will analyse amenability in terms of approximation properties, in the frameworks of abstract C*-algebras, of topological dynamical systems, and of discrete groups. Such approximation properties will serve as bridging devices between these setups, and they will be used to systematically recover geometric information about the underlying structures. When passing from groups, and more generally from dynamical systems, to operator algebras, one loses information, but one gains new tools to isolate and analyse pertinent properties of the underlying structure. We will mostly be interested in the topological setting, and in the associated C*-algebras. Amenability of groups or of dynamical systems then translates into the completely positive approximation property. Systems of completely positive approximations store all the essential data about a C*-algebra, and sometimes one can arrange the systems so that one can directly read of such information. For transformation group C*-algebras, one can achieve this by using approximation properties of the underlying dynamics. To some extent one can even go back, and extract dynamical approximation properties from completely positive approximations of the C*-algebra. This interplay between approximation properties in topological dynamics and in noncommutative topology carries a surprisingly rich structure. It connects directly to the heart of the classification problem for nuclear C*-algebras on the one hand, and to central open questions on amenable dynamics on the other.
Summary
Algebras of operators on Hilbert spaces were originally introduced as the right framework for the mathematical description of quantum mechanics. In modern mathematics the scope has much broadened due to the highly versatile nature of operator algebras. They are particularly useful in the analysis of groups and their actions. Amenability is a finiteness property which occurs in many different contexts and which can be characterised in many different ways. We will analyse amenability in terms of approximation properties, in the frameworks of abstract C*-algebras, of topological dynamical systems, and of discrete groups. Such approximation properties will serve as bridging devices between these setups, and they will be used to systematically recover geometric information about the underlying structures. When passing from groups, and more generally from dynamical systems, to operator algebras, one loses information, but one gains new tools to isolate and analyse pertinent properties of the underlying structure. We will mostly be interested in the topological setting, and in the associated C*-algebras. Amenability of groups or of dynamical systems then translates into the completely positive approximation property. Systems of completely positive approximations store all the essential data about a C*-algebra, and sometimes one can arrange the systems so that one can directly read of such information. For transformation group C*-algebras, one can achieve this by using approximation properties of the underlying dynamics. To some extent one can even go back, and extract dynamical approximation properties from completely positive approximations of the C*-algebra. This interplay between approximation properties in topological dynamics and in noncommutative topology carries a surprisingly rich structure. It connects directly to the heart of the classification problem for nuclear C*-algebras on the one hand, and to central open questions on amenable dynamics on the other.
Max ERC Funding
1 596 017 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym ANTEGEFI
Project Analytic Techniques for Geometric and Functional Inequalities
Researcher (PI) Nicola Fusco
Host Institution (HI) UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II
Call Details Advanced Grant (AdG), PE1, ERC-2008-AdG
Summary Isoperimetric and Sobolev inequalities are the best known examples of geometric-functional inequalities. In recent years the PI and collaborators have obtained new and sharp quantitative versions of these and other important related inequalities. These results have been obtained by the combined use of classical symmetrization methods, new tools coming from mass transportation theory, deep geometric measure tools and ad hoc symmetrizations. The objective of this project is to further develop thes techniques in order to get: sharp quantitative versions of Faber-Krahn inequality, Gaussian isoperimetric inequality, Brunn-Minkowski inequality, Poincaré and Sobolev logarithm inequalities; sharp decay rates for the quantitative Sobolev inequalities and Polya-Szegö inequality.
Summary
Isoperimetric and Sobolev inequalities are the best known examples of geometric-functional inequalities. In recent years the PI and collaborators have obtained new and sharp quantitative versions of these and other important related inequalities. These results have been obtained by the combined use of classical symmetrization methods, new tools coming from mass transportation theory, deep geometric measure tools and ad hoc symmetrizations. The objective of this project is to further develop thes techniques in order to get: sharp quantitative versions of Faber-Krahn inequality, Gaussian isoperimetric inequality, Brunn-Minkowski inequality, Poincaré and Sobolev logarithm inequalities; sharp decay rates for the quantitative Sobolev inequalities and Polya-Szegö inequality.
Max ERC Funding
600 000 €
Duration
Start date: 2009-01-01, End date: 2013-12-31
Project acronym ANTICIPATE
Project Anticipatory Human-Computer Interaction
Researcher (PI) Andreas BULLING
Host Institution (HI) UNIVERSITAET STUTTGART
Call Details Starting Grant (StG), PE6, ERC-2018-STG
Summary Even after three decades of research on human-computer interaction (HCI), current general-purpose user interfaces (UI) still lack the ability to attribute mental states to their users, i.e. they fail to understand users' intentions and needs and to anticipate their actions. This drastically restricts their interactive capabilities.
ANTICIPATE aims to establish the scientific foundations for a new generation of user interfaces that pro-actively adapt to users' future input actions by monitoring their attention and predicting their interaction intentions - thereby significantly improving the naturalness, efficiency, and user experience of the interactions. Realising this vision of anticipatory human-computer interaction requires groundbreaking advances in everyday sensing of user attention from eye and brain activity. We will further pioneer methods to predict entangled user intentions and forecast interactive behaviour with fine temporal granularity during interactions in everyday stationary and mobile settings. Finally, we will develop fundamental interaction paradigms that enable anticipatory UIs to pro-actively adapt to users' attention and intentions in a mindful way. The new capabilities will be demonstrated in four challenging cases: 1) mobile information retrieval, 2) intelligent notification management, 3) Autism diagnosis and monitoring, and 4) computer-based training.
Anticipatory human-computer interaction offers a strong complement to existing UI paradigms that only react to user input post-hoc. If successful, ANTICIPATE will deliver the first important building blocks for implementing Theory of Mind in general-purpose UIs. As such, the project has the potential to drastically improve the billions of interactions we perform with computers every day, to trigger a wide range of follow-up research in HCI as well as adjacent areas within and outside computer science, and to act as a key technical enabler for new applications, e.g. in healthcare and education.
Summary
Even after three decades of research on human-computer interaction (HCI), current general-purpose user interfaces (UI) still lack the ability to attribute mental states to their users, i.e. they fail to understand users' intentions and needs and to anticipate their actions. This drastically restricts their interactive capabilities.
ANTICIPATE aims to establish the scientific foundations for a new generation of user interfaces that pro-actively adapt to users' future input actions by monitoring their attention and predicting their interaction intentions - thereby significantly improving the naturalness, efficiency, and user experience of the interactions. Realising this vision of anticipatory human-computer interaction requires groundbreaking advances in everyday sensing of user attention from eye and brain activity. We will further pioneer methods to predict entangled user intentions and forecast interactive behaviour with fine temporal granularity during interactions in everyday stationary and mobile settings. Finally, we will develop fundamental interaction paradigms that enable anticipatory UIs to pro-actively adapt to users' attention and intentions in a mindful way. The new capabilities will be demonstrated in four challenging cases: 1) mobile information retrieval, 2) intelligent notification management, 3) Autism diagnosis and monitoring, and 4) computer-based training.
Anticipatory human-computer interaction offers a strong complement to existing UI paradigms that only react to user input post-hoc. If successful, ANTICIPATE will deliver the first important building blocks for implementing Theory of Mind in general-purpose UIs. As such, the project has the potential to drastically improve the billions of interactions we perform with computers every day, to trigger a wide range of follow-up research in HCI as well as adjacent areas within and outside computer science, and to act as a key technical enabler for new applications, e.g. in healthcare and education.
Max ERC Funding
1 499 625 €
Duration
Start date: 2019-02-01, End date: 2024-01-31
Project acronym ANYON
Project Engineering and exploring anyonic quantum gases
Researcher (PI) Christof WEITENBERG
Host Institution (HI) UNIVERSITAET HAMBURG
Call Details Starting Grant (StG), PE2, ERC-2018-STG
Summary This project enters the experimental investigation of anyonic quantum gases. We will study anyons – conjectured particles with a statistical exchange phase anywhere between 0 and π – in different many-body systems. This progress will be enabled by a unique approach of bringing together artificial gauge fields and quantum gas microscopes for ultracold atoms.
Specifically, we will implement the 1D anyon Hubbard model via a lattice shaking protocol that imprints density-dependent Peierls phases. By engineering the statistical exchange phase, we can continuously tune between bosons and fermions and explore a statistically-induced quantum phase transition. We will monitor the continuous fermionization via the build-up of Friedel oscillations. Using state-of-the-art cold atom technology, we will thus open the physics of anyons to experimental research and address open questions related to their fractional exclusion statistics.
Secondly, we will create fractional quantum Hall systems in rapidly rotating microtraps. Using the quantum gas microscope, we will i) control the optical potentials at a level which allows approaching the centrifugal limit and ii) use small atom numbers equal to the inserted angular momentum quantum number. The strongly-correlated ground states such as the Laughlin state can be identified via their characteristic density correlations. Of particular interest are the quasihole excitations, whose predicted anyonic exchange statistics have not been directly observed to date. We will probe and test their statistics via the characteristic counting sequence in the excitation spectrum. Furthermore, we will test ideas to transfer anyonic properties of the excitations to a second tracer species. This approach will enable us to both probe the fractional exclusion statistics of the excitations and to create a 2D anyonic quantum gas.
In the long run, these techniques open a path to also study non-Abelian anyons with ultracold atoms.
Summary
This project enters the experimental investigation of anyonic quantum gases. We will study anyons – conjectured particles with a statistical exchange phase anywhere between 0 and π – in different many-body systems. This progress will be enabled by a unique approach of bringing together artificial gauge fields and quantum gas microscopes for ultracold atoms.
Specifically, we will implement the 1D anyon Hubbard model via a lattice shaking protocol that imprints density-dependent Peierls phases. By engineering the statistical exchange phase, we can continuously tune between bosons and fermions and explore a statistically-induced quantum phase transition. We will monitor the continuous fermionization via the build-up of Friedel oscillations. Using state-of-the-art cold atom technology, we will thus open the physics of anyons to experimental research and address open questions related to their fractional exclusion statistics.
Secondly, we will create fractional quantum Hall systems in rapidly rotating microtraps. Using the quantum gas microscope, we will i) control the optical potentials at a level which allows approaching the centrifugal limit and ii) use small atom numbers equal to the inserted angular momentum quantum number. The strongly-correlated ground states such as the Laughlin state can be identified via their characteristic density correlations. Of particular interest are the quasihole excitations, whose predicted anyonic exchange statistics have not been directly observed to date. We will probe and test their statistics via the characteristic counting sequence in the excitation spectrum. Furthermore, we will test ideas to transfer anyonic properties of the excitations to a second tracer species. This approach will enable us to both probe the fractional exclusion statistics of the excitations and to create a 2D anyonic quantum gas.
In the long run, these techniques open a path to also study non-Abelian anyons with ultracold atoms.
Max ERC Funding
1 497 500 €
Duration
Start date: 2019-01-01, End date: 2023-12-31
Project acronym APOSITE
Project Apoptotic foci: composition, structure and dynamics
Researcher (PI) Ana GARCIA SAEZ
Host Institution (HI) EBERHARD KARLS UNIVERSITAET TUEBINGEN
Call Details Consolidator Grant (CoG), LS3, ERC-2018-COG
Summary Apoptotic cell death is essential for development, immune function or tissue homeostasis, and it is often deregulated in disease. Mitochondrial outer membrane permeabilization (MOMP) is central for apoptosis execution and plays a key role in its inflammatory outcome. Knowing the architecture of the macromolecular machineries mediating MOMP is crucial for understanding their function and for the clinical use of apoptosis.
Our recent work reveals that Bax and Bak dimers form distinct line, arc and ring assemblies at specific apoptotic foci to mediate MOMP. However, the molecular structure and mechanisms controlling the spatiotemporal formation and range of action of the apoptotic foci are missing. To address this fundamental gap in our knowledge, we aim to unravel the composition, dynamics and structure of apoptotic foci and to understand how they are integrated to orchestrate function. We will reach this goal by building on our expertise in cell death and cutting-edge imaging and by developing a new analytical pipeline to:
1) Identify the composition of apoptotic foci using in situ proximity-dependent labeling and extraction of near-native Bax/Bak membrane complexes coupled to mass spectrometry.
2) Define their contribution to apoptosis and its immunogenicity and establish their assembly dynamics to correlate it with apoptosis progression by live cell imaging.
3) Determine the stoichiometry and structural organization of the apoptotic foci by combining single molecule fluorescence and advanced electron microscopies.
This multidisciplinary approach offers high chances to solve the long-standing question of how Bax and Bak mediate MOMP. APOSITE will provide textbook knowledge of the mitochondrial contribution to cell death and inflammation. The implementation of this new analytical framework will open novel research avenues in membrane and organelle biology. Ultimately, understanding of Bax and Bak structure/function will help develop apoptosis modulators for medicine.
Summary
Apoptotic cell death is essential for development, immune function or tissue homeostasis, and it is often deregulated in disease. Mitochondrial outer membrane permeabilization (MOMP) is central for apoptosis execution and plays a key role in its inflammatory outcome. Knowing the architecture of the macromolecular machineries mediating MOMP is crucial for understanding their function and for the clinical use of apoptosis.
Our recent work reveals that Bax and Bak dimers form distinct line, arc and ring assemblies at specific apoptotic foci to mediate MOMP. However, the molecular structure and mechanisms controlling the spatiotemporal formation and range of action of the apoptotic foci are missing. To address this fundamental gap in our knowledge, we aim to unravel the composition, dynamics and structure of apoptotic foci and to understand how they are integrated to orchestrate function. We will reach this goal by building on our expertise in cell death and cutting-edge imaging and by developing a new analytical pipeline to:
1) Identify the composition of apoptotic foci using in situ proximity-dependent labeling and extraction of near-native Bax/Bak membrane complexes coupled to mass spectrometry.
2) Define their contribution to apoptosis and its immunogenicity and establish their assembly dynamics to correlate it with apoptosis progression by live cell imaging.
3) Determine the stoichiometry and structural organization of the apoptotic foci by combining single molecule fluorescence and advanced electron microscopies.
This multidisciplinary approach offers high chances to solve the long-standing question of how Bax and Bak mediate MOMP. APOSITE will provide textbook knowledge of the mitochondrial contribution to cell death and inflammation. The implementation of this new analytical framework will open novel research avenues in membrane and organelle biology. Ultimately, understanding of Bax and Bak structure/function will help develop apoptosis modulators for medicine.
Max ERC Funding
2 000 000 €
Duration
Start date: 2019-04-01, End date: 2024-03-31
Project acronym AutoCPS
Project Automated Synthesis of Cyber-Physical Systems: A Compositional Approach
Researcher (PI) Majid ZAMANI
Host Institution (HI) LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Call Details Starting Grant (StG), PE7, ERC-2018-STG
Summary Embedded Control software plays a critical role in many safety-critical applications. For instance, modern vehicles use interacting software and hardware components to control steering and braking. Control software forms the main core of autonomous transportation, power networks, and aerospace. These applications are examples of cyber-physical systems (CPS), where distributed software systems interact tightly with spatially distributed physical systems with complex dynamics. CPS are becoming ubiquitous due to rapid advances in computation, communication, and memory. However, the development of core control software running in these systems is still ad hoc and error-prone and much of the engineering costs today go into ensuring that control software works correctly.
In order to reduce the design costs and guaranteeing its correctness, I aim to develop an innovative design process, in which the embedded control software is synthesized from high-level correctness requirements in a push-button and formal manner. Requirements for modern CPS applications go beyond conventional properties in control theory (e.g. stability) and in computer science (e.g. protocol design). Here, I propose a compositional methodology for automated synthesis of control software by combining compositional techniques from computer science (e.g. assume-guarantee rules) with those from control theory (e.g. small-gain theorems). I will leverage decomposition and abstraction as two key tools to tackle the design complexity, by either breaking the design object into semi-independent parts or by aggregating components and eliminating unnecessary details. My project is high-risk because it requires a fundamental re-thinking of design techniques till now studied in separate disciplines. It is high-gain because a successful method for automated synthesis of control software will make it finally possible to develop complex yet reliable CPS applications while considerably reducing the engineering cost.
Summary
Embedded Control software plays a critical role in many safety-critical applications. For instance, modern vehicles use interacting software and hardware components to control steering and braking. Control software forms the main core of autonomous transportation, power networks, and aerospace. These applications are examples of cyber-physical systems (CPS), where distributed software systems interact tightly with spatially distributed physical systems with complex dynamics. CPS are becoming ubiquitous due to rapid advances in computation, communication, and memory. However, the development of core control software running in these systems is still ad hoc and error-prone and much of the engineering costs today go into ensuring that control software works correctly.
In order to reduce the design costs and guaranteeing its correctness, I aim to develop an innovative design process, in which the embedded control software is synthesized from high-level correctness requirements in a push-button and formal manner. Requirements for modern CPS applications go beyond conventional properties in control theory (e.g. stability) and in computer science (e.g. protocol design). Here, I propose a compositional methodology for automated synthesis of control software by combining compositional techniques from computer science (e.g. assume-guarantee rules) with those from control theory (e.g. small-gain theorems). I will leverage decomposition and abstraction as two key tools to tackle the design complexity, by either breaking the design object into semi-independent parts or by aggregating components and eliminating unnecessary details. My project is high-risk because it requires a fundamental re-thinking of design techniques till now studied in separate disciplines. It is high-gain because a successful method for automated synthesis of control software will make it finally possible to develop complex yet reliable CPS applications while considerably reducing the engineering cost.
Max ERC Funding
1 470 800 €
Duration
Start date: 2019-02-01, End date: 2024-01-31
Project acronym AUTOHEPARIN
Project Automated Synthesis of Heparin and Chondroitin Libraries for the Preparation of Diverse Carbohydrate Arrays
Researcher (PI) Peter Seeberger
Host Institution (HI) MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Call Details Advanced Grant (AdG), PE5, ERC-2008-AdG
Summary While heparin, a glacosaminoglycan (GAG) has served as an anticoagulant for more than 60 years, the structure-activity relationship of heparin and chondroitin sulfate for specific interactions with proteins are still poorly understood. It has become evident that defined lengths and sequences or patterns are responsible for binding to a particular protein and modulating its biological activity. Determination of the structure-activity relationships of heparins and chondroitins creates an opportunity to modulate processes underlying viral entry, angiogenesis, kidney diseases and diseases of the central nervous system. The isolation of pure GAGs is extremely tedious and chemical synthesis is often the only means to access defined oligosaccharides. Currently available synthetic methods for the preparation of heparins and chondroitins are time consuming and lack generality. Therefore, it is still impossible to create large collections of GAG oligosaccharides for systematic studies of GAG-protein interactions. The overall goal of the project is the development of all aspects of automated GAG synthesis, the procurement of a large collection of heparin and chondroitin oligosaccharides of 2-10 sugars in length with a linker for ready attachment to microarray surfaces and other tools. These molecular tools will be employed to study the interaction of GAGs with growth factors, chemokines and other proteins. The specific aims include: 1) Synthesis of uronic acid and galactosamine building blocks; 2) Development of a new linker for automated GAG solid phase synthesis; 3) Construction of a new automated oligosaccharide synthesizer; 4) Development of methods for the automated assembly of heparin and chondroitin sulfate oligosaccharides; 5) Synthesis of a collection of defined heparin and chondroitin sulfate oligosaccharides; 6) Construction of synthetic GAG microarrays and SPR; 7) Preparation of GAG dendrimers and quantum dots.
Summary
While heparin, a glacosaminoglycan (GAG) has served as an anticoagulant for more than 60 years, the structure-activity relationship of heparin and chondroitin sulfate for specific interactions with proteins are still poorly understood. It has become evident that defined lengths and sequences or patterns are responsible for binding to a particular protein and modulating its biological activity. Determination of the structure-activity relationships of heparins and chondroitins creates an opportunity to modulate processes underlying viral entry, angiogenesis, kidney diseases and diseases of the central nervous system. The isolation of pure GAGs is extremely tedious and chemical synthesis is often the only means to access defined oligosaccharides. Currently available synthetic methods for the preparation of heparins and chondroitins are time consuming and lack generality. Therefore, it is still impossible to create large collections of GAG oligosaccharides for systematic studies of GAG-protein interactions. The overall goal of the project is the development of all aspects of automated GAG synthesis, the procurement of a large collection of heparin and chondroitin oligosaccharides of 2-10 sugars in length with a linker for ready attachment to microarray surfaces and other tools. These molecular tools will be employed to study the interaction of GAGs with growth factors, chemokines and other proteins. The specific aims include: 1) Synthesis of uronic acid and galactosamine building blocks; 2) Development of a new linker for automated GAG solid phase synthesis; 3) Construction of a new automated oligosaccharide synthesizer; 4) Development of methods for the automated assembly of heparin and chondroitin sulfate oligosaccharides; 5) Synthesis of a collection of defined heparin and chondroitin sulfate oligosaccharides; 6) Construction of synthetic GAG microarrays and SPR; 7) Preparation of GAG dendrimers and quantum dots.
Max ERC Funding
2 500 000 €
Duration
Start date: 2009-01-01, End date: 2014-12-31