Project acronym ADHESWITCHES
Project Adhesion switches in cancer and development: from in vivo to synthetic biology
Researcher (PI) Mari Johanna Ivaska
Host Institution (HI) TURUN YLIOPISTO
Country Finland
Call Details Consolidator Grant (CoG), LS3, ERC-2013-CoG
Summary Integrins are transmembrane cell adhesion receptors controlling cell proliferation and migration. Our objective is to gain fundamentally novel mechanistic insight into the emerging new roles of integrins in cancer and to generate a road map of integrin dependent pathways critical in mammary gland development and integrin signalling thus opening new targets for therapeutic interventions. We will combine an in vivo based translational approach with cell and molecular biological studies aiming to identify entirely novel concepts in integrin function using cutting edge techniques and synthetic-biology tools.
The specific objectives are:
1) Integrin inactivation in branching morphogenesis and cancer invasion. Integrins regulate mammary gland development and cancer invasion but the role of integrin inactivating proteins in these processes is currently completely unknown. We will investigate this using genetically modified mice, ex-vivo organoid models and human tissues with the aim to identify beneficial combinational treatments against cancer invasion.
2) Endosomal adhesomes – cross-talk between integrin activity and integrin “inside-in signaling”. We hypothesize that endocytosed active integrins engage in specialized endosomal signaling that governs cell survival especially in cancer. RNAi cell arrays, super-resolution STED imaging and endosomal proteomics will be used to investigate integrin signaling in endosomes.
3) Spatio-temporal co-ordination of adhesion and endocytosis. Several cytosolic proteins compete for integrin binding to regulate activation, endocytosis and recycling. Photoactivatable protein-traps and predefined matrix micropatterns will be employed to mechanistically dissect the spatio-temporal dynamics and hierarchy of their recruitment.
We will employ innovative and unconventional techniques to address three major unanswered questions in the field and significantly advance our understanding of integrin function in development and cancer.
Summary
Integrins are transmembrane cell adhesion receptors controlling cell proliferation and migration. Our objective is to gain fundamentally novel mechanistic insight into the emerging new roles of integrins in cancer and to generate a road map of integrin dependent pathways critical in mammary gland development and integrin signalling thus opening new targets for therapeutic interventions. We will combine an in vivo based translational approach with cell and molecular biological studies aiming to identify entirely novel concepts in integrin function using cutting edge techniques and synthetic-biology tools.
The specific objectives are:
1) Integrin inactivation in branching morphogenesis and cancer invasion. Integrins regulate mammary gland development and cancer invasion but the role of integrin inactivating proteins in these processes is currently completely unknown. We will investigate this using genetically modified mice, ex-vivo organoid models and human tissues with the aim to identify beneficial combinational treatments against cancer invasion.
2) Endosomal adhesomes – cross-talk between integrin activity and integrin “inside-in signaling”. We hypothesize that endocytosed active integrins engage in specialized endosomal signaling that governs cell survival especially in cancer. RNAi cell arrays, super-resolution STED imaging and endosomal proteomics will be used to investigate integrin signaling in endosomes.
3) Spatio-temporal co-ordination of adhesion and endocytosis. Several cytosolic proteins compete for integrin binding to regulate activation, endocytosis and recycling. Photoactivatable protein-traps and predefined matrix micropatterns will be employed to mechanistically dissect the spatio-temporal dynamics and hierarchy of their recruitment.
We will employ innovative and unconventional techniques to address three major unanswered questions in the field and significantly advance our understanding of integrin function in development and cancer.
Max ERC Funding
1 887 910 €
Duration
Start date: 2014-05-01, End date: 2019-04-30
Project acronym AdjustNet
Project Self-Adjusting Networks
Researcher (PI) Stefan SCHMID
Host Institution (HI) UNIVERSITAT WIEN
Country Austria
Call Details Consolidator Grant (CoG), PE6, ERC-2019-COG
Summary Communication networks have become a critical infrastructure of our digital society. However, with the explosive growth of data-centric applications and the resulting increasing workloads headed for the world’s datacenter networks, today’s static and demand-oblivious network architectures are reaching their capacity limits.
The AdjustNet project proposes a radically different perspective, envisioning demand-aware networks which can dynamically adapt their topology to the workload they currently serve. Such self-adjusting networks hence allow to exploit structure in the demand, and thereby reach higher levels of efficiency and performance. The vision of AdjustNet is timely and enabled by recent innovations in optical technologies which allow to flexibly reconfigure the physical network topology.
The goal of AdjustNet is to lay the theoretical foundations for self-adjusting networks. We will identify metrics that serve as yardstick of what can and cannot be achieved in a self-adjusting network for a given demand, devise algorithms for online adaption, and validate our framework through case studies. Our novel methodology is motivated by an intriguing connection of self-adjusting networks to known datastructures and to information theory.
AdjustNet comes with significant challenges since, similar to self-driving cars, self-adjusting networks require human network operators to give away control, and since more autonomous network operations may lead to instabilities. AdjustNet will overcome these risks and achieve its objectives by pursuing a rigorous approach, devising a theoretical well-founded framework for self-adjusting networks which come with provable guarantees and incorporate self–protection mechanisms.
The PI is well-equipped for this project and recently obtained first promising results. As the community is currently re-architecting communication networks, there is a unique opportunity to bridge the gap between theory and practice, and have impact.
Summary
Communication networks have become a critical infrastructure of our digital society. However, with the explosive growth of data-centric applications and the resulting increasing workloads headed for the world’s datacenter networks, today’s static and demand-oblivious network architectures are reaching their capacity limits.
The AdjustNet project proposes a radically different perspective, envisioning demand-aware networks which can dynamically adapt their topology to the workload they currently serve. Such self-adjusting networks hence allow to exploit structure in the demand, and thereby reach higher levels of efficiency and performance. The vision of AdjustNet is timely and enabled by recent innovations in optical technologies which allow to flexibly reconfigure the physical network topology.
The goal of AdjustNet is to lay the theoretical foundations for self-adjusting networks. We will identify metrics that serve as yardstick of what can and cannot be achieved in a self-adjusting network for a given demand, devise algorithms for online adaption, and validate our framework through case studies. Our novel methodology is motivated by an intriguing connection of self-adjusting networks to known datastructures and to information theory.
AdjustNet comes with significant challenges since, similar to self-driving cars, self-adjusting networks require human network operators to give away control, and since more autonomous network operations may lead to instabilities. AdjustNet will overcome these risks and achieve its objectives by pursuing a rigorous approach, devising a theoretical well-founded framework for self-adjusting networks which come with provable guarantees and incorporate self–protection mechanisms.
The PI is well-equipped for this project and recently obtained first promising results. As the community is currently re-architecting communication networks, there is a unique opportunity to bridge the gap between theory and practice, and have impact.
Max ERC Funding
1 670 823 €
Duration
Start date: 2020-03-01, End date: 2025-02-28
Project acronym ANTILEAK
Project Development of antagonists of vascular leakage
Researcher (PI) Pipsa SAHARINEN
Host Institution (HI) HELSINGIN YLIOPISTO
Country Finland
Call Details Consolidator Grant (CoG), LS4, ERC-2017-COG
Summary Dysregulation of capillary permeability is a severe problem in critically ill patients, but the mechanisms involved are poorly understood. Further, there are no targeted therapies to stabilize leaky vessels in various common, potentially fatal diseases, such as systemic inflammation and sepsis, which affect millions of people annually. Although a multitude of signals that stimulate opening of endothelial cell-cell junctions leading to permeability have been characterized using cellular and in vivo models, approaches to reverse the harmful process of capillary leakage in disease conditions are yet to be identified. I propose to explore a novel autocrine endothelial permeability regulatory system as a potentially universal mechanism that antagonizes vascular stabilizing ques and sustains vascular leakage in inflammation. My group has identified inflammation-induced mechanisms that switch vascular stabilizing factors into molecules that destabilize vascular barriers, and identified tools to prevent the barrier disruption. Building on these discoveries, my group will use mouse genetics, structural biology and innovative, systematic antibody development coupled with gene editing and gene silencing technology, in order to elucidate mechanisms of vascular barrier breakdown and repair in systemic inflammation. The expected outcomes include insights into endothelial cell signaling and permeability regulation, and preclinical proof-of-concept antibodies to control endothelial activation and vascular leakage in systemic inflammation and sepsis models. Ultimately, the new knowledge and preclinical tools developed in this project may facilitate future development of targeted approaches against vascular leakage.
Summary
Dysregulation of capillary permeability is a severe problem in critically ill patients, but the mechanisms involved are poorly understood. Further, there are no targeted therapies to stabilize leaky vessels in various common, potentially fatal diseases, such as systemic inflammation and sepsis, which affect millions of people annually. Although a multitude of signals that stimulate opening of endothelial cell-cell junctions leading to permeability have been characterized using cellular and in vivo models, approaches to reverse the harmful process of capillary leakage in disease conditions are yet to be identified. I propose to explore a novel autocrine endothelial permeability regulatory system as a potentially universal mechanism that antagonizes vascular stabilizing ques and sustains vascular leakage in inflammation. My group has identified inflammation-induced mechanisms that switch vascular stabilizing factors into molecules that destabilize vascular barriers, and identified tools to prevent the barrier disruption. Building on these discoveries, my group will use mouse genetics, structural biology and innovative, systematic antibody development coupled with gene editing and gene silencing technology, in order to elucidate mechanisms of vascular barrier breakdown and repair in systemic inflammation. The expected outcomes include insights into endothelial cell signaling and permeability regulation, and preclinical proof-of-concept antibodies to control endothelial activation and vascular leakage in systemic inflammation and sepsis models. Ultimately, the new knowledge and preclinical tools developed in this project may facilitate future development of targeted approaches against vascular leakage.
Max ERC Funding
1 999 770 €
Duration
Start date: 2018-05-01, End date: 2023-04-30
Project acronym ARTIST
Project Automated Reasoning with Theories and Induction for Software Technology
Researcher (PI) Laura KOVACS
Host Institution (HI) TECHNISCHE UNIVERSITAET WIEN
Country Austria
Call Details Consolidator Grant (CoG), PE6, ERC-2020-COG
Summary The long list of software failures over the past years calls for serious concerns in our digital society, creating bad reputation and adding huge economic burden on organizations, industries and governments. Improving software reliability is no more enough, ensuring software reliability is mandatory. Our project complements other advances in the area and addresses this demand by turning first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability,
Saturation-based proof search is the leading technology for automated first-order theorem proving. The high-gain/high-risk aspect of our project comes from the development and use of saturation-based theorem proving as a unifying framework to reason about software technologies. We use first-order theorem proving methods not only to prove, but also to generate software properties that imply the absence of program errors at intermediate program steps.
Generating and proving program properties call for new methods supporting reasoning with both theories and quantifiers. Our project extends saturation-based first-order theorem provers with domain-specific inference rules to keep reasoning efficient. This includes commonly used theories in software development, such as the theories of integers, arrays and inductively defined data types, and automation of induction within saturation-based theorem proving, contributing to the ultimate goal of generating and proving inductive software properties, such as invariants.
Thanks to the full automation of our project, our results can be integrated and used in other frameworks, to allow end-users and developers of software technologies to gain from theorem proving without the need of becoming experts of it.
Summary
The long list of software failures over the past years calls for serious concerns in our digital society, creating bad reputation and adding huge economic burden on organizations, industries and governments. Improving software reliability is no more enough, ensuring software reliability is mandatory. Our project complements other advances in the area and addresses this demand by turning first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability,
Saturation-based proof search is the leading technology for automated first-order theorem proving. The high-gain/high-risk aspect of our project comes from the development and use of saturation-based theorem proving as a unifying framework to reason about software technologies. We use first-order theorem proving methods not only to prove, but also to generate software properties that imply the absence of program errors at intermediate program steps.
Generating and proving program properties call for new methods supporting reasoning with both theories and quantifiers. Our project extends saturation-based first-order theorem provers with domain-specific inference rules to keep reasoning efficient. This includes commonly used theories in software development, such as the theories of integers, arrays and inductively defined data types, and automation of induction within saturation-based theorem proving, contributing to the ultimate goal of generating and proving inductive software properties, such as invariants.
Thanks to the full automation of our project, our results can be integrated and used in other frameworks, to allow end-users and developers of software technologies to gain from theorem proving without the need of becoming experts of it.
Max ERC Funding
2 000 000 €
Duration
Start date: 2021-07-01, End date: 2026-06-30
Project acronym AutoRecon
Project Molecular mechanisms of autophagosome formation during selective autophagy
Researcher (PI) Sascha Martens
Host Institution (HI) UNIVERSITAT WIEN
Country Austria
Call Details Consolidator Grant (CoG), LS3, ERC-2014-CoG
Summary I propose to study how eukaryotic cells generate autophagosomes, organelles bounded by a double membrane. These are formed during autophagy and mediate the degradation of cytoplasmic substances within the lysosomal compartment. Autophagy thereby protects the organism from pathological conditions such as neurodegeneration, cancer and infections. Many core factors required for autophagosome formation have been identified but the order in which they act and their mode of action is still unclear. We will use a combination of biochemical and cell biological approaches to elucidate the choreography and mechanism of these core factors. In particular, we will focus on selective autophagy and determine how the autophagic machinery generates an autophagosome that selectively contains the cargo.
To this end we will focus on the cytoplasm-to-vacuole-targeting pathway in S. cerevisiae that mediates the constitutive delivery of the prApe1 enzyme into the vacuole. We will use cargo mimetics or prApe1 complexes in combination with purified autophagy proteins and vesicles to reconstitute the process and so determine which factors are both necessary and sufficient for autophagosome formation, as well as elucidating their mechanism of action.
In parallel we will study selective autophagosome formation in human cells. This will reveal common principles and special adaptations. In particular, we will use cell lysates from genome-edited cells in combination with purified autophagy proteins to reconstitute selective autophagosome formation around ubiquitin-positive cargo material. The insights and hypotheses obtained from these reconstituted systems will be validated using cell biological approaches.
Taken together, our experiments will allow us to delineate the major steps of autophagosome formation during selective autophagy. Our results will yield detailed insights into how cells form and shape organelles in a de novo manner, which is major question in cell- and developmental biology.
Summary
I propose to study how eukaryotic cells generate autophagosomes, organelles bounded by a double membrane. These are formed during autophagy and mediate the degradation of cytoplasmic substances within the lysosomal compartment. Autophagy thereby protects the organism from pathological conditions such as neurodegeneration, cancer and infections. Many core factors required for autophagosome formation have been identified but the order in which they act and their mode of action is still unclear. We will use a combination of biochemical and cell biological approaches to elucidate the choreography and mechanism of these core factors. In particular, we will focus on selective autophagy and determine how the autophagic machinery generates an autophagosome that selectively contains the cargo.
To this end we will focus on the cytoplasm-to-vacuole-targeting pathway in S. cerevisiae that mediates the constitutive delivery of the prApe1 enzyme into the vacuole. We will use cargo mimetics or prApe1 complexes in combination with purified autophagy proteins and vesicles to reconstitute the process and so determine which factors are both necessary and sufficient for autophagosome formation, as well as elucidating their mechanism of action.
In parallel we will study selective autophagosome formation in human cells. This will reveal common principles and special adaptations. In particular, we will use cell lysates from genome-edited cells in combination with purified autophagy proteins to reconstitute selective autophagosome formation around ubiquitin-positive cargo material. The insights and hypotheses obtained from these reconstituted systems will be validated using cell biological approaches.
Taken together, our experiments will allow us to delineate the major steps of autophagosome formation during selective autophagy. Our results will yield detailed insights into how cells form and shape organelles in a de novo manner, which is major question in cell- and developmental biology.
Max ERC Funding
1 999 640 €
Duration
Start date: 2016-03-01, End date: 2021-02-28
Project acronym BHIVE
Project Bio-derived HIgh Value polymers through novel Enzyme function
Researcher (PI) Emma Rusi Master
Host Institution (HI) AALTO KORKEAKOULUSAATIO SR
Country Finland
Call Details Consolidator Grant (CoG), LS9, ERC-2014-CoG
Summary Recent advances in systems-level study of cells and organisms have revealed the enormous potential to live more sustainably through better use of biological processes. Plants sustainably synthesize the most abundant and diverse materials on Earth. By applying recent advances in life science technology, we can better harness renewable plant resources and bioconversion processes, to develop environmentally and politically sustainable human enterprise and lifestyles. At the same time, the global market for high-value biochemicals and bioplastics from forest and agricultural sources is rapidly increasing, which presents new opportunities for forest and agricultural sectors.
The overall aim of BHIVE is to illuminate uncharted regions of genome and metagenome sequences to discover entirely new protein families that can be used to sustainably synthesize novel, high-value biomaterials from renewable plant resources. The approach will include three parallel research thrusts: 1) strategic analysis of transcriptome and metagenome sequences to identify proteins with entirely unknown function relevant to biomass (lignocellulose) transformation, 2) mapping of uncharted regions within phylogenetic trees of poorly characterized enzyme families with recognized potential to modify the chemistry and biophysical properties of plant polysaccharides, and 3) the design and development of novel enzyme screens to directly address the increasing limitations of existing assays to uncover entirely new protein functions. BHIVE will be unique in its undivided focus on characterizing lignocellulose-active proteins encoded by the 30-40% of un-annotated sequence, or genomic “dark matter”, typical of nearly all genome sequences. In this way, BHIVE tackles a key constraint to fully realizing the societal and environmental benefits of the genomics era.
Summary
Recent advances in systems-level study of cells and organisms have revealed the enormous potential to live more sustainably through better use of biological processes. Plants sustainably synthesize the most abundant and diverse materials on Earth. By applying recent advances in life science technology, we can better harness renewable plant resources and bioconversion processes, to develop environmentally and politically sustainable human enterprise and lifestyles. At the same time, the global market for high-value biochemicals and bioplastics from forest and agricultural sources is rapidly increasing, which presents new opportunities for forest and agricultural sectors.
The overall aim of BHIVE is to illuminate uncharted regions of genome and metagenome sequences to discover entirely new protein families that can be used to sustainably synthesize novel, high-value biomaterials from renewable plant resources. The approach will include three parallel research thrusts: 1) strategic analysis of transcriptome and metagenome sequences to identify proteins with entirely unknown function relevant to biomass (lignocellulose) transformation, 2) mapping of uncharted regions within phylogenetic trees of poorly characterized enzyme families with recognized potential to modify the chemistry and biophysical properties of plant polysaccharides, and 3) the design and development of novel enzyme screens to directly address the increasing limitations of existing assays to uncover entirely new protein functions. BHIVE will be unique in its undivided focus on characterizing lignocellulose-active proteins encoded by the 30-40% of un-annotated sequence, or genomic “dark matter”, typical of nearly all genome sequences. In this way, BHIVE tackles a key constraint to fully realizing the societal and environmental benefits of the genomics era.
Max ERC Funding
1 977 781 €
Duration
Start date: 2015-09-01, End date: 2020-12-31
Project acronym BIZEB
Project Bio-Imaging of Zoonotic and Emerging Bunyaviruses
Researcher (PI) Juha Huiskonen
Host Institution (HI) HELSINGIN YLIOPISTO
Country Finland
Call Details Consolidator Grant (CoG), LS1, ERC-2014-CoG
Summary We aim to understand host cell entry of enveloped viruses at molecular level. A crucial step in this process is when the viral membrane fuses with the cell membrane. Similarly to cell–cell fusion, this step is mediated by fusion proteins (classes I–III). Several medically important viruses, notably dengue and many bunyaviruses, harbour a class II fusion protein. Class II fusion protein structures have been solved in pre- and post-fusion conformation and in some cases different factors promoting fusion have been determined. However, questions about the most important steps of this key process remain unanswered. I will focus on the entry mechanism of bunyaviruses by using cutting-edge, high spatial and temporal resolution bio-imaging techniques. These viruses have been chosen as a model system to maximise the significance of the project: they form an emerging viral threat to humans and animals, no approved vaccines or antivirals exist for human use and they are less studied than other class II fusion protein systems. Cryo-electron microscopy and tomography will be used to solve high-resolution structures (up to ~3 Å) of viruses, in addition to virus–receptor and virus–membrane complexes. Advanced fluorescence microscopy techniques will be used to probe the dynamics of virus entry and fusion in vivo and in vitro. Deciphering key steps in virus entry is expected to contribute to rational vaccine and drug design. During this project I aim to establish a world-class laboratory in structural and cellular biology of emerging viruses. The project greatly benefits from our unique biosafety level 3 laboratory offering advanced bio-imaging techniques. Furthermore it will also pave way for similar projects on other infectious viruses. Finally the novel computational image processing methods developed in this project will be broadly applicable for the analysis of flexible biological structures, which often pose the most challenging yet interesting questions in structural biology.
Summary
We aim to understand host cell entry of enveloped viruses at molecular level. A crucial step in this process is when the viral membrane fuses with the cell membrane. Similarly to cell–cell fusion, this step is mediated by fusion proteins (classes I–III). Several medically important viruses, notably dengue and many bunyaviruses, harbour a class II fusion protein. Class II fusion protein structures have been solved in pre- and post-fusion conformation and in some cases different factors promoting fusion have been determined. However, questions about the most important steps of this key process remain unanswered. I will focus on the entry mechanism of bunyaviruses by using cutting-edge, high spatial and temporal resolution bio-imaging techniques. These viruses have been chosen as a model system to maximise the significance of the project: they form an emerging viral threat to humans and animals, no approved vaccines or antivirals exist for human use and they are less studied than other class II fusion protein systems. Cryo-electron microscopy and tomography will be used to solve high-resolution structures (up to ~3 Å) of viruses, in addition to virus–receptor and virus–membrane complexes. Advanced fluorescence microscopy techniques will be used to probe the dynamics of virus entry and fusion in vivo and in vitro. Deciphering key steps in virus entry is expected to contribute to rational vaccine and drug design. During this project I aim to establish a world-class laboratory in structural and cellular biology of emerging viruses. The project greatly benefits from our unique biosafety level 3 laboratory offering advanced bio-imaging techniques. Furthermore it will also pave way for similar projects on other infectious viruses. Finally the novel computational image processing methods developed in this project will be broadly applicable for the analysis of flexible biological structures, which often pose the most challenging yet interesting questions in structural biology.
Max ERC Funding
1 998 375 €
Duration
Start date: 2015-04-01, End date: 2020-03-31
Project acronym Browsec
Project Foundations and Tools for Client-Side Web Security
Researcher (PI) Matteo MAFFEI
Host Institution (HI) TECHNISCHE UNIVERSITAET WIEN
Country Austria
Call Details Consolidator Grant (CoG), PE6, ERC-2017-COG
Summary The constantly increasing number of attacks on web applications shows how their rapid development has not been accompanied by adequate security foundations and demonstrates the lack of solid security enforcement tools. Indeed, web applications expose a gigantic attack surface, which hinders a rigorous understanding and enforcement of security properties. Hence, despite the worthwhile efforts to design secure web applications, users for a while will be confronted with vulnerable, or maliciously crafted, code. Unfortunately, end users have no way at present to reliably protect themselves from malicious applications.
BROWSEC will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. In particular, BROWSEC will deliver the first client-side tool to secure web applications that is practical, in that it is implemented as an extension and can thus be easily deployed at large, and also provably sound, i.e., backed up by machine-checked proofs that the tool provides end users with the required security guarantees. At the core of the proposal lies a novel monitoring technique, which treats the browser as a blackbox and intercepts its inputs and outputs in order to prevent dangerous information flows. With this lightweight monitoring approach, we aim at enforcing strong security properties without requiring any expensive and, given the dynamic nature of web applications, statically infeasible program analysis.
BROWSEC is thus a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.
Summary
The constantly increasing number of attacks on web applications shows how their rapid development has not been accompanied by adequate security foundations and demonstrates the lack of solid security enforcement tools. Indeed, web applications expose a gigantic attack surface, which hinders a rigorous understanding and enforcement of security properties. Hence, despite the worthwhile efforts to design secure web applications, users for a while will be confronted with vulnerable, or maliciously crafted, code. Unfortunately, end users have no way at present to reliably protect themselves from malicious applications.
BROWSEC will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. In particular, BROWSEC will deliver the first client-side tool to secure web applications that is practical, in that it is implemented as an extension and can thus be easily deployed at large, and also provably sound, i.e., backed up by machine-checked proofs that the tool provides end users with the required security guarantees. At the core of the proposal lies a novel monitoring technique, which treats the browser as a blackbox and intercepts its inputs and outputs in order to prevent dangerous information flows. With this lightweight monitoring approach, we aim at enforcing strong security properties without requiring any expensive and, given the dynamic nature of web applications, statically infeasible program analysis.
BROWSEC is thus a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.
Max ERC Funding
1 990 000 €
Duration
Start date: 2018-06-01, End date: 2023-05-31
Project acronym CAVITYQPD
Project Cavity quantum phonon dynamics
Researcher (PI) Mika Antero Sillanpaeae
Host Institution (HI) AALTO KORKEAKOULUSAATIO SR
Country Finland
Call Details Consolidator Grant (CoG), PE3, ERC-2013-CoG
Summary "Large bodies usually follow the classical equations of motion. Deviations from this can be called
macroscopic quantum behavior. These phenomena have been experimentally verified with cavity Quantum
Electro Dynamics (QED), trapped ions, and superconducting Josephson junction systems. Recently, evidence
was obtained that also moving objects can display such behavior. These objects are micromechanical
resonators (MR), which can measure tens of microns in size and are hence quite macroscopic. The degree of
freedom is their vibrations: phonons.
I propose experimental research in order to push quantum mechanics closer to the classical world than ever
before. I will try find quantum behavior in the most classical objects, that is, slowly moving bodies. I will use
MR's, accessed via electrical resonators. Part of it will be in analogy to the previously studied macroscopic
systems, but with photons replaced by phonons. The experiments are done in a cryogenic temperature mostly
in dilution refrigerator. The work will open up new perspectives on how nature works, and can have
technological implications.
The first basic setup is the coupling of MR to microwave cavity resonators. This is a direct analogy to
optomechanics, and can be called circuit optomechanics. The goals will be phonon state transfer via a cavity
bus, construction of squeezed states and of phonon-cavity entanglement. The second setup is to boost the
optomechanical coupling with a Josephson junction system, and reach the single-phonon strong-coupling for
the first time. The third setup is the coupling of MR to a Josephson junction artificial atom. Here we will
access the MR same way as the motion of a trapped ions is coupled to their internal transitions. In this setup,
I am proposing to construct exotic quantum states of motion, and finally entangle and transfer phonons over
mm-distance via cavity-coupled qubits. I believe within the project it is possible to perform rudimentary Bell
measurement with phonons."
Summary
"Large bodies usually follow the classical equations of motion. Deviations from this can be called
macroscopic quantum behavior. These phenomena have been experimentally verified with cavity Quantum
Electro Dynamics (QED), trapped ions, and superconducting Josephson junction systems. Recently, evidence
was obtained that also moving objects can display such behavior. These objects are micromechanical
resonators (MR), which can measure tens of microns in size and are hence quite macroscopic. The degree of
freedom is their vibrations: phonons.
I propose experimental research in order to push quantum mechanics closer to the classical world than ever
before. I will try find quantum behavior in the most classical objects, that is, slowly moving bodies. I will use
MR's, accessed via electrical resonators. Part of it will be in analogy to the previously studied macroscopic
systems, but with photons replaced by phonons. The experiments are done in a cryogenic temperature mostly
in dilution refrigerator. The work will open up new perspectives on how nature works, and can have
technological implications.
The first basic setup is the coupling of MR to microwave cavity resonators. This is a direct analogy to
optomechanics, and can be called circuit optomechanics. The goals will be phonon state transfer via a cavity
bus, construction of squeezed states and of phonon-cavity entanglement. The second setup is to boost the
optomechanical coupling with a Josephson junction system, and reach the single-phonon strong-coupling for
the first time. The third setup is the coupling of MR to a Josephson junction artificial atom. Here we will
access the MR same way as the motion of a trapped ions is coupled to their internal transitions. In this setup,
I am proposing to construct exotic quantum states of motion, and finally entangle and transfer phonons over
mm-distance via cavity-coupled qubits. I believe within the project it is possible to perform rudimentary Bell
measurement with phonons."
Max ERC Funding
2 004 283 €
Duration
Start date: 2015-01-01, End date: 2019-12-31
Project acronym CharFL
Project Characterizing the fitness landscape on population and global scales
Researcher (PI) Fyodor Kondrashov
Host Institution (HI) INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Country Austria
Call Details Consolidator Grant (CoG), LS2, ERC-2017-COG
Summary The fitness landscape, the representation of how the genotype manifests at the phenotypic (fitness) levels, may be among the most useful concepts in biology with impact on diverse fields, including quantitative genetics, emergence of pathogen resistance, synthetic biology and protein engineering. While progress in characterizing fitness landscapes has been made, three directions of research in the field remain virtually unexplored: the nature of the genotype to phenotype of standing variation (variation found in a natural population), the shape of the fitness landscape encompassing many genotypes and the modelling of complex genetic interactions in protein sequences.
The current proposal is designed to advance the study of fitness landscapes in these three directions using large-scale genomic experiments and experimental data from a model protein and theoretical work. The study of the fitness landscape of standing variation is aimed at the resolution of an outstanding question in quantitative genetics: the extent to which epistasis, non-additive genetic interactions, is shaping the phenotype. The second aim of characterizing the global fitness landscape will give us an understanding of how evolution proceeds along long evolutionary timescales, which can be directly applied to protein engineering and synthetic biology for the design of novel phenotypes. Finally, the third aim of modelling complex interactions will improve our ability to predict phenotypes from genotypes, such as the prediction of human disease mutations. In summary, the proposed study presents an opportunity to provide a unifying understanding of how phenotypes are shaped through genetic interactions. The consolidation of our empirical and theoretical work on different scales of the genotype to phenotype relationship will provide empirical data and novel context for several fields of biology.
Summary
The fitness landscape, the representation of how the genotype manifests at the phenotypic (fitness) levels, may be among the most useful concepts in biology with impact on diverse fields, including quantitative genetics, emergence of pathogen resistance, synthetic biology and protein engineering. While progress in characterizing fitness landscapes has been made, three directions of research in the field remain virtually unexplored: the nature of the genotype to phenotype of standing variation (variation found in a natural population), the shape of the fitness landscape encompassing many genotypes and the modelling of complex genetic interactions in protein sequences.
The current proposal is designed to advance the study of fitness landscapes in these three directions using large-scale genomic experiments and experimental data from a model protein and theoretical work. The study of the fitness landscape of standing variation is aimed at the resolution of an outstanding question in quantitative genetics: the extent to which epistasis, non-additive genetic interactions, is shaping the phenotype. The second aim of characterizing the global fitness landscape will give us an understanding of how evolution proceeds along long evolutionary timescales, which can be directly applied to protein engineering and synthetic biology for the design of novel phenotypes. Finally, the third aim of modelling complex interactions will improve our ability to predict phenotypes from genotypes, such as the prediction of human disease mutations. In summary, the proposed study presents an opportunity to provide a unifying understanding of how phenotypes are shaped through genetic interactions. The consolidation of our empirical and theoretical work on different scales of the genotype to phenotype relationship will provide empirical data and novel context for several fields of biology.
Max ERC Funding
1 998 280 €
Duration
Start date: 2019-01-01, End date: 2023-12-31