Project acronym ANICOLEVO
Project Animal coloration through deep time: evolutionary novelty, homology and taphonomy
Researcher (PI) Maria McNamara
Host Institution (HI) UNIVERSITY COLLEGE CORK - NATIONAL UNIVERSITY OF IRELAND, CORK
Call Details Starting Grant (StG), LS8, ERC-2014-STG
Summary What does the fossil record tell us about the evolution of colour in animals through deep time? Evidence of colour in fossils can inform on the visual signalling strategies used by ancient animals. Research to date often has a narrow focus, lacks a broad phylogenetic and temporal context, and rarely incorporates information on taphonomy. This proposal represents a bold new holistic approach to the study of fossil colour: it will couple powerful imaging- and chemical analytical techniques with a rigorous programme of fossilisation experiments simulating decay, burial, and transport, and analysis of fossils and their sedimentary context, to construct the first robust models for the evolution of colour in animals through deep time. The research will resolve the original integumentary colours of fossil higher vertebrates, and the original colours of fossil hair; the fossil record of non-melanin pigments in feathers and insects; the biological significance of monotonal patterning in fossil insects; and the evolutionary history of scales and 3D photonic crystals in insects. Critically, the research will test, for the first time, whether evidence of fossil colour can solve broader evolutionary questions, e.g. the true affinities of enigmatic Cambrian chordate-like metazoans, and feather-like integumentary filaments in dinosaurs. The proposal entails construction of a dedicated experimental maturation laboratory for simulating the impact of burial on tissues. This laboratory will form the core of the world’s first integrated ‘experimental fossilisation facility’, consolidating the PI’s team as the global hub for fossil colour research. The research team comprises the PI, three postdoctoral researchers, and three PhD students, and will form an extensive research network via collaborations with 13 researchers from Europe and beyond. The project will reach out to diverse scientists and will inspire a positive attitude to science among the general public and policymakers alike.
Summary
What does the fossil record tell us about the evolution of colour in animals through deep time? Evidence of colour in fossils can inform on the visual signalling strategies used by ancient animals. Research to date often has a narrow focus, lacks a broad phylogenetic and temporal context, and rarely incorporates information on taphonomy. This proposal represents a bold new holistic approach to the study of fossil colour: it will couple powerful imaging- and chemical analytical techniques with a rigorous programme of fossilisation experiments simulating decay, burial, and transport, and analysis of fossils and their sedimentary context, to construct the first robust models for the evolution of colour in animals through deep time. The research will resolve the original integumentary colours of fossil higher vertebrates, and the original colours of fossil hair; the fossil record of non-melanin pigments in feathers and insects; the biological significance of monotonal patterning in fossil insects; and the evolutionary history of scales and 3D photonic crystals in insects. Critically, the research will test, for the first time, whether evidence of fossil colour can solve broader evolutionary questions, e.g. the true affinities of enigmatic Cambrian chordate-like metazoans, and feather-like integumentary filaments in dinosaurs. The proposal entails construction of a dedicated experimental maturation laboratory for simulating the impact of burial on tissues. This laboratory will form the core of the world’s first integrated ‘experimental fossilisation facility’, consolidating the PI’s team as the global hub for fossil colour research. The research team comprises the PI, three postdoctoral researchers, and three PhD students, and will form an extensive research network via collaborations with 13 researchers from Europe and beyond. The project will reach out to diverse scientists and will inspire a positive attitude to science among the general public and policymakers alike.
Max ERC Funding
1 562 000 €
Duration
Start date: 2016-01-01, End date: 2020-12-31
Project acronym ANIMETRICS
Project Measurement-Based Modeling and Animation of Complex Mechanical Phenomena
Researcher (PI) Miguel Angel Otaduy Tristan
Host Institution (HI) UNIVERSIDAD REY JUAN CARLOS
Call Details Starting Grant (StG), PE6, ERC-2011-StG_20101014
Summary Computer animation has traditionally been associated with applications in virtual-reality-based training, video games or feature films. However, interactive animation is gaining relevance in a more general scope, as a tool for early-stage analysis, design and planning in many applications in science and engineering. The user can get quick and visual feedback of the results, and then proceed by refining the experiments or designs. Potential applications include nanodesign, e-commerce or tactile telecommunication, but they also reach as far as, e.g., the analysis of ecological, climate, biological or physiological processes.
The application of computer animation is extremely limited in comparison to its potential outreach due to a trade-off between accuracy and computational efficiency. Such trade-off is induced by inherent complexity sources such as nonlinear or anisotropic behaviors, heterogeneous properties, or high dynamic ranges of effects.
The Animetrics project proposes a modeling and animation methodology, which consists of a multi-scale decomposition of complex processes, the description of the process at each scale through combination of simple local models, and fitting the parameters of those local models using large amounts of data from example effects. The modeling and animation methodology will be explored on specific problems arising in complex mechanical phenomena, including viscoelasticity of solids and thin shells, multi-body contact, granular and liquid flow, and fracture of solids.
Summary
Computer animation has traditionally been associated with applications in virtual-reality-based training, video games or feature films. However, interactive animation is gaining relevance in a more general scope, as a tool for early-stage analysis, design and planning in many applications in science and engineering. The user can get quick and visual feedback of the results, and then proceed by refining the experiments or designs. Potential applications include nanodesign, e-commerce or tactile telecommunication, but they also reach as far as, e.g., the analysis of ecological, climate, biological or physiological processes.
The application of computer animation is extremely limited in comparison to its potential outreach due to a trade-off between accuracy and computational efficiency. Such trade-off is induced by inherent complexity sources such as nonlinear or anisotropic behaviors, heterogeneous properties, or high dynamic ranges of effects.
The Animetrics project proposes a modeling and animation methodology, which consists of a multi-scale decomposition of complex processes, the description of the process at each scale through combination of simple local models, and fitting the parameters of those local models using large amounts of data from example effects. The modeling and animation methodology will be explored on specific problems arising in complex mechanical phenomena, including viscoelasticity of solids and thin shells, multi-body contact, granular and liquid flow, and fracture of solids.
Max ERC Funding
1 277 969 €
Duration
Start date: 2012-01-01, End date: 2016-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 ANTICS
Project Algorithmic Number Theory in Computer Science
Researcher (PI) Andreas Enge
Host Institution (HI) INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
Call Details Starting Grant (StG), PE6, ERC-2011-StG_20101014
Summary "During the past twenty years, we have witnessed profound technological changes, summarised under the terms of digital revolution or entering the information age. It is evident that these technological changes will have a deep societal impact, and questions of privacy and security are primordial to ensure the survival of a free and open society.
Cryptology is a main building block of any security solution, and at the heart of projects such as electronic identity and health cards, access control, digital content distribution or electronic voting, to mention only a few important applications. During the past decades, public-key cryptology has established itself as a research topic in computer science; tools of theoretical computer science are employed to “prove” the security of cryptographic primitives such as encryption or digital signatures and of more complex protocols. It is often forgotten, however, that all practically relevant public-key cryptosystems are rooted in pure mathematics, in particular, number theory and arithmetic geometry. In fact, the socalled security “proofs” are all conditional to the algorithmic untractability of certain number theoretic problems, such as factorisation of large integers or discrete logarithms in algebraic curves. Unfortunately, there is a large cultural gap between computer scientists using a black-box security reduction to a supposedly hard problem in algorithmic number theory and number theorists, who are often interested in solving small and easy instances of the same problem. The theoretical grounds on which current algorithmic number theory operates are actually rather shaky, and cryptologists are generally unaware of this fact.
The central goal of ANTICS is to rebuild algorithmic number theory on the firm grounds of theoretical computer science."
Summary
"During the past twenty years, we have witnessed profound technological changes, summarised under the terms of digital revolution or entering the information age. It is evident that these technological changes will have a deep societal impact, and questions of privacy and security are primordial to ensure the survival of a free and open society.
Cryptology is a main building block of any security solution, and at the heart of projects such as electronic identity and health cards, access control, digital content distribution or electronic voting, to mention only a few important applications. During the past decades, public-key cryptology has established itself as a research topic in computer science; tools of theoretical computer science are employed to “prove” the security of cryptographic primitives such as encryption or digital signatures and of more complex protocols. It is often forgotten, however, that all practically relevant public-key cryptosystems are rooted in pure mathematics, in particular, number theory and arithmetic geometry. In fact, the socalled security “proofs” are all conditional to the algorithmic untractability of certain number theoretic problems, such as factorisation of large integers or discrete logarithms in algebraic curves. Unfortunately, there is a large cultural gap between computer scientists using a black-box security reduction to a supposedly hard problem in algorithmic number theory and number theorists, who are often interested in solving small and easy instances of the same problem. The theoretical grounds on which current algorithmic number theory operates are actually rather shaky, and cryptologists are generally unaware of this fact.
The central goal of ANTICS is to rebuild algorithmic number theory on the firm grounds of theoretical computer science."
Max ERC Funding
1 453 507 €
Duration
Start date: 2012-01-01, End date: 2016-12-31
Project acronym ANTS
Project Attine ANT SymbiomeS
Researcher (PI) Jacobus Jan Boomsma
Host Institution (HI) KOBENHAVNS UNIVERSITET
Call Details Advanced Grant (AdG), LS8, ERC-2012-ADG_20120314
Summary "The attine fungus-growing ants are prime models for understanding phenotypic adaptations in social evolution and symbiosis. The mutualism has many hallmarks of advanced cooperation in its mating system commitments and functional complementarity between multiple symbiont partners, but potential conflicts between sexes and castes over reproductive priorities, and between hosts and symbionts over symbiont mixing have also been documented. With collaborators at BGI-Shenzhen and the Smithsonian Institution my group has obtained six reference genomes representing all genus-level branches of the higher attine ants and a lower attine outgroup. With collaborators in Denmark and Australia we have pioneered proteomic approaches to understand the preservation of sperm viability in spite of sperm competition and the enzymatic decomposition of plant substrates that the ants use to make their fungus gardens grow.
Here, I propose an integrated study focusing on four major areas of attine ant biology that are particularly inviting for in depth molecular approaches: 1. The protein-level networks that secure life-time (up to 20 years) sperm storage in specialized ant-queen organs and the genetic mechanisms that shape and adjust these “sexual symbiome” networks. 2. The ant-fungal symbiome, i.e. the dynamics of fungal enzyme production for plant substrate degradation and the redistribution of these enzymes in fungus gardens through fecal deposition after they are ingested but not digested by the ants. 3. The microbial symbiome of ant guts and other tissues with obligate bacterial mutualists, of which we have identified some and will characterize a wider collection across the different branches of the attine ant phylogeny. 4. The genome-wide frequency of genomic imprinting and the significance of these imprints for the expression of caste phenotypes and the regulation of potential reproductive conflicts."
Summary
"The attine fungus-growing ants are prime models for understanding phenotypic adaptations in social evolution and symbiosis. The mutualism has many hallmarks of advanced cooperation in its mating system commitments and functional complementarity between multiple symbiont partners, but potential conflicts between sexes and castes over reproductive priorities, and between hosts and symbionts over symbiont mixing have also been documented. With collaborators at BGI-Shenzhen and the Smithsonian Institution my group has obtained six reference genomes representing all genus-level branches of the higher attine ants and a lower attine outgroup. With collaborators in Denmark and Australia we have pioneered proteomic approaches to understand the preservation of sperm viability in spite of sperm competition and the enzymatic decomposition of plant substrates that the ants use to make their fungus gardens grow.
Here, I propose an integrated study focusing on four major areas of attine ant biology that are particularly inviting for in depth molecular approaches: 1. The protein-level networks that secure life-time (up to 20 years) sperm storage in specialized ant-queen organs and the genetic mechanisms that shape and adjust these “sexual symbiome” networks. 2. The ant-fungal symbiome, i.e. the dynamics of fungal enzyme production for plant substrate degradation and the redistribution of these enzymes in fungus gardens through fecal deposition after they are ingested but not digested by the ants. 3. The microbial symbiome of ant guts and other tissues with obligate bacterial mutualists, of which we have identified some and will characterize a wider collection across the different branches of the attine ant phylogeny. 4. The genome-wide frequency of genomic imprinting and the significance of these imprints for the expression of caste phenotypes and the regulation of potential reproductive conflicts."
Max ERC Funding
2 290 102 €
Duration
Start date: 2013-05-01, End date: 2018-04-30
Project acronym ANTSolve
Project A multi-scale perspective into collective problem solving in ants
Researcher (PI) Ofer Feinerman
Host Institution (HI) WEIZMANN INSTITUTE OF SCIENCE
Call Details Consolidator Grant (CoG), LS8, ERC-2017-COG
Summary Cognition improves an animal’s ability to tune its responses to environmental conditions. In group living animals, communication works to form a collective cognition that expands the group’s abilities beyond those of individuals. Despite much research, to date, there is little understanding of how collective cognition emerges within biological ensembles. A major obstacle towards such an understanding is the rarity of comprehensive multi-scale empirical data of these complex systems.
We have demonstrated cooperative load transport by ants to be an ideal system to study the emergence of cognition. Similar to other complex cognitive systems, the ants employ high levels of emergence to achieve efficient problem solving over a large range of scenarios. Unique to this system, is its extreme amenability to experimental measurement and manipulation where internal conflicts map to forces, abstract decision making is reflected in direction changes, and future planning manifested in pheromone trails. This allows for an unprecedentedly detailed, multi-scale empirical description of the moment-to-moment unfolding of sophisticated cognitive processes.
This proposal is aimed at materializing this potential to the full. We will examine the ants’ problem solving capabilities under a variety of environmental challenges. We will expose the underpinning rules on the different organizational scales, the flow of information between them, and their relative contributions to collective performance. This will allow for empirical comparisons between the ‘group’ and the ‘sum of its parts’ from which we will quantify the level of emergence in this system. Using the language of information, we will map the boundaries of this group’s collective cognition and relate them to the range of habitable environmental niches. Moreover, we will generalize these insights to formulate a new paradigm of emergence in biological groups opening new horizons in the study of cognitive processes in general.
Summary
Cognition improves an animal’s ability to tune its responses to environmental conditions. In group living animals, communication works to form a collective cognition that expands the group’s abilities beyond those of individuals. Despite much research, to date, there is little understanding of how collective cognition emerges within biological ensembles. A major obstacle towards such an understanding is the rarity of comprehensive multi-scale empirical data of these complex systems.
We have demonstrated cooperative load transport by ants to be an ideal system to study the emergence of cognition. Similar to other complex cognitive systems, the ants employ high levels of emergence to achieve efficient problem solving over a large range of scenarios. Unique to this system, is its extreme amenability to experimental measurement and manipulation where internal conflicts map to forces, abstract decision making is reflected in direction changes, and future planning manifested in pheromone trails. This allows for an unprecedentedly detailed, multi-scale empirical description of the moment-to-moment unfolding of sophisticated cognitive processes.
This proposal is aimed at materializing this potential to the full. We will examine the ants’ problem solving capabilities under a variety of environmental challenges. We will expose the underpinning rules on the different organizational scales, the flow of information between them, and their relative contributions to collective performance. This will allow for empirical comparisons between the ‘group’ and the ‘sum of its parts’ from which we will quantify the level of emergence in this system. Using the language of information, we will map the boundaries of this group’s collective cognition and relate them to the range of habitable environmental niches. Moreover, we will generalize these insights to formulate a new paradigm of emergence in biological groups opening new horizons in the study of cognitive processes in general.
Max ERC Funding
2 000 000 €
Duration
Start date: 2018-06-01, End date: 2023-05-31
Project acronym ANXIETY MECHANISMS
Project Neurocognitive mechanisms of human anxiety: identifying and
targeting disrupted function
Researcher (PI) Sonia Jane Bishop
Host Institution (HI) THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Call Details Starting Grant (StG), LS5, ERC-2010-StG_20091118
Summary Within a 12 month period, 20% of adults will meet criteria for one or more clinical anxiety disorders (ADs). These disorders are hugely disruptive, placing an emotional burden on individuals and their families. While both cognitive behavioural therapy and pharmacological treatment are widely viewed as effective strategies for managing ADs, systematic review of the literature reveals that only 30–45% of patients demonstrate a marked response to treatment (anxiety levels being reduced into the nonaffected range). In addition, a significant proportion of initial responders relapse after treatment is discontinued. There is hence a real and marked need to improve upon current approaches to AD treatment.
One possible avenue for improving response rates is through optimizing initial treatment selection. Specifically, it is possible that certain individuals might respond better to cognitive interventions while others might respond better to pharmacological treatment. Recently it has been suggested that there may be two or more distinct biological pathways disrupted in anxiety. If this is the case, then specification of these pathways may be an important step in predicting which individuals are likely to respond to which treatment. Few studies have focused upon this issue and, in particular, upon identifying neural markers that might predict response to cognitive (as opposed to pharmacological) intervention. The proposed research aims to address this. Specifically, it tests the hypothesis that there are at least two mechanisms disrupted in ADs, one entailing amygdala hyper-responsivity to cues that signal threat, the other impoverished recruitment of frontal regions that support cognitive and emotional regulation.
Two series of functional magnetic resonance imaging experiments will be conducted. These will investigate differences in amygdala and frontal function during (a) attentional processing and (b) fear conditioning. Initial clinical experiments will investigate whether Generalised Anxiety Disorder and Specific Phobia involve differing degrees of disruption to frontal versus amygdala function during these tasks. This work will feed into training studies, the goal being to characterize AD patient subgroups that benefit from cognitive training.
Summary
Within a 12 month period, 20% of adults will meet criteria for one or more clinical anxiety disorders (ADs). These disorders are hugely disruptive, placing an emotional burden on individuals and their families. While both cognitive behavioural therapy and pharmacological treatment are widely viewed as effective strategies for managing ADs, systematic review of the literature reveals that only 30–45% of patients demonstrate a marked response to treatment (anxiety levels being reduced into the nonaffected range). In addition, a significant proportion of initial responders relapse after treatment is discontinued. There is hence a real and marked need to improve upon current approaches to AD treatment.
One possible avenue for improving response rates is through optimizing initial treatment selection. Specifically, it is possible that certain individuals might respond better to cognitive interventions while others might respond better to pharmacological treatment. Recently it has been suggested that there may be two or more distinct biological pathways disrupted in anxiety. If this is the case, then specification of these pathways may be an important step in predicting which individuals are likely to respond to which treatment. Few studies have focused upon this issue and, in particular, upon identifying neural markers that might predict response to cognitive (as opposed to pharmacological) intervention. The proposed research aims to address this. Specifically, it tests the hypothesis that there are at least two mechanisms disrupted in ADs, one entailing amygdala hyper-responsivity to cues that signal threat, the other impoverished recruitment of frontal regions that support cognitive and emotional regulation.
Two series of functional magnetic resonance imaging experiments will be conducted. These will investigate differences in amygdala and frontal function during (a) attentional processing and (b) fear conditioning. Initial clinical experiments will investigate whether Generalised Anxiety Disorder and Specific Phobia involve differing degrees of disruption to frontal versus amygdala function during these tasks. This work will feed into training studies, the goal being to characterize AD patient subgroups that benefit from cognitive training.
Max ERC Funding
1 708 407 €
Duration
Start date: 2011-04-01, End date: 2016-08-31
Project acronym AOC
Project Adversary-Oriented Computing
Researcher (PI) Rachid Guerraoui
Host Institution (HI) ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE
Call Details Advanced Grant (AdG), PE6, ERC-2013-ADG
Summary "Recent technological evolutions, including the cloud, the multicore, the social and the mobiles ones, are turning computing ubiquitously distributed. Yet, building high-assurance distributed programs is notoriously challenging. One of the main reasons is that these systems usually seek to achieve several goals at the same time. In short, they need to be efficient, responding effectively in various average-case conditions, as well as reliable, behaving correctly in severe, worst-case conditions. As a consequence, they typically intermingle different strategies: each to cope with some specific condition, e.g., with or without node failures, message losses, time-outs, contention, cache misses,
over-sizing, malicious attacks, etc. The resulting programs end up hard to design, prove, verify, implement, test and debug. Not surprisingly, there are anecdotal evidences of the fragility of the most celebrated distributed systems.
The goal of this project is to contribute to building high-assurance distributed programs by introducing a new dimension for separating and isolating their concerns, as well as a new scheme for composing and reusing them in a modular manner. In short, the project will explore the inherent power and limitations of a novel paradigm, Adversary-Oriented Computing (AOC). Sub-programs, each implementing a specific strategy to cope with a given adversary, modelling a specific working condition, are designed, proved, verified, implemented, tested and debugged independently. They are then composed, possibly dynamically, as black-boxes within the same global program. The AOC project is ambitious and it seeks to fundamentally revisit the way distributed algorithms are designed and distributed systems are implemented. The gain expected in comparison with today's approaches is substantial, and I believe it will be proportional to the degree of difficulty of the distributed problem at hand."
Summary
"Recent technological evolutions, including the cloud, the multicore, the social and the mobiles ones, are turning computing ubiquitously distributed. Yet, building high-assurance distributed programs is notoriously challenging. One of the main reasons is that these systems usually seek to achieve several goals at the same time. In short, they need to be efficient, responding effectively in various average-case conditions, as well as reliable, behaving correctly in severe, worst-case conditions. As a consequence, they typically intermingle different strategies: each to cope with some specific condition, e.g., with or without node failures, message losses, time-outs, contention, cache misses,
over-sizing, malicious attacks, etc. The resulting programs end up hard to design, prove, verify, implement, test and debug. Not surprisingly, there are anecdotal evidences of the fragility of the most celebrated distributed systems.
The goal of this project is to contribute to building high-assurance distributed programs by introducing a new dimension for separating and isolating their concerns, as well as a new scheme for composing and reusing them in a modular manner. In short, the project will explore the inherent power and limitations of a novel paradigm, Adversary-Oriented Computing (AOC). Sub-programs, each implementing a specific strategy to cope with a given adversary, modelling a specific working condition, are designed, proved, verified, implemented, tested and debugged independently. They are then composed, possibly dynamically, as black-boxes within the same global program. The AOC project is ambitious and it seeks to fundamentally revisit the way distributed algorithms are designed and distributed systems are implemented. The gain expected in comparison with today's approaches is substantial, and I believe it will be proportional to the degree of difficulty of the distributed problem at hand."
Max ERC Funding
2 147 012 €
Duration
Start date: 2014-06-01, End date: 2019-05-31
Project acronym APEG
Project Algorithmic Performance Guarantees: Foundations and Applications
Researcher (PI) Susanne ALBERS
Host Institution (HI) TECHNISCHE UNIVERSITAET MUENCHEN
Call Details Advanced Grant (AdG), PE6, ERC-2015-AdG
Summary Optimization problems are ubiquitous in computer science. Almost every problem involves the optimization of some objective function. However a major part of these problems cannot be solved to optimality. Therefore, algorithms that achieve provably good performance guarantees are of immense importance. Considerable progress has already been made, but great challenges remain: Some fundamental problems are not well understood. Moreover, for central problems arising in new applications, no solutions are known at all.
The goal of APEG is to significantly advance the state of the art on algorithmic performance guarantees. Specifically, the project has two missions: First, it will develop new algorithmic techniques, breaking new ground in the areas of online algorithms, approximations algorithms and algorithmic game theory. Second, it will apply these techniques to solve fundamental problems that are central in these algorithmic disciplines. APEG will attack long-standing open problems, some of which have been unresolved for several decades. Furthermore, it will formulate and investigate new algorithmic problems that arise in modern applications. The research agenda encompasses a broad spectrum of classical and timely topics including (a) resource allocation in computer systems, (b) data structuring, (c) graph problems, with relations to Internet advertising, (d) complex networks and (e) massively parallel systems. In addition to basic optimization objectives, the project will also study the new performance metric of energy minimization in computer systems.
Overall, APEG pursues cutting-edge algorithms research, focusing on both foundational problems and applications. Any progress promises to be a breakthrough or significant contribution.
Summary
Optimization problems are ubiquitous in computer science. Almost every problem involves the optimization of some objective function. However a major part of these problems cannot be solved to optimality. Therefore, algorithms that achieve provably good performance guarantees are of immense importance. Considerable progress has already been made, but great challenges remain: Some fundamental problems are not well understood. Moreover, for central problems arising in new applications, no solutions are known at all.
The goal of APEG is to significantly advance the state of the art on algorithmic performance guarantees. Specifically, the project has two missions: First, it will develop new algorithmic techniques, breaking new ground in the areas of online algorithms, approximations algorithms and algorithmic game theory. Second, it will apply these techniques to solve fundamental problems that are central in these algorithmic disciplines. APEG will attack long-standing open problems, some of which have been unresolved for several decades. Furthermore, it will formulate and investigate new algorithmic problems that arise in modern applications. The research agenda encompasses a broad spectrum of classical and timely topics including (a) resource allocation in computer systems, (b) data structuring, (c) graph problems, with relations to Internet advertising, (d) complex networks and (e) massively parallel systems. In addition to basic optimization objectives, the project will also study the new performance metric of energy minimization in computer systems.
Overall, APEG pursues cutting-edge algorithms research, focusing on both foundational problems and applications. Any progress promises to be a breakthrough or significant contribution.
Max ERC Funding
2 404 250 €
Duration
Start date: 2016-10-01, End date: 2021-09-30
Project acronym APGREID
Project Ancient Pathogen Genomics of Re-Emerging Infectious Disease
Researcher (PI) Johannes Krause
Host Institution (HI) MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Call Details Starting Grant (StG), LS8, ERC-2012-StG_20111109
Summary Here we propose a first step toward a direct reconstruction of the evolutionary history of human infectious disease agents by obtaining genome wide data of historic pathogens. Through an extensive screening of skeletal collections from well-characterized catastrophe, or emergency, mass burials we plan to detect and sequence pathogen DNA from various historic pandemics spanning at least 2,500 years using a general purpose molecular capture method that will screen for hundreds of pathogens in a single assay. Subsequent experiments will attempt to reconstruct full genomes from all pathogenic species identified. The molecular fossil record of human pathogens will provide insights into host adaptation and evolutionary rates of infectious disease. In addition, human genomic regions relating to disease susceptibility and immunity will be characterized in the skeletal material in order to observe the direct effect that pathogens have made on the genetic makeup of human populations over time. The results of this project will allow a multidisciplinary interpretation of historical pandemics that have influenced the course of human history. It will provide priceless information for the field of history, evolutionary biology, anthropology as well as medicine and will have direct consequences on how we manage emerging and re-emerging infectious disease in the future.
Summary
Here we propose a first step toward a direct reconstruction of the evolutionary history of human infectious disease agents by obtaining genome wide data of historic pathogens. Through an extensive screening of skeletal collections from well-characterized catastrophe, or emergency, mass burials we plan to detect and sequence pathogen DNA from various historic pandemics spanning at least 2,500 years using a general purpose molecular capture method that will screen for hundreds of pathogens in a single assay. Subsequent experiments will attempt to reconstruct full genomes from all pathogenic species identified. The molecular fossil record of human pathogens will provide insights into host adaptation and evolutionary rates of infectious disease. In addition, human genomic regions relating to disease susceptibility and immunity will be characterized in the skeletal material in order to observe the direct effect that pathogens have made on the genetic makeup of human populations over time. The results of this project will allow a multidisciplinary interpretation of historical pandemics that have influenced the course of human history. It will provide priceless information for the field of history, evolutionary biology, anthropology as well as medicine and will have direct consequences on how we manage emerging and re-emerging infectious disease in the future.
Max ERC Funding
1 474 560 €
Duration
Start date: 2013-01-01, End date: 2017-12-31