Project acronym ASD
Project Atomistic Spin-Dynamics; Methodology and Applications
Researcher (PI) Olof Ragnar Eriksson
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE3, ERC-2009-AdG
Summary Our aim is to provide a theoretical framework for studies of dynamical aspects of magnetic materials and magnetisation reversal, which has potential for applications for magnetic data storage and magnetic memory devices. The project focuses on developing and using an atomistic spin dynamics simulation method. Our goal is to identify novel materials and device geometries with improved performance. The scientific questions which will be addressed concern the understanding of the fundamental temporal limit of magnetisation switching and reversal, and the mechanisms which govern this limit. The methodological developments concern the ability to, from first principles theory, calculate the interatomic exchange parameters of materials in general, in particular for correlated electron materials, via the use of dynamical mean-field theory. The theoretical development also involves an atomistic spin dynamics simulation method, which once it has been established, will be released as a public software package. The proposed theoretical research will be intimately connected to world-leading experimental efforts, especially in Europe where a leading activity in experimental studies of magnetisation dynamics has been established. The ambition with this project is to become world-leading in the theory of simulating spin-dynamics phenomena, and to promote education and training of young researchers. To achieve our goals we will build up an open and lively environment, where the advances in the theoretical knowledge of spin-dynamics phenomena will be used to address important questions in information technology. In this environment the next generation research leaders will be fostered and trained, thus ensuring that the society of tomorrow is equipped with the scientific competence to tackle the challenges of our future.
Summary
Our aim is to provide a theoretical framework for studies of dynamical aspects of magnetic materials and magnetisation reversal, which has potential for applications for magnetic data storage and magnetic memory devices. The project focuses on developing and using an atomistic spin dynamics simulation method. Our goal is to identify novel materials and device geometries with improved performance. The scientific questions which will be addressed concern the understanding of the fundamental temporal limit of magnetisation switching and reversal, and the mechanisms which govern this limit. The methodological developments concern the ability to, from first principles theory, calculate the interatomic exchange parameters of materials in general, in particular for correlated electron materials, via the use of dynamical mean-field theory. The theoretical development also involves an atomistic spin dynamics simulation method, which once it has been established, will be released as a public software package. The proposed theoretical research will be intimately connected to world-leading experimental efforts, especially in Europe where a leading activity in experimental studies of magnetisation dynamics has been established. The ambition with this project is to become world-leading in the theory of simulating spin-dynamics phenomena, and to promote education and training of young researchers. To achieve our goals we will build up an open and lively environment, where the advances in the theoretical knowledge of spin-dynamics phenomena will be used to address important questions in information technology. In this environment the next generation research leaders will be fostered and trained, thus ensuring that the society of tomorrow is equipped with the scientific competence to tackle the challenges of our future.
Max ERC Funding
2 130 000 €
Duration
Start date: 2010-01-01, End date: 2014-12-31
Project acronym CUSTOMER
Project Customizable Embedded Real-Time Systems: Challenges and Key Techniques
Researcher (PI) Yi WANG
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE6, ERC-2018-ADG
Summary Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Summary
Today, many industrial products are defined by software and therefore customizable: their functionalities implemented by software can be modified and extended by dynamic software updates on demand. This trend towards customizable products is rapidly expanding into all domains of IT, including Embedded Real-Time Systems (ERTS) deployed in Cyber-Physical Systems such as cars, medical devices etc. However, the current state-of-practice in safety-critical systems allows hardly any modifications once they are put in operation. The lack of techniques to preserve crucial safety conditions for customizable systems severely restricts the benefits of advances in software-defined systems engineering.
CUSTOMER is to provide the missing paradigm and technology for building and updating ERTS after deployment – subject to stringent timing constraints, dynamic workloads, and limited resources on complex platforms. CUSTOMER explores research areas crossing two fields: Real-Time Computing and Formal Verification to develop the key techniques enabling (1) dynamic updates of ERTS in the field, (2) incremental updates over the products life time and (3) safe updates by verification to avoid updates that may compromise system safety.
CUSTOMER will develop a unified model-based framework supported with tools for the design, modelling, verification, deployment and update of ERTS, aiming at advancing the research fields by establishing the missing scientific foundation for multiprocessor real-time computing and providing the next generation of design tools with significantly enhanced capability and scalability increased by orders of magnitude compared with state-of-the-art tools e.g. UPPAAL.
Max ERC Funding
2 499 894 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym DALDECS
Project Development and Application of Laser Diagnostic Techniques for Combustion Studies
Researcher (PI) Lars Eric Marcus Alden
Host Institution (HI) MAX IV Laboratory, Lund University
Country Sweden
Call Details Advanced Grant (AdG), PE8, ERC-2009-AdG
Summary This project is directed towards development of new laser diagnostic techniques and a deepened physical understanding of more established techniques, aiming at new insights in phenomena related to combustion processes. These non-intrusive techniques with high resolution in space and time, will be used for measurements of key parameters, species concentrations and temperatures. The techniques to be used are; Non-linear optical techniques, mainly Polarization spectroscopy, PS. PS will mainly be developed for sensitive detection with high spatial resolution of "new" species in the IR region, e.g. individual hydrocarbons, toxic species as well as alkali metal compounds. Multiplex measurements of these species and temperature will be developed as well as 2D visualization. Quantitative measurements with high precision and accuracy; Laser induced fluorescence and Rayleigh/Raman scattering will be developed for quantitative measurements of species concentration and 2D temperatures. Also a new technique will be developed for single ended experiments based on picosecond LIDAR. Advanced imaging techniques; New high speed (10-100 kHz) visualization techniques as well as 3D and even 4D visualization will be developed. In order to properly visualize dense sprays we will develop Ballistic Imaging as well as a new technique based on structured illumination of the area of interest for suppression of multiple scattering which normally cause blurring effects. All techniques developed above will be used for key studies of phenomena related to various combustion phenomena; turbulent combustion, multiphase conversion processes, e.g. spray combustion and gasification/pyrolysis of solid bio fuels. The techniques will also be applied for development and physical understanding of how combustion could be influenced by plasma/electrical assistance. Finally, the techniques will be prepared for applications in industrial combustion apparatus, e.g. furnaces, gasturbines and IC engines
Summary
This project is directed towards development of new laser diagnostic techniques and a deepened physical understanding of more established techniques, aiming at new insights in phenomena related to combustion processes. These non-intrusive techniques with high resolution in space and time, will be used for measurements of key parameters, species concentrations and temperatures. The techniques to be used are; Non-linear optical techniques, mainly Polarization spectroscopy, PS. PS will mainly be developed for sensitive detection with high spatial resolution of "new" species in the IR region, e.g. individual hydrocarbons, toxic species as well as alkali metal compounds. Multiplex measurements of these species and temperature will be developed as well as 2D visualization. Quantitative measurements with high precision and accuracy; Laser induced fluorescence and Rayleigh/Raman scattering will be developed for quantitative measurements of species concentration and 2D temperatures. Also a new technique will be developed for single ended experiments based on picosecond LIDAR. Advanced imaging techniques; New high speed (10-100 kHz) visualization techniques as well as 3D and even 4D visualization will be developed. In order to properly visualize dense sprays we will develop Ballistic Imaging as well as a new technique based on structured illumination of the area of interest for suppression of multiple scattering which normally cause blurring effects. All techniques developed above will be used for key studies of phenomena related to various combustion phenomena; turbulent combustion, multiphase conversion processes, e.g. spray combustion and gasification/pyrolysis of solid bio fuels. The techniques will also be applied for development and physical understanding of how combustion could be influenced by plasma/electrical assistance. Finally, the techniques will be prepared for applications in industrial combustion apparatus, e.g. furnaces, gasturbines and IC engines
Max ERC Funding
2 466 000 €
Duration
Start date: 2010-02-01, End date: 2015-01-31
Project acronym DEVOCEAN
Project Impact of diatom evolution on the oceans
Researcher (PI) Daniel CONLEY
Host Institution (HI) LUNDS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE10, ERC-2018-ADG
Summary Motivated by a series of recent discoveries, DEVOCEAN will provide the first comprehensive evaluation of the emergence of diatoms and their impact on the global biogeochemical cycle of silica, carbon and other nutrients that regulate ocean productivity and ultimately climate. I propose that the proliferation of phytoplankton that occurred after the Permian-Triassic extinction, in particular the diatoms, fundamentally influenced oceanic environments through the enhancement of carbon export to depth as part of the biological pump. Although molecular clocks suggest that diatoms evolved over 200 Ma ago, this result has been largely ignored because of the lack of diatoms in the geologic fossil record with most studies therefore focused on diversification during the Cenozoic where abundant diatom fossils are found. Much of the older fossil evidence has likely been destroyed by dissolution during diagenesis, subducted or is concealed deep within the Earth under many layers of rock. DEVOCEAN will provide evidence on diatom evolution and speciation in the geological record by examining formations representing locations in which diatoms are likely to have accumulated in ocean sediments. We will generate robust estimates of the timing and magnitude of dissolved Si drawdown following the origin of diatoms using the isotopic silicon composition of fossil sponge spicules and radiolarians. The project will also provide fundamental new insights into the timing of dissolved Si drawdown and other key events, which reorganized the distribution of carbon and nutrients in seawater, changing energy flows and productivity in the biological communities of the ancient oceans.
Summary
Motivated by a series of recent discoveries, DEVOCEAN will provide the first comprehensive evaluation of the emergence of diatoms and their impact on the global biogeochemical cycle of silica, carbon and other nutrients that regulate ocean productivity and ultimately climate. I propose that the proliferation of phytoplankton that occurred after the Permian-Triassic extinction, in particular the diatoms, fundamentally influenced oceanic environments through the enhancement of carbon export to depth as part of the biological pump. Although molecular clocks suggest that diatoms evolved over 200 Ma ago, this result has been largely ignored because of the lack of diatoms in the geologic fossil record with most studies therefore focused on diversification during the Cenozoic where abundant diatom fossils are found. Much of the older fossil evidence has likely been destroyed by dissolution during diagenesis, subducted or is concealed deep within the Earth under many layers of rock. DEVOCEAN will provide evidence on diatom evolution and speciation in the geological record by examining formations representing locations in which diatoms are likely to have accumulated in ocean sediments. We will generate robust estimates of the timing and magnitude of dissolved Si drawdown following the origin of diatoms using the isotopic silicon composition of fossil sponge spicules and radiolarians. The project will also provide fundamental new insights into the timing of dissolved Si drawdown and other key events, which reorganized the distribution of carbon and nutrients in seawater, changing energy flows and productivity in the biological communities of the ancient oceans.
Max ERC Funding
2 500 000 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym e-NeuroPharma
Project Electronic Neuropharmacology
Researcher (PI) Rolf Magnus BERGGREN
Host Institution (HI) LINKOPINGS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE5, ERC-2018-ADG
Summary As the population ages, neurodegenerative diseases (ND) will have a devastating impact on individuals and society. Despite enormous research efforts there is still no cure for these diseases, only care! The origin of ND is hugely complex, spanning from the molecular level to systemic processes, causing malfunctioning of signalling in the central nervous system (CNS). This signalling includes the coupled processing of biochemical and electrical signals, however current approaches for symptomatic- and disease modifying treatments are all based on biochemical approaches, alone.
Organic bioelectronics has arisen as a promising technology providing signal translation, as sensors and modulators, across the biology-technology interface; especially, it has proven unique in neuronal applications. There is great opportunity with organic bioelectronics since it can complement biochemical pharmacology to enable a twinned electric-biochemical therapy for ND and neurological disorders. However, this technology is traditionally manufactured on stand-alone substrates. Even though organic bioelectronics has been manufactured on flexible and soft carriers in the past, current technology consume space and volume, that when applied to CNS, rule out close proximity and amalgamation between the bioelectronics technology and CNS components – features that are needed in order to reach high therapeutic efficacy.
e-NeuroPharma includes development of innovative organic bioelectronics, that can be in-vivo-manufactured within the brain. The overall aim is to evaluate and develop electrodes, delivery devices and sensors that enable a twinned biochemical-electric therapy approach to combat ND and other neurological disorders. e-NeuroPharma will focus on the development of materials that can cross the blood-brain-barrier, that self-organize and -polymerize along CNS components, and that record and regulate relevant electrical, electrochemical and physical parameters relevant to ND and disorders
Summary
As the population ages, neurodegenerative diseases (ND) will have a devastating impact on individuals and society. Despite enormous research efforts there is still no cure for these diseases, only care! The origin of ND is hugely complex, spanning from the molecular level to systemic processes, causing malfunctioning of signalling in the central nervous system (CNS). This signalling includes the coupled processing of biochemical and electrical signals, however current approaches for symptomatic- and disease modifying treatments are all based on biochemical approaches, alone.
Organic bioelectronics has arisen as a promising technology providing signal translation, as sensors and modulators, across the biology-technology interface; especially, it has proven unique in neuronal applications. There is great opportunity with organic bioelectronics since it can complement biochemical pharmacology to enable a twinned electric-biochemical therapy for ND and neurological disorders. However, this technology is traditionally manufactured on stand-alone substrates. Even though organic bioelectronics has been manufactured on flexible and soft carriers in the past, current technology consume space and volume, that when applied to CNS, rule out close proximity and amalgamation between the bioelectronics technology and CNS components – features that are needed in order to reach high therapeutic efficacy.
e-NeuroPharma includes development of innovative organic bioelectronics, that can be in-vivo-manufactured within the brain. The overall aim is to evaluate and develop electrodes, delivery devices and sensors that enable a twinned biochemical-electric therapy approach to combat ND and other neurological disorders. e-NeuroPharma will focus on the development of materials that can cross the blood-brain-barrier, that self-organize and -polymerize along CNS components, and that record and regulate relevant electrical, electrochemical and physical parameters relevant to ND and disorders
Max ERC Funding
3 237 335 €
Duration
Start date: 2019-09-01, End date: 2024-08-31
Project acronym GRINDOOR
Project Green Nanotechnology for the Indoor Environment
Researcher (PI) Claes-Goeran Sture Granqvist
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE5, ERC-2010-AdG_20100224
Summary The GRINDOOR project aims at developing and implementing new materials that enable huge energy savings in buildings and improve the quality of the indoor environment. About 40% of the primary energy, and 70% of the electricity, is used in buildings, and therefore the outcome of this project can have an impact on the long-term energy demand in the EU and the World. It is a highly focused study on new nanomaterials based on some transition metal oxides, which are used for four interrelated applications related to indoor lighting and indoor air: (i) electrochromic coatings are integrated in devices and used in “smart windows” to regulate the inflow of visible light and solar energy in order to minimize air condition and create indoor comfort, (ii) thermochromic nanoparticulate coatings are used on windows to provide large temperature-dependent control of the inflow of infrared solar radiation (in stand-alone cases as well as in conjunction with electrochromics), (iii) oxide-based gas sensors are used to measure indoor air quality especially with regard to formaldehyde, and (iv) photocatalytic coatings are used for indoor air cleaning. The investigated materials have many things in common and a joint and focused study, such as the one proposed here, will generate important new knowledge that can be transferred between the various sub-projects. The new oxide materials are prepared by advanced reactive gas deposition—using unique equipment—and high-pressure reactive dc magnetron sputtering. The materials are characterized and investigated by a wide range of state-of-the-art techniques.
Summary
The GRINDOOR project aims at developing and implementing new materials that enable huge energy savings in buildings and improve the quality of the indoor environment. About 40% of the primary energy, and 70% of the electricity, is used in buildings, and therefore the outcome of this project can have an impact on the long-term energy demand in the EU and the World. It is a highly focused study on new nanomaterials based on some transition metal oxides, which are used for four interrelated applications related to indoor lighting and indoor air: (i) electrochromic coatings are integrated in devices and used in “smart windows” to regulate the inflow of visible light and solar energy in order to minimize air condition and create indoor comfort, (ii) thermochromic nanoparticulate coatings are used on windows to provide large temperature-dependent control of the inflow of infrared solar radiation (in stand-alone cases as well as in conjunction with electrochromics), (iii) oxide-based gas sensors are used to measure indoor air quality especially with regard to formaldehyde, and (iv) photocatalytic coatings are used for indoor air cleaning. The investigated materials have many things in common and a joint and focused study, such as the one proposed here, will generate important new knowledge that can be transferred between the various sub-projects. The new oxide materials are prepared by advanced reactive gas deposition—using unique equipment—and high-pressure reactive dc magnetron sputtering. The materials are characterized and investigated by a wide range of state-of-the-art techniques.
Max ERC Funding
2 328 726 €
Duration
Start date: 2011-06-01, End date: 2016-05-31
Project acronym INSYSBIO
Project Industrial Systems Biology of Yeast and A. oryzae
Researcher (PI) Jens Nielsen
Host Institution (HI) CHALMERS TEKNISKA HOEGSKOLA AB
Country Sweden
Call Details Advanced Grant (AdG), PE8, ERC-2009-AdG
Summary Metabolic engineering is the development of new cell factories or improving existing ones, and it is the enabling science that allows for sustainable production of fuels and chemicals through biotechnology. With the development in genomics and functional genomics, it has become interesting to evaluate how advanced high-throughput experimental techniques (transcriptome, proteome, metabolome and fluxome) can be applied for improving the process of metabolic engineering. These techniques have mainly found applications in life sciences and studies of human health, and it is necessary to develop novel bioinformatics techniques and modelling concepts before they can provide physiological information that can be used to guide metabolic engineering strategies. In particular it is challenging how these techniques can be used to advance the use of mathematical modelling for description of the operation of complex metabolic networks. The availability of robust mathematical models will allow a wider use of mathematical models to drive metabolic engineering, in analogy with other fields of engineering where mathematical modelling is central in the design phase. In this project the advancement of novel concepts, models and technologies for enhancing metabolic engineering will be done in connection with the development of novel cell factories for high-level production of different classes of products. The chemicals considered will involve both commodity type chemicals like 3-hydroxypropionic acid and malic acid, that can be used for sustainable production of polymers, an industrial enzyme and pharmaceutical proteins like human insulin.
Summary
Metabolic engineering is the development of new cell factories or improving existing ones, and it is the enabling science that allows for sustainable production of fuels and chemicals through biotechnology. With the development in genomics and functional genomics, it has become interesting to evaluate how advanced high-throughput experimental techniques (transcriptome, proteome, metabolome and fluxome) can be applied for improving the process of metabolic engineering. These techniques have mainly found applications in life sciences and studies of human health, and it is necessary to develop novel bioinformatics techniques and modelling concepts before they can provide physiological information that can be used to guide metabolic engineering strategies. In particular it is challenging how these techniques can be used to advance the use of mathematical modelling for description of the operation of complex metabolic networks. The availability of robust mathematical models will allow a wider use of mathematical models to drive metabolic engineering, in analogy with other fields of engineering where mathematical modelling is central in the design phase. In this project the advancement of novel concepts, models and technologies for enhancing metabolic engineering will be done in connection with the development of novel cell factories for high-level production of different classes of products. The chemicals considered will involve both commodity type chemicals like 3-hydroxypropionic acid and malic acid, that can be used for sustainable production of polymers, an industrial enzyme and pharmaceutical proteins like human insulin.
Max ERC Funding
2 499 590 €
Duration
Start date: 2010-01-01, End date: 2014-12-31
Project acronym LEARN
Project Limitations, Estimation, Adaptivity, Reinforcement and Networks in System Identification
Researcher (PI) Lennart Ljung
Host Institution (HI) LINKOPINGS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE7, ERC-2010-AdG_20100224
Summary The objective with this proposal is to provide design tools and algorithms for model management in robust, adaptive and autonomous engineering systems. The increasing demands on reliable models for systems of ever greater complexity have pointed to several insufficiencies in today's techniques for model construction. The proposal addresses key areas where new ideas are required. Modeling a central issue in many scientific fields. System Identification is the term used in the Automatic Control Community for the area of building mathematical models of dynamical systems from observed input and output signals, but several other research communities work with the same problem under different names, such as (data-driven) learning.
We have identified five specific themes where progress is both acutely needed and feasible:
1. Encounters with Convex Programming Techniques: How to capitalize on the remarkable recent progress in convex and semidefinite programming to obtain efficient, robust and reliable algorithmic solutions.
2. Fundamental Limitations: To develop and elucidate what are the limits of model accuracy, regardless of the modeling method. This can be seen as a theory rooted in the Cramer-Rao inequality in the spirit of invariance results and lower bounds characterizing, e.g., Information Theory.
3. Experiment Design and Reinforcement Techniques: Study how well tailored and ``cheap'' experiments can extract essential information about isolated model properties. Also study how such methods may relate to general reinforcement techniques.
4. Potentials of Non-parametric Models: How to incorporate and adjust techniques from adjacent research communities, e.g. concerning manifold learning and Gaussian Processes in machine learning.
5. Managing Structural Constraints: To develop structure preserving identification methods for networked and decentralized systems.
We have ideas how to approach each of these themes, and initial attempts are promising.
Summary
The objective with this proposal is to provide design tools and algorithms for model management in robust, adaptive and autonomous engineering systems. The increasing demands on reliable models for systems of ever greater complexity have pointed to several insufficiencies in today's techniques for model construction. The proposal addresses key areas where new ideas are required. Modeling a central issue in many scientific fields. System Identification is the term used in the Automatic Control Community for the area of building mathematical models of dynamical systems from observed input and output signals, but several other research communities work with the same problem under different names, such as (data-driven) learning.
We have identified five specific themes where progress is both acutely needed and feasible:
1. Encounters with Convex Programming Techniques: How to capitalize on the remarkable recent progress in convex and semidefinite programming to obtain efficient, robust and reliable algorithmic solutions.
2. Fundamental Limitations: To develop and elucidate what are the limits of model accuracy, regardless of the modeling method. This can be seen as a theory rooted in the Cramer-Rao inequality in the spirit of invariance results and lower bounds characterizing, e.g., Information Theory.
3. Experiment Design and Reinforcement Techniques: Study how well tailored and ``cheap'' experiments can extract essential information about isolated model properties. Also study how such methods may relate to general reinforcement techniques.
4. Potentials of Non-parametric Models: How to incorporate and adjust techniques from adjacent research communities, e.g. concerning manifold learning and Gaussian Processes in machine learning.
5. Managing Structural Constraints: To develop structure preserving identification methods for networked and decentralized systems.
We have ideas how to approach each of these themes, and initial attempts are promising.
Max ERC Funding
2 500 000 €
Duration
Start date: 2011-01-01, End date: 2015-12-31
Project acronym MATHFOR
Project Formalization of Constructive Mathematics
Researcher (PI) Thierry Coquand
Host Institution (HI) GOETEBORGS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE6, ERC-2009-AdG
Summary The general theme is to explore the connections between reasoning and computations in mathematics. There are two main research directions. The first research direction is a refomulation of Hilbert's program, using ideas from formal, or pointfree topology. We have shown, with multiple examples, that this allows a partial realization of this program in commutative algebra, and a new way to formulate constructive mathematics. The second research direction explores the computational content using type theory and the Curry-Howard correspondence between proofs and programs. Type theory allows us to represent constructive mathematics in a formal way, and provides key insight for the design of proof systems helping in the analysis of the logical structure of mathematical proofs. The interest of this program is well illustrated by the recent work of G. Gonthier on the formalization of the 4 color theorem.
Summary
The general theme is to explore the connections between reasoning and computations in mathematics. There are two main research directions. The first research direction is a refomulation of Hilbert's program, using ideas from formal, or pointfree topology. We have shown, with multiple examples, that this allows a partial realization of this program in commutative algebra, and a new way to formulate constructive mathematics. The second research direction explores the computational content using type theory and the Curry-Howard correspondence between proofs and programs. Type theory allows us to represent constructive mathematics in a formal way, and provides key insight for the design of proof systems helping in the analysis of the logical structure of mathematical proofs. The interest of this program is well illustrated by the recent work of G. Gonthier on the formalization of the 4 color theorem.
Max ERC Funding
1 912 288 €
Duration
Start date: 2010-04-01, End date: 2015-03-31
Project acronym NANOCELLIMAGE
Project Ultrasmall Chemical Imaging of Cells and Vesicular Release
Researcher (PI) Andrew Ewing
Host Institution (HI) CHALMERS TEKNISKA HOEGSKOLA AB
Country Sweden
Call Details Advanced Grant (AdG), PE4, ERC-2010-AdG_20100224
Summary The long-term goal of this research is to establish the chain of molecular events associated with (1) neurotransmitter release at the single cell and subcellular level and (2) with cell differentiation and reprogramming. These are incredibly important goals for which there are few analytical chemistry methods that are available and useful. The immediate goal therefore includes development of three chemical methodologies at the cutting edge of analytical chemistry: 1) the development of arrays of nanometer electrodes that can be used to spatially measure the release of easily oxidized substances across the cell surface; 2) to improve the combination of MALDI and cluster SIMS ion sources on an orthogonal QStar instrument to enable protein and glycoprotein analysis at the single whole cell level, lipid domain analysis at the subcellular level, and importantly, depth profiling; and 3) the application of information discovered at single cells and of the methods developed in goals 1 and 2 to an in vitro model of cell-to-cell communication and regeneration. I intend to build on my expertise in both electrochemistry and SIMS imaging to develop these approaches. The work described here constitutes two new directions of research in my group as well as new analytical chemistry, and, if successful, will lead to researchers being able to gather incredibly important new data about cell-to-cell communication and cell differentiation and reprogramming as well as to a better understanding the role of lipids in exocytosis and endocytosis.
Summary
The long-term goal of this research is to establish the chain of molecular events associated with (1) neurotransmitter release at the single cell and subcellular level and (2) with cell differentiation and reprogramming. These are incredibly important goals for which there are few analytical chemistry methods that are available and useful. The immediate goal therefore includes development of three chemical methodologies at the cutting edge of analytical chemistry: 1) the development of arrays of nanometer electrodes that can be used to spatially measure the release of easily oxidized substances across the cell surface; 2) to improve the combination of MALDI and cluster SIMS ion sources on an orthogonal QStar instrument to enable protein and glycoprotein analysis at the single whole cell level, lipid domain analysis at the subcellular level, and importantly, depth profiling; and 3) the application of information discovered at single cells and of the methods developed in goals 1 and 2 to an in vitro model of cell-to-cell communication and regeneration. I intend to build on my expertise in both electrochemistry and SIMS imaging to develop these approaches. The work described here constitutes two new directions of research in my group as well as new analytical chemistry, and, if successful, will lead to researchers being able to gather incredibly important new data about cell-to-cell communication and cell differentiation and reprogramming as well as to a better understanding the role of lipids in exocytosis and endocytosis.
Max ERC Funding
2 491 881 €
Duration
Start date: 2011-01-01, End date: 2015-12-31
