Project acronym 0MSPIN
Project Spintronics based on relativistic phenomena in systems with zero magnetic moment
Researcher (PI) Tomas Jungwirth
Host Institution (HI) FYZIKALNI USTAV AV CR V.V.I
Country Czechia
Call Details Advanced Grant (AdG), PE3, ERC-2010-AdG_20100224
Summary The 0MSPIN project consists of an extensive integrated theoretical, experimental and device development programme of research opening a radical new approach to spintronics. Spintronics has the potential to supersede existing storage and memory applications, and to provide alternatives to current CMOS technology. Ferromagnetic matels used in all current spintronics applications may make it impractical to realise the full potential of spintronics. Metals are unsuitable for transistor and information processing applications, for opto-electronics, or for high-density integration. The 0MSPIN project aims to remove the major road-block holding back the development of spintronics in a radical way: removing the ferromagnetic component from key active parts or from the whole of the spintronic devices. This approach is based on exploiting the combination of exchange and spin-orbit coupling phenomena and material systems with zero macroscopic moment. The goal of the 0MSPIN is to provide a new paradigm by which spintronics can enter the realms of conventional semiconductors in both fundamental condensed matter research and in information technologies. In the central part of the proposal, the research towards this goal is embedded within a materials science project whose aim is to introduce into physics and microelectronics an entirely new class of semiconductors. 0MSPIN seeks to exploit three classes of material systems: (1) Antiferromagnetic bi-metallic 3d-5d alloys (e.g. Mn2Au). (2) Antiferromagnetic I-II-V semiconductors (e.g. LiMnAs). (3) Non-magnetic spin-orbit coupled semiconductors with injected spin-polarized currents (e.g. 2D III-V structures). Proof of concept devices operating at high temperatures will be fabricated to show-case new functionalities offered by zero-moment systems for sensing and memory applications, information processing, and opto-electronics technologies.
Summary
The 0MSPIN project consists of an extensive integrated theoretical, experimental and device development programme of research opening a radical new approach to spintronics. Spintronics has the potential to supersede existing storage and memory applications, and to provide alternatives to current CMOS technology. Ferromagnetic matels used in all current spintronics applications may make it impractical to realise the full potential of spintronics. Metals are unsuitable for transistor and information processing applications, for opto-electronics, or for high-density integration. The 0MSPIN project aims to remove the major road-block holding back the development of spintronics in a radical way: removing the ferromagnetic component from key active parts or from the whole of the spintronic devices. This approach is based on exploiting the combination of exchange and spin-orbit coupling phenomena and material systems with zero macroscopic moment. The goal of the 0MSPIN is to provide a new paradigm by which spintronics can enter the realms of conventional semiconductors in both fundamental condensed matter research and in information technologies. In the central part of the proposal, the research towards this goal is embedded within a materials science project whose aim is to introduce into physics and microelectronics an entirely new class of semiconductors. 0MSPIN seeks to exploit three classes of material systems: (1) Antiferromagnetic bi-metallic 3d-5d alloys (e.g. Mn2Au). (2) Antiferromagnetic I-II-V semiconductors (e.g. LiMnAs). (3) Non-magnetic spin-orbit coupled semiconductors with injected spin-polarized currents (e.g. 2D III-V structures). Proof of concept devices operating at high temperatures will be fabricated to show-case new functionalities offered by zero-moment systems for sensing and memory applications, information processing, and opto-electronics technologies.
Max ERC Funding
1 938 000 €
Duration
Start date: 2011-06-01, End date: 2016-05-31
Project acronym 2D-CHEM
Project Two-Dimensional Chemistry towards New Graphene Derivatives
Researcher (PI) Michal Otyepka
Host Institution (HI) UNIVERZITA PALACKEHO V OLOMOUCI
Country Czechia
Call Details Consolidator Grant (CoG), PE5, ERC-2015-CoG
Summary The suite of graphene’s unique properties and applications can be enormously enhanced by its functionalization. As non-covalently functionalized graphenes do not target all graphene’s properties and may suffer from limited stability, covalent functionalization represents a promising way for controlling graphene’s properties. To date, only a few well-defined graphene derivatives have been introduced. Among them, fluorographene (FG) stands out as a prominent member because of its easy synthesis and high stability. Being a perfluorinated hydrocarbon, FG was believed to be as unreactive as the two-dimensional counterpart perfluoropolyethylene (Teflon®). However, our recent experiments showed that FG is not chemically inert and can be used as a viable precursor for synthesizing graphene derivatives. This surprising behavior indicates that common textbook grade knowledge cannot blindly be applied to the chemistry of 2D materials. Further, there might be specific rules behind the chemistry of 2D materials, forming a new chemical discipline we tentatively call 2D chemistry. The main aim of the project is to explore, identify and apply the rules of 2D chemistry starting from FG. Using the knowledge gained of 2D chemistry, we will attempt to control the chemistry of various 2D materials aimed at preparing stable graphene derivatives with designed properties, e.g., 1-3 eV band gap, fluorescent properties, sustainable magnetic ordering and dispersability in polar media. The new graphene derivatives will be applied in sensing, imaging, magnetic delivery and catalysis and new emerging applications arising from the synergistic phenomena are expected. We envisage that new applications will be opened up that benefit from the 2D scaffold and tailored properties of the synthesized derivatives. The derivatives will be used for the synthesis of 3D hybrid materials by covalent linking of the 2D sheets joined with other organic and inorganic molecules, nanomaterials or biomacromolecules.
Summary
The suite of graphene’s unique properties and applications can be enormously enhanced by its functionalization. As non-covalently functionalized graphenes do not target all graphene’s properties and may suffer from limited stability, covalent functionalization represents a promising way for controlling graphene’s properties. To date, only a few well-defined graphene derivatives have been introduced. Among them, fluorographene (FG) stands out as a prominent member because of its easy synthesis and high stability. Being a perfluorinated hydrocarbon, FG was believed to be as unreactive as the two-dimensional counterpart perfluoropolyethylene (Teflon®). However, our recent experiments showed that FG is not chemically inert and can be used as a viable precursor for synthesizing graphene derivatives. This surprising behavior indicates that common textbook grade knowledge cannot blindly be applied to the chemistry of 2D materials. Further, there might be specific rules behind the chemistry of 2D materials, forming a new chemical discipline we tentatively call 2D chemistry. The main aim of the project is to explore, identify and apply the rules of 2D chemistry starting from FG. Using the knowledge gained of 2D chemistry, we will attempt to control the chemistry of various 2D materials aimed at preparing stable graphene derivatives with designed properties, e.g., 1-3 eV band gap, fluorescent properties, sustainable magnetic ordering and dispersability in polar media. The new graphene derivatives will be applied in sensing, imaging, magnetic delivery and catalysis and new emerging applications arising from the synergistic phenomena are expected. We envisage that new applications will be opened up that benefit from the 2D scaffold and tailored properties of the synthesized derivatives. The derivatives will be used for the synthesis of 3D hybrid materials by covalent linking of the 2D sheets joined with other organic and inorganic molecules, nanomaterials or biomacromolecules.
Max ERC Funding
1 831 103 €
Duration
Start date: 2016-06-01, End date: 2022-05-31
Project acronym 9 SALT
Project Reassessing Ninth Century Philosophy. A Synchronic Approach to the Logical Traditions
Researcher (PI) Christophe Florian Erismann
Host Institution (HI) UNIVERSITAT WIEN
Country Austria
Call Details Consolidator Grant (CoG), SH5, ERC-2014-CoG
Summary This project aims at a better understanding of the philosophical richness of ninth century thought using the unprecedented and highly innovative method of the synchronic approach. The hypothesis directing this synchronic approach is that studying together in parallel the four main philosophical traditions of the century – i.e. Latin, Greek, Syriac and Arabic – will bring results that the traditional enquiry limited to one tradition alone can never reach. This implies pioneering a new methodology to overcome the compartmentalization of research which prevails nowadays. Using this method is only possible because the four conditions of applicability – comparable intellectual environment, common text corpus, similar methodological perspective, commensurable problems – are fulfilled. The ninth century, a time of cultural renewal in the Carolingian, Byzantine and Abbasid empires, possesses the remarkable characteristic – which ensures commensurability – that the same texts, namely the writings of Aristotelian logic (mainly Porphyry’s Isagoge and Aristotle’s Categories) were read and commented upon in Latin, Greek, Syriac and Arabic alike.
Logic is fundamental to philosophical enquiry. The contested question is the human capacity to rationalise, analyse and describe the sensible reality, to understand the ontological structure of the world, and to define the types of entities which exist. The use of this unprecedented synchronic approach will allow us a deeper understanding of the positions, a clear identification of the a priori postulates of the philosophical debates, and a critical evaluation of the arguments used. It provides a unique opportunity to compare the different traditions and highlight the heritage which is common, to stress the specificities of each tradition when tackling philosophical issues and to discover the doctrinal results triggered by their mutual interactions, be they constructive (scholarly exchanges) or polemic (religious controversies).
Summary
This project aims at a better understanding of the philosophical richness of ninth century thought using the unprecedented and highly innovative method of the synchronic approach. The hypothesis directing this synchronic approach is that studying together in parallel the four main philosophical traditions of the century – i.e. Latin, Greek, Syriac and Arabic – will bring results that the traditional enquiry limited to one tradition alone can never reach. This implies pioneering a new methodology to overcome the compartmentalization of research which prevails nowadays. Using this method is only possible because the four conditions of applicability – comparable intellectual environment, common text corpus, similar methodological perspective, commensurable problems – are fulfilled. The ninth century, a time of cultural renewal in the Carolingian, Byzantine and Abbasid empires, possesses the remarkable characteristic – which ensures commensurability – that the same texts, namely the writings of Aristotelian logic (mainly Porphyry’s Isagoge and Aristotle’s Categories) were read and commented upon in Latin, Greek, Syriac and Arabic alike.
Logic is fundamental to philosophical enquiry. The contested question is the human capacity to rationalise, analyse and describe the sensible reality, to understand the ontological structure of the world, and to define the types of entities which exist. The use of this unprecedented synchronic approach will allow us a deeper understanding of the positions, a clear identification of the a priori postulates of the philosophical debates, and a critical evaluation of the arguments used. It provides a unique opportunity to compare the different traditions and highlight the heritage which is common, to stress the specificities of each tradition when tackling philosophical issues and to discover the doctrinal results triggered by their mutual interactions, be they constructive (scholarly exchanges) or polemic (religious controversies).
Max ERC Funding
1 998 566 €
Duration
Start date: 2015-09-01, End date: 2021-02-28
Project acronym A-LIFE
Project Absorbing aerosol layers in a changing climate: aging, lifetime and dynamics
Researcher (PI) Bernadett Barbara Weinzierl
Host Institution (HI) UNIVERSITAT WIEN
Country Austria
Call Details Starting Grant (StG), PE10, ERC-2014-STG
Summary Aerosols (i.e. tiny particles suspended in the air) are regularly transported in huge amounts over long distances impacting air quality, health, weather and climate thousands of kilometers downwind of the source. Aerosols affect the atmospheric radiation budget through scattering and absorption of solar radiation and through their role as cloud/ice nuclei.
In particular, light absorption by aerosol particles such as mineral dust and black carbon (BC; thought to be the second strongest contribution to current global warming after CO2) is of fundamental importance from a climate perspective because the presence of absorbing particles (1) contributes to solar radiative forcing, (2) heats absorbing aerosol layers, (3) can evaporate clouds and (4) change atmospheric dynamics.
Considering this prominent role of aerosols, vertically-resolved in-situ data on absorbing aerosols are surprisingly scarce and aerosol-dynamic interactions are poorly understood in general. This is, as recognized in the last IPCC report, a serious barrier for taking the accuracy of climate models and predictions to the next level. To overcome this barrier, I propose to investigate aging, lifetime and dynamics of absorbing aerosol layers with a holistic end-to-end approach including laboratory studies, airborne field experiments and numerical model simulations.
Building on the internationally recognized results of my aerosol research group and my long-term experience with airborne aerosol measurements, the time seems ripe to systematically bridge the gap between in-situ measurements of aerosol microphysical and optical properties and the assessment of dynamical interactions of absorbing particles with aerosol layer lifetime through model simulations.
The outcomes of this project will provide fundamental new understanding of absorbing aerosol layers in the climate system and important information for addressing the benefits of BC emission controls for mitigating climate change.
Summary
Aerosols (i.e. tiny particles suspended in the air) are regularly transported in huge amounts over long distances impacting air quality, health, weather and climate thousands of kilometers downwind of the source. Aerosols affect the atmospheric radiation budget through scattering and absorption of solar radiation and through their role as cloud/ice nuclei.
In particular, light absorption by aerosol particles such as mineral dust and black carbon (BC; thought to be the second strongest contribution to current global warming after CO2) is of fundamental importance from a climate perspective because the presence of absorbing particles (1) contributes to solar radiative forcing, (2) heats absorbing aerosol layers, (3) can evaporate clouds and (4) change atmospheric dynamics.
Considering this prominent role of aerosols, vertically-resolved in-situ data on absorbing aerosols are surprisingly scarce and aerosol-dynamic interactions are poorly understood in general. This is, as recognized in the last IPCC report, a serious barrier for taking the accuracy of climate models and predictions to the next level. To overcome this barrier, I propose to investigate aging, lifetime and dynamics of absorbing aerosol layers with a holistic end-to-end approach including laboratory studies, airborne field experiments and numerical model simulations.
Building on the internationally recognized results of my aerosol research group and my long-term experience with airborne aerosol measurements, the time seems ripe to systematically bridge the gap between in-situ measurements of aerosol microphysical and optical properties and the assessment of dynamical interactions of absorbing particles with aerosol layer lifetime through model simulations.
The outcomes of this project will provide fundamental new understanding of absorbing aerosol layers in the climate system and important information for addressing the benefits of BC emission controls for mitigating climate change.
Max ERC Funding
1 987 980 €
Duration
Start date: 2015-10-01, End date: 2021-09-30
Project acronym ABINITIODGA
Project Ab initio Dynamical Vertex Approximation
Researcher (PI) Karsten Held
Host Institution (HI) TECHNISCHE UNIVERSITAET WIEN
Country Austria
Call Details Starting Grant (StG), PE3, ERC-2012-StG_20111012
Summary Some of the most fascinating physical phenomena are experimentally observed in strongly correlated electron systems and, on the theoretical side, only poorly understood hitherto. The aim of the ERC project AbinitioDGA is the development, implementation and application of a new, 21th century method for the ab initio calculation of materials with such strong electronic correlations. AbinitioDGA includes strong electronic correlations on all time and length scales and hence is a big step beyond the state-of-the-art methods, such as the local density approximation, dynamical mean field theory, and the GW approach (Green function G times screened interaction W). It has the potential for an extraordinary high impact not only in the field of computational materials science but also for a better understanding of quantum critical heavy fermion systems, high-temperature superconductors, and transport through nano- and heterostructures. These four physical problems and related materials will be studied within the ERC project, besides the methodological development.
On the technical side, AbinitioDGA realizes Hedin's idea to include vertex corrections beyond the GW approximation. All vertex corrections which can be traced back to a fully irreducible local vertex and the bare non-local Coulomb interaction are included. This way, AbinitioDGA does not only contain the GW physics of screened exchange and the strong local correlations of dynamical mean field theory but also non-local correlations beyond on all length scales. Through the latter, AbinitioDGA can prospectively describe phenomena such as quantum criticality, spin-fluctuation mediated superconductivity, and weak localization corrections to the conductivity. Nonetheless, the computational effort is still manageable even for realistic materials calculations, making the considerable effort to implement AbinitioDGA worthwhile.
Summary
Some of the most fascinating physical phenomena are experimentally observed in strongly correlated electron systems and, on the theoretical side, only poorly understood hitherto. The aim of the ERC project AbinitioDGA is the development, implementation and application of a new, 21th century method for the ab initio calculation of materials with such strong electronic correlations. AbinitioDGA includes strong electronic correlations on all time and length scales and hence is a big step beyond the state-of-the-art methods, such as the local density approximation, dynamical mean field theory, and the GW approach (Green function G times screened interaction W). It has the potential for an extraordinary high impact not only in the field of computational materials science but also for a better understanding of quantum critical heavy fermion systems, high-temperature superconductors, and transport through nano- and heterostructures. These four physical problems and related materials will be studied within the ERC project, besides the methodological development.
On the technical side, AbinitioDGA realizes Hedin's idea to include vertex corrections beyond the GW approximation. All vertex corrections which can be traced back to a fully irreducible local vertex and the bare non-local Coulomb interaction are included. This way, AbinitioDGA does not only contain the GW physics of screened exchange and the strong local correlations of dynamical mean field theory but also non-local correlations beyond on all length scales. Through the latter, AbinitioDGA can prospectively describe phenomena such as quantum criticality, spin-fluctuation mediated superconductivity, and weak localization corrections to the conductivity. Nonetheless, the computational effort is still manageable even for realistic materials calculations, making the considerable effort to implement AbinitioDGA worthwhile.
Max ERC Funding
1 491 090 €
Duration
Start date: 2013-01-01, End date: 2018-07-31
Project acronym ACADEMIA
Project Reconstructing Late Medieval Quests for Knowledge: Quodlibetal Debates as Precursors of Modern Academic Practice
Researcher (PI) Ota PavlIcek
Host Institution (HI) FILOSOFICKY USTAV AV CR, v.v.i.
Country Czechia
Call Details Starting Grant (StG), SH6, ERC-2020-STG
Summary ACADEMIA proposes a pioneering study of a neglected corpus of manuscripts stemming from the practice of quodlibetal debates held at Faculties of Arts of European universities, flourishing from the 14th to the early 16th century. As prescribed by the university statutes, dozens of professors participated periodically in these unique collective works of the Middle Ages, which encompassed all the disciplines pursued at the university, from logic to medicine to theology. The PI hypothesises that the professors presented at the hitherto mostly ignored quodlibets their recent scientific innovations, which they then published in the first collective volumes of European academia. The PI thus proposes a novel theoretical framework for understanding the quodlibets: they stand at the origin of the modern concept of science as a collective intellectual enterprise, similar to modern conferences and the subsequent dissemination of results. This makes them and their written form critical for understanding European intellectual and scientific traditions, both past and present. ACADEMIA’s ambition is to establish the corpus of these debates as a new field of study through an extensive examination of manuscripts, thus filling a substantial gap, radically extending the fields of the history of universities and intellectual history, and reconstructing the roots of the modern practice of fostering collective science. A complex analysis of the corpus will bring about a substantial change in our understanding of medieval practices of the production and sharing of knowledge. Aiming to examine the quodlibets as a phenomenon successively interconnecting European intellectual space, ACADEMIA focuses on fourteen universities at which the PI has identified the tradition so far and on their mutual relations and development. ACADEMIA employs an interdisciplinary team and an innovative combination of approaches from history, codicology, palaeography, philology, hermeneutics and Digital Humanities.
Summary
ACADEMIA proposes a pioneering study of a neglected corpus of manuscripts stemming from the practice of quodlibetal debates held at Faculties of Arts of European universities, flourishing from the 14th to the early 16th century. As prescribed by the university statutes, dozens of professors participated periodically in these unique collective works of the Middle Ages, which encompassed all the disciplines pursued at the university, from logic to medicine to theology. The PI hypothesises that the professors presented at the hitherto mostly ignored quodlibets their recent scientific innovations, which they then published in the first collective volumes of European academia. The PI thus proposes a novel theoretical framework for understanding the quodlibets: they stand at the origin of the modern concept of science as a collective intellectual enterprise, similar to modern conferences and the subsequent dissemination of results. This makes them and their written form critical for understanding European intellectual and scientific traditions, both past and present. ACADEMIA’s ambition is to establish the corpus of these debates as a new field of study through an extensive examination of manuscripts, thus filling a substantial gap, radically extending the fields of the history of universities and intellectual history, and reconstructing the roots of the modern practice of fostering collective science. A complex analysis of the corpus will bring about a substantial change in our understanding of medieval practices of the production and sharing of knowledge. Aiming to examine the quodlibets as a phenomenon successively interconnecting European intellectual space, ACADEMIA focuses on fourteen universities at which the PI has identified the tradition so far and on their mutual relations and development. ACADEMIA employs an interdisciplinary team and an innovative combination of approaches from history, codicology, palaeography, philology, hermeneutics and Digital Humanities.
Max ERC Funding
1 260 485 €
Duration
Start date: 2021-07-01, End date: 2026-06-30
Project acronym ACTIVENP
Project Active and low loss nano photonics (ActiveNP)
Researcher (PI) Thomas Arno Klar
Host Institution (HI) UNIVERSITAT LINZ
Country Austria
Call Details Starting Grant (StG), PE3, ERC-2010-StG_20091028
Summary This project aims at designing novel hybrid nanophotonic devices comprising metallic nanostructures and active elements such as dye molecules or colloidal quantum dots. Three core objectives, each going far beyond the state of the art, shall be tackled: (i) Metamaterials containing gain materials: Metamaterials introduce magnetism to the optical frequency range and hold promise to create entirely novel devices for light manipulation. Since present day metamaterials are extremely absorptive, it is of utmost importance to fight losses. The ground-breaking approach of this proposal is to incorporate fluorescing species into the nanoscale metallic metastructures in order to compensate losses by stimulated emission. (ii) The second objective exceeds the ansatz of compensating losses and will reach out for lasing action. Individual metallic nanostructures such as pairs of nanoparticles will form novel and unusual nanometre sized resonators for laser action. State of the art microresonators still have a volume of at least half of the wavelength cubed. Noble metal nanoparticle resonators scale down this volume by a factor of thousand allowing for truly nanoscale coherent light sources. (iii) A third objective concerns a substantial improvement of nonlinear effects. This will be accomplished by drastically sharpened resonances of nanoplasmonic devices surrounded by active gain materials. An interdisciplinary team of PhD students and a PostDoc will be assembled, each scientist being uniquely qualified to cover one of the expertise fields: Design, spectroscopy, and simulation. The project s outcome is twofold: A substantial expansion of fundamental understanding of nanophotonics and practical devices such as nanoscopic lasers and low loss metamaterials.
Summary
This project aims at designing novel hybrid nanophotonic devices comprising metallic nanostructures and active elements such as dye molecules or colloidal quantum dots. Three core objectives, each going far beyond the state of the art, shall be tackled: (i) Metamaterials containing gain materials: Metamaterials introduce magnetism to the optical frequency range and hold promise to create entirely novel devices for light manipulation. Since present day metamaterials are extremely absorptive, it is of utmost importance to fight losses. The ground-breaking approach of this proposal is to incorporate fluorescing species into the nanoscale metallic metastructures in order to compensate losses by stimulated emission. (ii) The second objective exceeds the ansatz of compensating losses and will reach out for lasing action. Individual metallic nanostructures such as pairs of nanoparticles will form novel and unusual nanometre sized resonators for laser action. State of the art microresonators still have a volume of at least half of the wavelength cubed. Noble metal nanoparticle resonators scale down this volume by a factor of thousand allowing for truly nanoscale coherent light sources. (iii) A third objective concerns a substantial improvement of nonlinear effects. This will be accomplished by drastically sharpened resonances of nanoplasmonic devices surrounded by active gain materials. An interdisciplinary team of PhD students and a PostDoc will be assembled, each scientist being uniquely qualified to cover one of the expertise fields: Design, spectroscopy, and simulation. The project s outcome is twofold: A substantial expansion of fundamental understanding of nanophotonics and practical devices such as nanoscopic lasers and low loss metamaterials.
Max ERC Funding
1 494 756 €
Duration
Start date: 2010-10-01, End date: 2015-09-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 AGEMEC
Project Age-dependent mechanisms of sporadic Alzheimer’s Disease in patient-derived neurons
Researcher (PI) Jerome Stefan MERTENS
Host Institution (HI) UNIVERSITAET INNSBRUCK
Country Austria
Call Details Starting Grant (StG), LS5, ERC-2019-STG
Summary Sporadic Alzheimer’s Disease (AD) accounts for the overwhelming majority of all AD cases and exclusively affects people at old age. However, mechanistic links between aging and AD pathology remain elusive. We recently discovered that in contrast to iPSC models, direct conversion of human fibroblasts into induced neurons (iNs) preserves signatures of aging, and we have started to develop a patient-based iN model system for AD. Our preliminary data suggests that AD iNs show a neuronal but de-differentiated transcriptome signature. In this project, we first combine cellular neuroscience assays and epigenetic landscape profiling to understand how neurons in AD fail to maintain their fully mature differentiated state, which might be key in permitting disease development. Next, using metabolome analysis including mass spec metabolite assessment, we explore a profound metabolic switch in AD iNs that shows surprisingly many aspects of aerobic glycolysis observed also in cancer. While this link might represent an interesting connection between two age-dependent and de-differentiation-associated diseases, it also opens new avenues to harness knowledge from the cancer field to better understand sporadic AD. We further focus on identifying and manipulating key metabolic regulators that appear to malfunction in an age-dependent manner, with the ultimate goal to define potential targets and treatment strategies. Finally, we will focus on early AD mechanisms by extending our model to mild cognitive impairment (MCI) patients. An agnostic transcriptome and epigenetic landscape approach of glutamatergic and serotonergic iNs will help to determine the earliest and probably most treatable disease mechanisms of AD, and to better understand the contribution of neuropsychiatric risk factors. We anticipate that this project will help to illuminate the mechanistic interface of cellular aging and the development of AD, and help to define new strategies for AD.
Summary
Sporadic Alzheimer’s Disease (AD) accounts for the overwhelming majority of all AD cases and exclusively affects people at old age. However, mechanistic links between aging and AD pathology remain elusive. We recently discovered that in contrast to iPSC models, direct conversion of human fibroblasts into induced neurons (iNs) preserves signatures of aging, and we have started to develop a patient-based iN model system for AD. Our preliminary data suggests that AD iNs show a neuronal but de-differentiated transcriptome signature. In this project, we first combine cellular neuroscience assays and epigenetic landscape profiling to understand how neurons in AD fail to maintain their fully mature differentiated state, which might be key in permitting disease development. Next, using metabolome analysis including mass spec metabolite assessment, we explore a profound metabolic switch in AD iNs that shows surprisingly many aspects of aerobic glycolysis observed also in cancer. While this link might represent an interesting connection between two age-dependent and de-differentiation-associated diseases, it also opens new avenues to harness knowledge from the cancer field to better understand sporadic AD. We further focus on identifying and manipulating key metabolic regulators that appear to malfunction in an age-dependent manner, with the ultimate goal to define potential targets and treatment strategies. Finally, we will focus on early AD mechanisms by extending our model to mild cognitive impairment (MCI) patients. An agnostic transcriptome and epigenetic landscape approach of glutamatergic and serotonergic iNs will help to determine the earliest and probably most treatable disease mechanisms of AD, and to better understand the contribution of neuropsychiatric risk factors. We anticipate that this project will help to illuminate the mechanistic interface of cellular aging and the development of AD, and help to define new strategies for AD.
Max ERC Funding
1 499 565 €
Duration
Start date: 2020-02-01, End date: 2025-01-31
Project acronym AI4REASON
Project Artificial Intelligence for Large-Scale Computer-Assisted Reasoning
Researcher (PI) Josef Urban
Host Institution (HI) CESKE VYSOKE UCENI TECHNICKE V PRAZE
Country Czechia
Call Details Consolidator Grant (CoG), PE6, ERC-2014-CoG
Summary The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories. Such complex formal theories arise in projects aimed at verification of today's advanced mathematics such as the Formal Proof of the Kepler Conjecture (Flyspeck), verification of software and hardware designs such as the seL4 operating system kernel, and verification of other advanced systems and technologies on which today's information society critically depends.
It seems extremely complex and unlikely to design an explicitly programmed solution to the problem. However, we have recently demonstrated that the performance of existing approaches can be multiplied by data-driven AI methods that learn reasoning guidance from large proof corpora. The breakthrough will be achieved by developing such novel AI methods. First, we will devise suitable Automated Reasoning and Machine Learning methods that learn reasoning knowledge and steer the reasoning processes at various levels of granularity. Second, we will combine them into autonomous self-improving AI systems that interleave deduction and learning in positive feedback loops. Third, we will develop approaches that aggregate reasoning knowledge across many formal, semi-formal and informal corpora and deploy the methods as strong automation services for the formal proof community.
The expected outcome is our ability to prove automatically at least 50% more theorems in high-assurance projects such as Flyspeck and seL4, bringing a major breakthrough in formal reasoning and verification. As an AI effort, the project offers a unique path to large-scale semantic AI. The formal corpora concentrate centuries of deep human thinking in a computer-understandable form on which deductive and inductive AI can be combined and co-evolved, providing new insights into how humans do mathematics and science.
Summary
The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories. Such complex formal theories arise in projects aimed at verification of today's advanced mathematics such as the Formal Proof of the Kepler Conjecture (Flyspeck), verification of software and hardware designs such as the seL4 operating system kernel, and verification of other advanced systems and technologies on which today's information society critically depends.
It seems extremely complex and unlikely to design an explicitly programmed solution to the problem. However, we have recently demonstrated that the performance of existing approaches can be multiplied by data-driven AI methods that learn reasoning guidance from large proof corpora. The breakthrough will be achieved by developing such novel AI methods. First, we will devise suitable Automated Reasoning and Machine Learning methods that learn reasoning knowledge and steer the reasoning processes at various levels of granularity. Second, we will combine them into autonomous self-improving AI systems that interleave deduction and learning in positive feedback loops. Third, we will develop approaches that aggregate reasoning knowledge across many formal, semi-formal and informal corpora and deploy the methods as strong automation services for the formal proof community.
The expected outcome is our ability to prove automatically at least 50% more theorems in high-assurance projects such as Flyspeck and seL4, bringing a major breakthrough in formal reasoning and verification. As an AI effort, the project offers a unique path to large-scale semantic AI. The formal corpora concentrate centuries of deep human thinking in a computer-understandable form on which deductive and inductive AI can be combined and co-evolved, providing new insights into how humans do mathematics and science.
Max ERC Funding
1 499 500 €
Duration
Start date: 2015-09-01, End date: 2020-10-31
