Project acronym SPATONC
Project Systems analysis of pancreatic tumor cell phenotype dependence on the spatial regulation of oncogenic Ras signaling
Researcher (PI) Philippe Igor Henri Bastiaens
Host Institution (HI) MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Call Details Advanced Grant (AdG), LS3, ERC-2012-ADG_20120314
Summary "Over the last several years me and my team have uncovered the reaction cycles that dynamically maintain the spatial organization of the Ras proto-oncogene products on cellular membranes. The quantitative microscopic imaging approaches in close iteration with computational systems dynamic analysis that we developed in the course of these studies were key to understand these reaction systems which were termed “spatial cycles”. Recent exciting results from my laboratory show that interference with spatial cycles, that normally maintain all major Ras isoforms on the plasma membrane, affects the signaling output from oncogenic Ras and thereby inhibits the growth and survival of KRas transformed murine pancreatic cancer cells. The purpose of the proposed multi-disciplinary project is to quantitatively assess in situ how the spatial organization of KRas affects the state of intracellular growth factor signaling networks and thereby maintains the phenotype of murine pancreatic cancer cells. A major objective that integrates the multiple levels of research in this proposal is whether and how the pharmacological inhibition of spatial cycles affects the growth of oncogenic KRas driven pancreatic tumors."
Summary
"Over the last several years me and my team have uncovered the reaction cycles that dynamically maintain the spatial organization of the Ras proto-oncogene products on cellular membranes. The quantitative microscopic imaging approaches in close iteration with computational systems dynamic analysis that we developed in the course of these studies were key to understand these reaction systems which were termed “spatial cycles”. Recent exciting results from my laboratory show that interference with spatial cycles, that normally maintain all major Ras isoforms on the plasma membrane, affects the signaling output from oncogenic Ras and thereby inhibits the growth and survival of KRas transformed murine pancreatic cancer cells. The purpose of the proposed multi-disciplinary project is to quantitatively assess in situ how the spatial organization of KRas affects the state of intracellular growth factor signaling networks and thereby maintains the phenotype of murine pancreatic cancer cells. A major objective that integrates the multiple levels of research in this proposal is whether and how the pharmacological inhibition of spatial cycles affects the growth of oncogenic KRas driven pancreatic tumors."
Max ERC Funding
2 442 400 €
Duration
Start date: 2013-04-01, End date: 2018-03-31
Project acronym SPECAP
Project Precision laser spectroscopy of antiprotonic and pionic atoms
Researcher (PI) Masaki Hori
Host Institution (HI) MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Call Details Starting Grant (StG), PE2, ERC-2012-StG_20111012
Summary "This proposal has two objectives. First, I propose to measure the antiproton mass relative to the electron mass with a fractional precision of 0.1 ppb by carrying out sub-Doppler two-photon laser spectroscopy of antiprotonic helium atoms. The antiproton mass would then be better known than the proton mass. The (anti)proton-to-electron mass ratio is regarded as a one of several fundamental physical constants which, like the fine structure constant α, is a dimensionless quantity of nature that can be measured to ppb-scale precision. The experiment would constitute the highest precision confirmation of CPT symmetry involving atoms containing antiprotons. A new buffer gas cooling technique will be used to cool down the atoms to temperature T<1.5 K, thereby reducing the residual Doppler width of the two-photon resonance signals caused by the thermal motion of the atom in the experimental target. A new quasi-cw laser with high peak power and narrow linewidth will be developed. In the later half of the project, high-quality antiproton beam from the new ELENA storage ring constructed at CERN will be used to reach higher precisions of 10^-11
Second, I propose to measure the pion mass to a precision of <10^-8 by carrying out the first laser spectroscopy of pionic helium atoms, where the pion occupies a Rydberg state and the electron the 1s state. This corresponds to a >300-fold improvement in precision compared to the currently known mass, and approaches the fundamental limit imposed by the 26-ns lifetime of the pion. Past measurements of mπ show a bifurcation, i.e. two groups of experimental results near 139.570 and 139.568 MeV/c^2. The laser spectroscopy of pionic helium will provide an unambiguous value for the pion mass. This will improve the limit on the muon neutrino mass obtained from laboratory experiments, and reduce the uncertainty on the Fermi coupling constant. This will be the first time an atom containing a meson has been studied by laser spectroscopy."
Summary
"This proposal has two objectives. First, I propose to measure the antiproton mass relative to the electron mass with a fractional precision of 0.1 ppb by carrying out sub-Doppler two-photon laser spectroscopy of antiprotonic helium atoms. The antiproton mass would then be better known than the proton mass. The (anti)proton-to-electron mass ratio is regarded as a one of several fundamental physical constants which, like the fine structure constant α, is a dimensionless quantity of nature that can be measured to ppb-scale precision. The experiment would constitute the highest precision confirmation of CPT symmetry involving atoms containing antiprotons. A new buffer gas cooling technique will be used to cool down the atoms to temperature T<1.5 K, thereby reducing the residual Doppler width of the two-photon resonance signals caused by the thermal motion of the atom in the experimental target. A new quasi-cw laser with high peak power and narrow linewidth will be developed. In the later half of the project, high-quality antiproton beam from the new ELENA storage ring constructed at CERN will be used to reach higher precisions of 10^-11
Second, I propose to measure the pion mass to a precision of <10^-8 by carrying out the first laser spectroscopy of pionic helium atoms, where the pion occupies a Rydberg state and the electron the 1s state. This corresponds to a >300-fold improvement in precision compared to the currently known mass, and approaches the fundamental limit imposed by the 26-ns lifetime of the pion. Past measurements of mπ show a bifurcation, i.e. two groups of experimental results near 139.570 and 139.568 MeV/c^2. The laser spectroscopy of pionic helium will provide an unambiguous value for the pion mass. This will improve the limit on the muon neutrino mass obtained from laboratory experiments, and reduce the uncertainty on the Fermi coupling constant. This will be the first time an atom containing a meson has been studied by laser spectroscopy."
Max ERC Funding
1 428 660 €
Duration
Start date: 2013-02-01, End date: 2018-01-31
Project acronym STRINGS&GRAVITY
Project Fundamental Aspects of Strings and Gravity
Researcher (PI) Dieter Lüst
Host Institution (HI) LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Call Details Advanced Grant (AdG), PE2, ERC-2012-ADG_20120216
Summary The proposed ERC Advanced Grant “Strings&Gravity” is centered around string theory as a consistent theory of quantum gravity in the context of particle physics and cosmology. We are addressing several ground breaking and highly innovative questions about the structure of space and time and the nature of fundamental interactions at very short distances. In particular we are planning to investigate various new aspects concerning the fundamental relation between string theory and gravity. These contain the intriguing properties of string scattering amplitudes and its so far not understood relations to the new concept of classicalization as well as the relation between black hole production and the production of heavy string Regge excitations. This part of the project will be also relevant for the search of extra dimensions and for mini black holes at the LHC. Furthermore we are planning to investigate stringy background geometries, which generalize the concept of Riemannian manifolds. We are aiming to get new insights from string theory and from non-geometric string backgrounds into the problem of dark energy, which is one of the most mysterious parts of Einstein relativity in relation to Standard cosmology.
This part of the project will be related to derive possible inflationary scenarios from new non-geometric compactifications without and with D-branes and background fluxes. The final aim of string theory will be to understand if the quantum structure of gravity and of space and time can emerge from an underlying and so far unknown dynamical principle, a problem which is equally important for the understanding of the Big Bang as for the physics of Black Holes.
Summary
The proposed ERC Advanced Grant “Strings&Gravity” is centered around string theory as a consistent theory of quantum gravity in the context of particle physics and cosmology. We are addressing several ground breaking and highly innovative questions about the structure of space and time and the nature of fundamental interactions at very short distances. In particular we are planning to investigate various new aspects concerning the fundamental relation between string theory and gravity. These contain the intriguing properties of string scattering amplitudes and its so far not understood relations to the new concept of classicalization as well as the relation between black hole production and the production of heavy string Regge excitations. This part of the project will be also relevant for the search of extra dimensions and for mini black holes at the LHC. Furthermore we are planning to investigate stringy background geometries, which generalize the concept of Riemannian manifolds. We are aiming to get new insights from string theory and from non-geometric string backgrounds into the problem of dark energy, which is one of the most mysterious parts of Einstein relativity in relation to Standard cosmology.
This part of the project will be related to derive possible inflationary scenarios from new non-geometric compactifications without and with D-branes and background fluxes. The final aim of string theory will be to understand if the quantum structure of gravity and of space and time can emerge from an underlying and so far unknown dynamical principle, a problem which is equally important for the understanding of the Big Bang as for the physics of Black Holes.
Max ERC Funding
959 400 €
Duration
Start date: 2013-04-01, End date: 2019-03-31
Project acronym STRONGINT
Project The strong interaction at neutron-rich extremes
Researcher (PI) Achim Schwenk
Host Institution (HI) TECHNISCHE UNIVERSITAT DARMSTADT
Call Details Starting Grant (StG), PE2, ERC-2012-StG_20111012
Summary """The strong interaction at neutron-rich extremes"" (STRONGINT) will investigate the structure of matter at the neutron-rich frontier in the laboratory and in the cosmos based on chiral effective field theory (EFT) interactions. Chiral EFT opens up a systematic path to investigate many-body forces and provides unique constraints for three-neutron and four-neutron interactions. We will for the first time explore the predicted many-body forces in neutron matter and neutron-rich matter. One milestone will be set by the development of a systematic power counting for neutron-rich matter. This will enable us to carry out diagrammatic approaches, and to develop ground-breaking nonperturbative Monte-Carlo calculations. Our results will strongly constrain the nuclear equation of state at the extremes reached in core-collapse supernovae and neutron stars. Based on the developments for neutron-rich matter, we will investigate spin correlations and develop a systematic description of neutrino-matter interactions, which can set the new standard for supernova simulations. Our pioneering studies have revealed new facets of three-body forces in neutron-rich nuclei, such as their role in determining the location of the neutron dripline in oxygen and in elucidating the doubly-magic nature of calcium-48. We will investigate the impact of chiral three-nucleon forces on key regions in the r-process path and develop a chiral EFT for valence-shell interactions. This will open new horizons for understanding the shell structure of nuclei. Another milestone will be set by the first calculation of neutrino-less double-beta decay based on chiral EFT interactions and consistent electroweak currents. The proposed interdisciplinary problems are essential for a successful and quantitative understanding of these big science questions."
Summary
"""The strong interaction at neutron-rich extremes"" (STRONGINT) will investigate the structure of matter at the neutron-rich frontier in the laboratory and in the cosmos based on chiral effective field theory (EFT) interactions. Chiral EFT opens up a systematic path to investigate many-body forces and provides unique constraints for three-neutron and four-neutron interactions. We will for the first time explore the predicted many-body forces in neutron matter and neutron-rich matter. One milestone will be set by the development of a systematic power counting for neutron-rich matter. This will enable us to carry out diagrammatic approaches, and to develop ground-breaking nonperturbative Monte-Carlo calculations. Our results will strongly constrain the nuclear equation of state at the extremes reached in core-collapse supernovae and neutron stars. Based on the developments for neutron-rich matter, we will investigate spin correlations and develop a systematic description of neutrino-matter interactions, which can set the new standard for supernova simulations. Our pioneering studies have revealed new facets of three-body forces in neutron-rich nuclei, such as their role in determining the location of the neutron dripline in oxygen and in elucidating the doubly-magic nature of calcium-48. We will investigate the impact of chiral three-nucleon forces on key regions in the r-process path and develop a chiral EFT for valence-shell interactions. This will open new horizons for understanding the shell structure of nuclei. Another milestone will be set by the first calculation of neutrino-less double-beta decay based on chiral EFT interactions and consistent electroweak currents. The proposed interdisciplinary problems are essential for a successful and quantitative understanding of these big science questions."
Max ERC Funding
1 495 020 €
Duration
Start date: 2012-09-01, End date: 2017-08-31
Project acronym SUBLINEAR
Project Sublinear algorithms for the analysis of very large graphs
Researcher (PI) Christian Sohler
Host Institution (HI) TECHNISCHE UNIVERSITAT DORTMUND
Call Details Starting Grant (StG), PE6, ERC-2012-StG_20111012
Summary Large graphs appear in many application areas. Typical examples are the webgraph, the internet graph, friendship graphs of social networks like facebook or Google+, citation graphs, collaboration graphs, and transportation networks.
The structure of these graphs contains valuable information but their size makes them very hard to analyze. We need special algorithm that analyze the graph structure via random sampling.
The main objective of the proposed project is to advance our understanding of the foundations of sampling processes for the analysis of the structure of large graphs. We will use the approach of Property Testing, a theoretical framework to analyze such sampling algorithms.
Summary
Large graphs appear in many application areas. Typical examples are the webgraph, the internet graph, friendship graphs of social networks like facebook or Google+, citation graphs, collaboration graphs, and transportation networks.
The structure of these graphs contains valuable information but their size makes them very hard to analyze. We need special algorithm that analyze the graph structure via random sampling.
The main objective of the proposed project is to advance our understanding of the foundations of sampling processes for the analysis of the structure of large graphs. We will use the approach of Property Testing, a theoretical framework to analyze such sampling algorithms.
Max ERC Funding
1 475 306 €
Duration
Start date: 2012-12-01, End date: 2018-11-30
Project acronym SynPhos
Project Highly-Reactive (Regenerative) Phosphorus Building Blocks -
New Concepts in Synthesis
Researcher (PI) Jan J. Weigand
Host Institution (HI) TECHNISCHE UNIVERSITAET DRESDEN
Call Details Starting Grant (StG), PE5, ERC-2012-StG_20111012
Summary Fundamental research is key important to allow us to find new, economically and ecologically attractive ways to meet current challenges. The current depletion of available phosphorus resources is a concern. Unlike oil, which is lost once used, phosphorus can be recovered and used over and over again or at least transformed into other compounds of chemical use. The intention of the present research proposal is to contribute to the field of synthetic chemistry both, inorganic and organic, by identifying and developing highly-reactive phosphorus building blocks that can be potentially regenerated. We would like to enter new avenues of phosphorus chemistry which will address fundamental questions and develop new applications. Using novel and powerful phosphorus reagents, new concepts for more efficient, selective and sustainable synthetic procedures will be developed. We also seek greener and more efficient processes and, whenever possible, to recover the phosphorus after the reaction. Phosphorus-based compounds will also be used in the recovery of industrial waste by-products such as phosphane oxides and depleted UF6, and will therefore have a positive impact on certain chemical industries and the environment.
With our proposal we aim to address the following aspects:
1) Synthesis of N-heterocyclic pnictanes (Pn = P, As, Sb, Bi with emphasis on P) and related cationic derivatives
2) Exploration of N-heterocyclic phosphanes as reagents in organic synthesis.
3) Preparation of catenated, branched and cyclic polyphosphanes via a novel method for P–P bond formation – access to
novel polyphosphorus-based ligand systems.
4) Alternative processes for the recycling of UF6 and related derivatives to access novel precursors for uranium chemistry
and to recover fluorine based products of high economic value.
Summary
Fundamental research is key important to allow us to find new, economically and ecologically attractive ways to meet current challenges. The current depletion of available phosphorus resources is a concern. Unlike oil, which is lost once used, phosphorus can be recovered and used over and over again or at least transformed into other compounds of chemical use. The intention of the present research proposal is to contribute to the field of synthetic chemistry both, inorganic and organic, by identifying and developing highly-reactive phosphorus building blocks that can be potentially regenerated. We would like to enter new avenues of phosphorus chemistry which will address fundamental questions and develop new applications. Using novel and powerful phosphorus reagents, new concepts for more efficient, selective and sustainable synthetic procedures will be developed. We also seek greener and more efficient processes and, whenever possible, to recover the phosphorus after the reaction. Phosphorus-based compounds will also be used in the recovery of industrial waste by-products such as phosphane oxides and depleted UF6, and will therefore have a positive impact on certain chemical industries and the environment.
With our proposal we aim to address the following aspects:
1) Synthesis of N-heterocyclic pnictanes (Pn = P, As, Sb, Bi with emphasis on P) and related cationic derivatives
2) Exploration of N-heterocyclic phosphanes as reagents in organic synthesis.
3) Preparation of catenated, branched and cyclic polyphosphanes via a novel method for P–P bond formation – access to
novel polyphosphorus-based ligand systems.
4) Alternative processes for the recycling of UF6 and related derivatives to access novel precursors for uranium chemistry
and to recover fluorine based products of high economic value.
Max ERC Funding
1 422 000 €
Duration
Start date: 2013-03-01, End date: 2018-02-28
Project acronym TAQ
Project Taming non-equilibrium quantum systems
Researcher (PI) Jens Eisert
Host Institution (HI) FREIE UNIVERSITAET BERLIN
Call Details Starting Grant (StG), PE2, ERC-2012-StG_20111012
Summary Complex quantum systems out of equilibrium are not only at the basis of some of the most intriguing puzzles in physics, they also allow for new applications in quantum technologies. Equipped with a portfolio of innovative methods, this proposal makes a concerted and focused effort to tackle some of the difficult questions on strongly correlated systems out of equilibrium. At the same time it suggests new modes of quantum technologies by intrinsically exploiting notions of openness and non-equilibrium. The proposed work will be structured according to four methodologically intertwined objectives: 1. A fresh attempt will be made at solving long-standing questions of equilibration and thermalization of interacting quantum many-body systems. Precise conditions will be given under which thermalization provably does, or does not, happen. 2. It will be shown that notions of exactly timed, controlled and protected quantum information processing are possible not despite of, but because of quantum many-body systems undergoing non-equilibrium dynamics and dissipation. This research will employ innovative and highly unorthodox Markov chain mixing tools, applied to the quantum domain for the first time. 3. Based on new insights on the entanglement structure of systems in non-equilibrium, new algorithms will be proposed that promise to overcome the road block of numerically simulating long time dynamics being prohibitively difficult, and which are suitable for simulating the evolution of quantum fields. 4. Experimental progress in non-equilibrium dynamics will slow down dramatically unless new probing techniques are developed. New paths will be taken to achieve efficient dynamical system identification, based on novel paradigms of quantum compressed sensing. This high-risk, high-gain research promises truly ground breaking results on long-standing fundamental problems as well as on innovative applications in quantum technologies.
Summary
Complex quantum systems out of equilibrium are not only at the basis of some of the most intriguing puzzles in physics, they also allow for new applications in quantum technologies. Equipped with a portfolio of innovative methods, this proposal makes a concerted and focused effort to tackle some of the difficult questions on strongly correlated systems out of equilibrium. At the same time it suggests new modes of quantum technologies by intrinsically exploiting notions of openness and non-equilibrium. The proposed work will be structured according to four methodologically intertwined objectives: 1. A fresh attempt will be made at solving long-standing questions of equilibration and thermalization of interacting quantum many-body systems. Precise conditions will be given under which thermalization provably does, or does not, happen. 2. It will be shown that notions of exactly timed, controlled and protected quantum information processing are possible not despite of, but because of quantum many-body systems undergoing non-equilibrium dynamics and dissipation. This research will employ innovative and highly unorthodox Markov chain mixing tools, applied to the quantum domain for the first time. 3. Based on new insights on the entanglement structure of systems in non-equilibrium, new algorithms will be proposed that promise to overcome the road block of numerically simulating long time dynamics being prohibitively difficult, and which are suitable for simulating the evolution of quantum fields. 4. Experimental progress in non-equilibrium dynamics will slow down dramatically unless new probing techniques are developed. New paths will be taken to achieve efficient dynamical system identification, based on novel paradigms of quantum compressed sensing. This high-risk, high-gain research promises truly ground breaking results on long-standing fundamental problems as well as on innovative applications in quantum technologies.
Max ERC Funding
1 234 020 €
Duration
Start date: 2013-02-01, End date: 2019-01-31
Project acronym The Fusion Machine
Project The nanomechanical mechanism of exocytotic fusion pore formation
Researcher (PI) Manfred Lindau
Host Institution (HI) MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Call Details Advanced Grant (AdG), LS5, ERC-2012-ADG_20120314
Summary Cells release neurotransmitters, hormones and other compounds stored in secretory vesicles by a process called exocytosis. In this process, the molecules are released upon stimulation by a nanomachine forming a fusion pore that connects the vesicular lumen to the extracellular space. Similar fusion events are also essential for intracellular transport mechanisms and virus-induced fusion.
Here I propose a multidisciplinary approach using highly innovative techniques to determine the nanomechanical mechanism of fusion pore formation. The proposal is based on the hypothesis that the vesicle fusion nanomachine is formed by the mechanical interactions of the SNARE proteins synaptobrevin, syntaxin, and SNAP-25 and that the fusion pore is opened by intra-membrane movement of the transmembrane domains. I will combine fluorescence resonance energy transfer microscopy with detection of individual fusion events using microfabricated electrochemical detector arrays to demonstrate that fusion pore formation is produced directly by a conformational change in the SNARE complex. I will estimate the energies that are needed to pull the synaptobrevin C terminus into the hydrophobic membrane core and the forces that are generated by the SNARE complex for wild type and a set of specific mutations using molecular dynamics simulations. I will determine how these energies and forces relate to inhibition and facilitation of experimentally observed fusion, performing patch clamp capacitance measurements of vesicle fusion in chromaffin cells expressing wild type and mutated SNARE proteins. Based on these results I will develop a detailed picture of the molecular steps, the energies, and the forces exerted by the molecular nanomachine of fusion pore formation and will ultimately generate a molecular movie of this fundamental biological process. Understanding cellular and viral fusion events will likely lead to novel treatments from spasms and neurodegeneration to cancer and infectious disease
Summary
Cells release neurotransmitters, hormones and other compounds stored in secretory vesicles by a process called exocytosis. In this process, the molecules are released upon stimulation by a nanomachine forming a fusion pore that connects the vesicular lumen to the extracellular space. Similar fusion events are also essential for intracellular transport mechanisms and virus-induced fusion.
Here I propose a multidisciplinary approach using highly innovative techniques to determine the nanomechanical mechanism of fusion pore formation. The proposal is based on the hypothesis that the vesicle fusion nanomachine is formed by the mechanical interactions of the SNARE proteins synaptobrevin, syntaxin, and SNAP-25 and that the fusion pore is opened by intra-membrane movement of the transmembrane domains. I will combine fluorescence resonance energy transfer microscopy with detection of individual fusion events using microfabricated electrochemical detector arrays to demonstrate that fusion pore formation is produced directly by a conformational change in the SNARE complex. I will estimate the energies that are needed to pull the synaptobrevin C terminus into the hydrophobic membrane core and the forces that are generated by the SNARE complex for wild type and a set of specific mutations using molecular dynamics simulations. I will determine how these energies and forces relate to inhibition and facilitation of experimentally observed fusion, performing patch clamp capacitance measurements of vesicle fusion in chromaffin cells expressing wild type and mutated SNARE proteins. Based on these results I will develop a detailed picture of the molecular steps, the energies, and the forces exerted by the molecular nanomachine of fusion pore formation and will ultimately generate a molecular movie of this fundamental biological process. Understanding cellular and viral fusion events will likely lead to novel treatments from spasms and neurodegeneration to cancer and infectious disease
Max ERC Funding
2 165 200 €
Duration
Start date: 2013-04-01, End date: 2018-03-31
Project acronym UNIQUE
Project Non-equilibrium Information and Capacity Envelopes: Towards a Unified Information and Queueing Theory
Researcher (PI) Markus Fidler
Host Institution (HI) GOTTFRIED WILHELM LEIBNIZ UNIVERSITAET HANNOVER
Call Details Starting Grant (StG), PE6, ERC-2012-StG_20111012
Summary Dating back sixty years to the seminal works by Shannon, information theory is a cornerstone of communications. Amongst others, it's significance stems from the decoupling of data compression and transmission as accomplished by the celebrated source and channel coding theorems. The success has, however, not been brought forward to communications networks. Yet, particular advances, such as in cross-layer optimization and network coding, show the tremendous potential that may be accessible by a network information theory.
A major challenge for establishing a network information theory is due to the properties of network data traffic that is highly variable (sporadic) and delay-sensitive. In contrast, information theory mostly neglects the dynamics of information and capacity and focuses on averages, respectively, asymptotic limits. Typically, these limits can be achieved with infinitesimally small probability of error assuming, however, arbitrarily long codewords (coding delays). Queueing theory, on the other hand, is employed to analyze network delays using (stochastic) models of a network's traffic arrivals and service. To date a tight link between these models and the information theoretic concepts of entropy and channel capacity is missing.
The goal of this project is to contribute elements of a network information theory that bridge the gap towards communications (queueing) networks. To this end, we use concepts from information theory to explore the dynamics of sources and channels. Our approach envisions envelope functions of information and capacity that have the ability to model the impact of the timescale, and that converge in the limit to the entropy and the channel capacity, respectively. The model will enable queueing theoretical investigations, permitting us to make significant contributions to the field of network information theory, and to provide substantial, new insights and applications from a holistic analysis of communications networks.
Summary
Dating back sixty years to the seminal works by Shannon, information theory is a cornerstone of communications. Amongst others, it's significance stems from the decoupling of data compression and transmission as accomplished by the celebrated source and channel coding theorems. The success has, however, not been brought forward to communications networks. Yet, particular advances, such as in cross-layer optimization and network coding, show the tremendous potential that may be accessible by a network information theory.
A major challenge for establishing a network information theory is due to the properties of network data traffic that is highly variable (sporadic) and delay-sensitive. In contrast, information theory mostly neglects the dynamics of information and capacity and focuses on averages, respectively, asymptotic limits. Typically, these limits can be achieved with infinitesimally small probability of error assuming, however, arbitrarily long codewords (coding delays). Queueing theory, on the other hand, is employed to analyze network delays using (stochastic) models of a network's traffic arrivals and service. To date a tight link between these models and the information theoretic concepts of entropy and channel capacity is missing.
The goal of this project is to contribute elements of a network information theory that bridge the gap towards communications (queueing) networks. To this end, we use concepts from information theory to explore the dynamics of sources and channels. Our approach envisions envelope functions of information and capacity that have the ability to model the impact of the timescale, and that converge in the limit to the entropy and the channel capacity, respectively. The model will enable queueing theoretical investigations, permitting us to make significant contributions to the field of network information theory, and to provide substantial, new insights and applications from a holistic analysis of communications networks.
Max ERC Funding
1 316 408 €
Duration
Start date: 2012-12-01, End date: 2017-11-30
Project acronym VERISYNTH
Project Automatic Synthesis of Software Verification Tools from Proof Rules
Researcher (PI) Andrey Rybalchenko
Host Institution (HI) TECHNISCHE UNIVERSITAET MUENCHEN
Call Details Starting Grant (StG), PE6, ERC-2012-StG_20111012
Summary Software complexity is growing, so is the demand for software verification. Soon, perhaps within a decade, wide deployment of software verification tools will be indispensable or even mandatory to ensure software reliability in a large number of application domains, including but not restricted to safety and security critical systems. To adequately respond to the demand we need to eliminate tedious aspects of software verifier development, while providing support for the accomplishment of creative aspects. We believe that the next generation of software verifiers will be constructed from logical specifications designed by quality/verification engineers with expertise in the application domain. Give a specification describing a verification method, a corresponding software verifier will be obtained by implementing a frontend that translates software source code into constraints according to the specification and then coupling the frontend with a highly-tuned general-purpose constraint solver, thus eliminating the need for algorithmic implementation efforts from the ground up. This project proposes the necessary methodology, solving algorithms, and tools for building verifiers of the future.
Summary
Software complexity is growing, so is the demand for software verification. Soon, perhaps within a decade, wide deployment of software verification tools will be indispensable or even mandatory to ensure software reliability in a large number of application domains, including but not restricted to safety and security critical systems. To adequately respond to the demand we need to eliminate tedious aspects of software verifier development, while providing support for the accomplishment of creative aspects. We believe that the next generation of software verifiers will be constructed from logical specifications designed by quality/verification engineers with expertise in the application domain. Give a specification describing a verification method, a corresponding software verifier will be obtained by implementing a frontend that translates software source code into constraints according to the specification and then coupling the frontend with a highly-tuned general-purpose constraint solver, thus eliminating the need for algorithmic implementation efforts from the ground up. This project proposes the necessary methodology, solving algorithms, and tools for building verifiers of the future.
Max ERC Funding
1 476 562 €
Duration
Start date: 2012-12-01, End date: 2017-11-30