Project acronym ANALYTICAL SOCIOLOGY
Project Analytical Sociology: Theoretical Developments and Empirical Research
Researcher (PI) Mats Peter Hedstroem
Host Institution (HI) LINKOPINGS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), SH2, ERC-2012-ADG_20120411
Summary This proposal outlines a highly ambitious and path-breaking research program. Through a tightly integrated package of basic theoretical work, strategic empirical research projects, international workshops, and a large number of publications in leading journals, the research program seeks to move sociology in a more analytical direction.
One part of the research program focuses on the epistemological and methodological foundations of analytical sociology, an approach to sociological theory and research that currently receives considerable attention in the international scholarly community. This work will be organized around two core themes: (1) the principles of mechanism-based explanations and (2) the micro-macro link.
The empirical research analyzes in great detail the ethnic, gender, and socio-economic segregation of key interaction domains in Sweden using the approach of analytical sociology. The interaction domains focused upon are schools, workplaces and neighborhoods; domains where people spend a considerable part of their time, where much of the social interaction between people takes place, where identities are formed, and where important resources are distributed.
Large-scale longitudinal micro data on the entire Swedish population, unique longitudinal data on social networks within school classes, and various agent-based simulation techniques, are used to better understand the processes through which schools, workplaces and neighborhoods become segregated along various dimensions, how the domains interact with one another, and how the structure and extent of segregation affects diverse social and economic outcomes.
Summary
This proposal outlines a highly ambitious and path-breaking research program. Through a tightly integrated package of basic theoretical work, strategic empirical research projects, international workshops, and a large number of publications in leading journals, the research program seeks to move sociology in a more analytical direction.
One part of the research program focuses on the epistemological and methodological foundations of analytical sociology, an approach to sociological theory and research that currently receives considerable attention in the international scholarly community. This work will be organized around two core themes: (1) the principles of mechanism-based explanations and (2) the micro-macro link.
The empirical research analyzes in great detail the ethnic, gender, and socio-economic segregation of key interaction domains in Sweden using the approach of analytical sociology. The interaction domains focused upon are schools, workplaces and neighborhoods; domains where people spend a considerable part of their time, where much of the social interaction between people takes place, where identities are formed, and where important resources are distributed.
Large-scale longitudinal micro data on the entire Swedish population, unique longitudinal data on social networks within school classes, and various agent-based simulation techniques, are used to better understand the processes through which schools, workplaces and neighborhoods become segregated along various dimensions, how the domains interact with one another, and how the structure and extent of segregation affects diverse social and economic outcomes.
Max ERC Funding
1 745 098 €
Duration
Start date: 2013-03-01, End date: 2018-02-28
Project acronym AXION
Project Axions: From Heaven to Earth
Researcher (PI) Frank Wilczek
Host Institution (HI) STOCKHOLMS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), PE2, ERC-2016-ADG
Summary Axions are hypothetical particles whose existence would solve two major problems: the strong P, T problem (a major blemish on the standard model); and the dark matter problem. It is a most important goal to either observe or rule out the existence of a cosmic axion background. It appears that decisive observations may be possible, but only after orchestrating insight from specialities ranging from quantum field theory and astrophysical modeling to ultra-low noise quantum measurement theory. Detailed predictions for the magnitude and structure of the cosmic axion background depend on cosmological and astrophysical modeling, which can be constrained by theoretical insight and numerical simulation. In parallel, we must optimize strategies for extracting accessible signals from that very weakly interacting source.
While the existence of axions as fundamental particles remains hypothetical, the equations governing how axions interact with electromagnetic fields also govern (with different parameters) how certain materials interact with electromagnetic fields. Thus those materials embody “emergent” axions. The equations have remarkable properties, which one can test in these materials, and possibly put to practical use.
Closely related to axions, mathematically, are anyons. Anyons are particle-like excitations that elude the familiar classification into bosons and fermions. Theoretical and numerical studies indicate that they are common emergent features of highly entangled states of matter in two dimensions. Recent work suggests the existence of states of matter, both natural and engineered, in which anyon dynamics is both important and experimentally accessible. Since the equations for anyons and axions are remarkably similar, and both have common, deep roots in symmetry and topology, it will be fruitful to consider them together.
Summary
Axions are hypothetical particles whose existence would solve two major problems: the strong P, T problem (a major blemish on the standard model); and the dark matter problem. It is a most important goal to either observe or rule out the existence of a cosmic axion background. It appears that decisive observations may be possible, but only after orchestrating insight from specialities ranging from quantum field theory and astrophysical modeling to ultra-low noise quantum measurement theory. Detailed predictions for the magnitude and structure of the cosmic axion background depend on cosmological and astrophysical modeling, which can be constrained by theoretical insight and numerical simulation. In parallel, we must optimize strategies for extracting accessible signals from that very weakly interacting source.
While the existence of axions as fundamental particles remains hypothetical, the equations governing how axions interact with electromagnetic fields also govern (with different parameters) how certain materials interact with electromagnetic fields. Thus those materials embody “emergent” axions. The equations have remarkable properties, which one can test in these materials, and possibly put to practical use.
Closely related to axions, mathematically, are anyons. Anyons are particle-like excitations that elude the familiar classification into bosons and fermions. Theoretical and numerical studies indicate that they are common emergent features of highly entangled states of matter in two dimensions. Recent work suggests the existence of states of matter, both natural and engineered, in which anyon dynamics is both important and experimentally accessible. Since the equations for anyons and axions are remarkably similar, and both have common, deep roots in symmetry and topology, it will be fruitful to consider them together.
Max ERC Funding
2 324 391 €
Duration
Start date: 2017-09-01, End date: 2022-08-31
Project acronym BATESON
Project Dissecting genotype-phenotype relationships using high-throughput genomics and carefully selected study populations
Researcher (PI) Leif Andersson
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), LS2, ERC-2011-ADG_20110310
Summary A major aim in genome research is to reveal how genetic variation affects phenotypic variation. Here I propose to use high-throughput genomics (whole genome sequencing, transcriptome and epigenome analysis) to screen carefully selected study populations where the chances are particularly favourable to obtain novel insight into genotype-phenotype relationships. The ambition is to take discoveries all the way from phenotypic characterization to the identification of the genes and the actual genetic variant causing a phenotypic effect and to understanding the underlying functional mechanisms. The program will involve a fish (the Atlantic herring), a bird (the domestic chicken) and a mammal (the European rabbit). The Atlantic herring will be studied because it provides unique opportunities to study the genetics of adaptation in a natural population and because of the possibilities to revolutionize the fishery management of this economically important marine fish. We will generate a draft assembly of the herring genome and then perform whole genome resequencing of different populations to reveal the population structure and the loci underlying genetic adaptation. The European rabbit is an excellent model for studying the genetics of speciation due to the presence of two distinct subspecies on the Iberian Peninsula. The domestication of the rabbit is also particularly interesting because it is a recent event (about 1500 years ago) and it is well established that domestication happened from the wild rabbit population in southern France. Finally, the domestic chicken provides excellent opportunities for in depth functional studies since it is both a domestic animal harbouring a rich genetic diversity and an experimental organism.
(BATESON is the acronym for this proposal because Bateson (1902) pioneered the study of genotype-phenotype relationships in animals and used the chicken for this work.)
Summary
A major aim in genome research is to reveal how genetic variation affects phenotypic variation. Here I propose to use high-throughput genomics (whole genome sequencing, transcriptome and epigenome analysis) to screen carefully selected study populations where the chances are particularly favourable to obtain novel insight into genotype-phenotype relationships. The ambition is to take discoveries all the way from phenotypic characterization to the identification of the genes and the actual genetic variant causing a phenotypic effect and to understanding the underlying functional mechanisms. The program will involve a fish (the Atlantic herring), a bird (the domestic chicken) and a mammal (the European rabbit). The Atlantic herring will be studied because it provides unique opportunities to study the genetics of adaptation in a natural population and because of the possibilities to revolutionize the fishery management of this economically important marine fish. We will generate a draft assembly of the herring genome and then perform whole genome resequencing of different populations to reveal the population structure and the loci underlying genetic adaptation. The European rabbit is an excellent model for studying the genetics of speciation due to the presence of two distinct subspecies on the Iberian Peninsula. The domestication of the rabbit is also particularly interesting because it is a recent event (about 1500 years ago) and it is well established that domestication happened from the wild rabbit population in southern France. Finally, the domestic chicken provides excellent opportunities for in depth functional studies since it is both a domestic animal harbouring a rich genetic diversity and an experimental organism.
(BATESON is the acronym for this proposal because Bateson (1902) pioneered the study of genotype-phenotype relationships in animals and used the chicken for this work.)
Max ERC Funding
2 300 000 €
Duration
Start date: 2012-05-01, End date: 2017-04-30
Project acronym EcoImmuneCosts
Project Immunity in Ecology and Evolution: 'Hidden' costs of disease, immune function and their consequences for Darwinian fitness
Researcher (PI) Dennis Lennart HASSELQUIST
Host Institution (HI) LUNDS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), LS8, ERC-2016-ADG
Summary Eco-immunology targets one of the great challenges in biology and medicine - how the immune system has evolved to optimize protection and minimize immunopathology (incl. autoimmune) costs. A primary target of my proposal is to study low-virulent pathogens causing mild infections, which for long have been considered harmless. Recent research suggests that this notion is false and that seemingly harmless pathogens entail delayed (‘hidden’) fitness costs. However, the mechanisms mediating these costs are still unknown. I will experimentally test if accelerated telomere degradation is a causative mechanism through which small immune costs can accumulate and be translated into senescence and reduced Darwinian fitness. Another key target is immune costs, which may be ‘hidden’ because of sexually antagonistic effects, and I will study how this may affect immune gene variation, immune costs and Darwinian fitness. These aspects are central for advancing our understanding of the evolution of disease resistance and immune function, incl. immune over-reactions (autoimmunity).
My project exploits a comprehensive 32-year study of great reed warblers to analyze selection patterns in the wild (Fig. 1a), and uses established captive songbird set-ups to conduct carefully designed experiments. The exceptional quality of the long-term data set, together with cutting-edge techniques to measure and manipulate parasite infection, telomere length, oxidative stress and immune gene diversity, provides exciting opportunities to conduct research that previously was unfeasible, pushing the rapidly growing field of eco-immunology (Fig. 1b) to new frontiers. The work integrates theory and methods of evolutionary ecology, immunology and molecular biology, and has broad significance including for e.g. epidemiology and ageing research. I envision my research to change how we look upon causes, consequences (and precautions) of mild infectious, autoimmune and degenerative diseases.
Summary
Eco-immunology targets one of the great challenges in biology and medicine - how the immune system has evolved to optimize protection and minimize immunopathology (incl. autoimmune) costs. A primary target of my proposal is to study low-virulent pathogens causing mild infections, which for long have been considered harmless. Recent research suggests that this notion is false and that seemingly harmless pathogens entail delayed (‘hidden’) fitness costs. However, the mechanisms mediating these costs are still unknown. I will experimentally test if accelerated telomere degradation is a causative mechanism through which small immune costs can accumulate and be translated into senescence and reduced Darwinian fitness. Another key target is immune costs, which may be ‘hidden’ because of sexually antagonistic effects, and I will study how this may affect immune gene variation, immune costs and Darwinian fitness. These aspects are central for advancing our understanding of the evolution of disease resistance and immune function, incl. immune over-reactions (autoimmunity).
My project exploits a comprehensive 32-year study of great reed warblers to analyze selection patterns in the wild (Fig. 1a), and uses established captive songbird set-ups to conduct carefully designed experiments. The exceptional quality of the long-term data set, together with cutting-edge techniques to measure and manipulate parasite infection, telomere length, oxidative stress and immune gene diversity, provides exciting opportunities to conduct research that previously was unfeasible, pushing the rapidly growing field of eco-immunology (Fig. 1b) to new frontiers. The work integrates theory and methods of evolutionary ecology, immunology and molecular biology, and has broad significance including for e.g. epidemiology and ageing research. I envision my research to change how we look upon causes, consequences (and precautions) of mild infectious, autoimmune and degenerative diseases.
Max ERC Funding
2 500 000 €
Duration
Start date: 2017-08-01, End date: 2022-07-31
Project acronym ECOSOCPOL
Project Social and Political Economics: Theory and Evidence
Researcher (PI) Torsten Persson
Host Institution (HI) STOCKHOLMS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), SH1, ERC-2015-AdG
Summary In this project, I will study how individual and social motives interact to drive individual decisions, a question that has fallen between the cracks of different social-science approaches. I will use a common theoretical framework to approach an important, but badly understood, general question: do social motives reinforce or weaken the effect of changes in individual motives? By modifying this common framework to different applications, I will consider its predictions empirically in different large data sets with individual-level information. The planned applications include four subprojects in the social, political, and economic spheres: (i) decisions in China on the ethnicity of children in interethnic marriages and matching into such marriages, (ii) decisions on tax evasion in the U.K. and Sweden, (iii) decisions to give political campaign contributions in the U.S., and (iv) decisions about fertility in Sweden. I may also spell out the common lessons from the results on the interaction between individual and social motives in monograph format intended for a broader audience.
Summary
In this project, I will study how individual and social motives interact to drive individual decisions, a question that has fallen between the cracks of different social-science approaches. I will use a common theoretical framework to approach an important, but badly understood, general question: do social motives reinforce or weaken the effect of changes in individual motives? By modifying this common framework to different applications, I will consider its predictions empirically in different large data sets with individual-level information. The planned applications include four subprojects in the social, political, and economic spheres: (i) decisions in China on the ethnicity of children in interethnic marriages and matching into such marriages, (ii) decisions on tax evasion in the U.K. and Sweden, (iii) decisions to give political campaign contributions in the U.S., and (iv) decisions about fertility in Sweden. I may also spell out the common lessons from the results on the interaction between individual and social motives in monograph format intended for a broader audience.
Max ERC Funding
1 104 812 €
Duration
Start date: 2016-11-01, End date: 2021-10-31
Project acronym ERA
Project Earth Resilience in the Anthropocene (ERA)Integrating non-linear biophysical and social determinantsof Earth-system stability for global sustainabilitythrough a novel community modelling platform
Researcher (PI) johan ROCKSTRoeM
Host Institution (HI) STOCKHOLMS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), SH2, ERC-2016-ADG
Summary In 2015, the UN Sustainable Development Goals (SDGs) and the Paris Agreement on climate recognised the deteriorating resilience of the Earth system in the Anthropocene. Maintaining Earth in the interglacial state that enabled the world’s societies to evolve over the past 12,000 years will require industrialised societies to embark on global-scale social transformations. Otherwise, there is a real risk of crossing tipping points in the Earth system triggering abrupt and irreversible changes.
A critical gap is that although nonlinear social and biophysical dynamics are recognized, we remain trapped in linear thinking. Global modelling and analyses – despite much progress – do not adequately represent nonlinear processes and abrupt changes, and social responses to sustainable development are incremental.
The goal of this project is to fill this gap, by exploring the biophysical and social determinants of the Earth’s long-term stability, building up a novel community modelling platform for analysis of nonlinearity and abrupt shifts, and informing global sustainability policy processes. The project will investigate two hypotheses: 1) Interactions, feedbacks and tipping points in the biosphere could, even in the absence of continued high emissions from fossil-fuel burning, tip Earth into a new state, committing to global warming over 2C and possibly beyond 4C; and 2) Only nonlinear societal transformations that aggregate to the global scale can assure long-term stability of the Earth and keep it in a manageable interglacial state.
The five research tasks are Task 1: analysis of nonlinear biosphere dynamics governing Earth resilience. Task 2: integrating nonlinear dynamics in World-Earth models. Task 3: exploring tipping points in social systems for large-scale transformation. Task 4: backcasting pathways for achieving the SDGs. Task 5: integrating World-Earth dynamics into online learning and virtual-reality games, e.g. Planet3 and Minecraft.
Summary
In 2015, the UN Sustainable Development Goals (SDGs) and the Paris Agreement on climate recognised the deteriorating resilience of the Earth system in the Anthropocene. Maintaining Earth in the interglacial state that enabled the world’s societies to evolve over the past 12,000 years will require industrialised societies to embark on global-scale social transformations. Otherwise, there is a real risk of crossing tipping points in the Earth system triggering abrupt and irreversible changes.
A critical gap is that although nonlinear social and biophysical dynamics are recognized, we remain trapped in linear thinking. Global modelling and analyses – despite much progress – do not adequately represent nonlinear processes and abrupt changes, and social responses to sustainable development are incremental.
The goal of this project is to fill this gap, by exploring the biophysical and social determinants of the Earth’s long-term stability, building up a novel community modelling platform for analysis of nonlinearity and abrupt shifts, and informing global sustainability policy processes. The project will investigate two hypotheses: 1) Interactions, feedbacks and tipping points in the biosphere could, even in the absence of continued high emissions from fossil-fuel burning, tip Earth into a new state, committing to global warming over 2C and possibly beyond 4C; and 2) Only nonlinear societal transformations that aggregate to the global scale can assure long-term stability of the Earth and keep it in a manageable interglacial state.
The five research tasks are Task 1: analysis of nonlinear biosphere dynamics governing Earth resilience. Task 2: integrating nonlinear dynamics in World-Earth models. Task 3: exploring tipping points in social systems for large-scale transformation. Task 4: backcasting pathways for achieving the SDGs. Task 5: integrating World-Earth dynamics into online learning and virtual-reality games, e.g. Planet3 and Minecraft.
Max ERC Funding
2 492 834 €
Duration
Start date: 2017-10-01, End date: 2022-09-30
Project acronym GENCON
Project The evolutionary implications of genetic conflict
Researcher (PI) Goeran Arnqvist
Host Institution (HI) UPPSALA UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), LS8, ERC-2011-ADG_20110310
Summary The study of genetic conflict is developing at an almost explosive rate. The recognition that genes or alleles residing in individuals of the two sexes may have conflicting interests is transforming evolutionary biology and, likewise, conflict between genes showing different modes of transmission may fundamentally affect adaptive evolution. The research proposed here will push the frontiers of genetic conflict research and establish new domains. It is aimed at exploring the novel possibility that conflict between mitochondrial and nuclear genes have far-reaching implications for adaptive evolution and at advancing our understanding of the biological consequences of sexual conflict. The project consists of several interrelated parts and will employ insects as model systems. First, I will assess to what extent genetic variation in fitness is sexually antagonistic and what life history traits contribute to sexually antagonistic variation. Second, I will elucidate the genomics of metabolic rate and measure selection on metabolic phenotypes. Third, I will test whether sexually antagonistic epistatic interactions between mitochondrial and nuclear genes generate conflict over metabolic rate. Fourth, I will test the hypothesis that sexual conflict contribute to the evolution of primary and secondary sexual traits. Fifth, I will shed light on the complicated evolutionary interplay between sexual conflict and mating system evolution. I will employ an innovative research strategy, ‘experimental genomics’, in which genomic data is used to guide experimental evolutionary work with distinct genotypes. The research outlined here will collectively provide an unprecedented wealth of information into the role of genetic conflict in several horizons of adaptive evolution, ranging from DNA sequence evolution over life history evolution to speciation, and will set the standard for a new generation of insightful studies aimed at bridging the gap between phenotypic selection and genomics.
Summary
The study of genetic conflict is developing at an almost explosive rate. The recognition that genes or alleles residing in individuals of the two sexes may have conflicting interests is transforming evolutionary biology and, likewise, conflict between genes showing different modes of transmission may fundamentally affect adaptive evolution. The research proposed here will push the frontiers of genetic conflict research and establish new domains. It is aimed at exploring the novel possibility that conflict between mitochondrial and nuclear genes have far-reaching implications for adaptive evolution and at advancing our understanding of the biological consequences of sexual conflict. The project consists of several interrelated parts and will employ insects as model systems. First, I will assess to what extent genetic variation in fitness is sexually antagonistic and what life history traits contribute to sexually antagonistic variation. Second, I will elucidate the genomics of metabolic rate and measure selection on metabolic phenotypes. Third, I will test whether sexually antagonistic epistatic interactions between mitochondrial and nuclear genes generate conflict over metabolic rate. Fourth, I will test the hypothesis that sexual conflict contribute to the evolution of primary and secondary sexual traits. Fifth, I will shed light on the complicated evolutionary interplay between sexual conflict and mating system evolution. I will employ an innovative research strategy, ‘experimental genomics’, in which genomic data is used to guide experimental evolutionary work with distinct genotypes. The research outlined here will collectively provide an unprecedented wealth of information into the role of genetic conflict in several horizons of adaptive evolution, ranging from DNA sequence evolution over life history evolution to speciation, and will set the standard for a new generation of insightful studies aimed at bridging the gap between phenotypic selection and genomics.
Max ERC Funding
2 497 442 €
Duration
Start date: 2012-05-01, End date: 2017-04-30
Project acronym LocomotorIntegration
Project Functional connectome of brainstem circuits that control locomotion
Researcher (PI) Ole Kiehn
Host Institution (HI) KAROLINSKA INSTITUTET
Country Sweden
Call Details Advanced Grant (AdG), LS5, ERC-2015-AdG
Summary Locomotion is a complex motor act that is used in many daily life activities and is the output measures of a plethora of brain behaviors. The planning and initiation of locomotion take place in the brain and brainstem, while the execution is accomplished by activity in neuronal networks in the spinal cord itself. Recent experiments have provided significant insight to the organization of the executive spinal locomotor networks. However, little is known about the brainstem control of these networks. Here, I propose to provide a unified understanding of the functional connectome of the key brainstem networks that control locomotion in mammals needed to select appropriate locomotor outputs. To obtain these goals we will develop a suite of transgenic mouse models with optogenetic or chemogenetic switches in defined populations of brainstem neurons combined with the possibility to use state-of-the-art cell-specific electrophysiological and anatomical connectivity studies. We will reveal the functional organization of ‘go’ and ‘stop’ command systems in the brainstem that are directly upstream from the spinal locomotor networks and the mechanisms for how spinal networks are selected. We will further functionally deconstruct the next network layer in midbrain structures that control the ‘go’ and ‘stop’ command systems. Our research takes a specific approach to provide mechanistic insight to the integrated movement function by building the motor matrix in a functional chain from the locomotor–related spinal cord neurons that have been identified to midbrain neurons. A segment of our research will link these networks to locomotor impairments after basal ganglia dysfunction. The work has the potential to make a breakthrough in our understanding of how complex movements are generated by the brain and has translational implications for patients with movement disorders. It will push boundaries in the universal effort that aims to comprehend how brain networks create behaviors.
Summary
Locomotion is a complex motor act that is used in many daily life activities and is the output measures of a plethora of brain behaviors. The planning and initiation of locomotion take place in the brain and brainstem, while the execution is accomplished by activity in neuronal networks in the spinal cord itself. Recent experiments have provided significant insight to the organization of the executive spinal locomotor networks. However, little is known about the brainstem control of these networks. Here, I propose to provide a unified understanding of the functional connectome of the key brainstem networks that control locomotion in mammals needed to select appropriate locomotor outputs. To obtain these goals we will develop a suite of transgenic mouse models with optogenetic or chemogenetic switches in defined populations of brainstem neurons combined with the possibility to use state-of-the-art cell-specific electrophysiological and anatomical connectivity studies. We will reveal the functional organization of ‘go’ and ‘stop’ command systems in the brainstem that are directly upstream from the spinal locomotor networks and the mechanisms for how spinal networks are selected. We will further functionally deconstruct the next network layer in midbrain structures that control the ‘go’ and ‘stop’ command systems. Our research takes a specific approach to provide mechanistic insight to the integrated movement function by building the motor matrix in a functional chain from the locomotor–related spinal cord neurons that have been identified to midbrain neurons. A segment of our research will link these networks to locomotor impairments after basal ganglia dysfunction. The work has the potential to make a breakthrough in our understanding of how complex movements are generated by the brain and has translational implications for patients with movement disorders. It will push boundaries in the universal effort that aims to comprehend how brain networks create behaviors.
Max ERC Funding
2 500 000 €
Duration
Start date: 2016-08-01, End date: 2021-07-31
Project acronym MagneticMoth
Project Hunting for the elusive “sixth” sense: navigation and magnetic sensation in a nocturnal migratory moth
Researcher (PI) Eric James WARRANT
Host Institution (HI) LUNDS UNIVERSITET
Country Sweden
Call Details Advanced Grant (AdG), LS8, ERC-2016-ADG
Summary Many animals – including birds, sea turtles and insects – perform spectacular long-distance migrations across the surface of the Earth. Remarkably some, like birds, can accurately migrate between highly specific locations thousands of kilometres apart, a navigational feat that requires an external compass cue and a robust sensory system to detect it. The Earth’s magnetic field is one such compass cue. But exactly how the magnetic field is sensed, and which receptor cells are involved, remains a mystery and its discovery is one of the greatest “holy grails” in modern sensory physiology, and also the main aim of this proposal. Fortuitously, I have made a pioneering discovery that a migratory insect – the Australian Bogong moth – relies on the Earth’s magnetic field to navigate at night. Due to its tractable nervous system, this insect may thus hold the key to uncovering the identity of the enigmatic magnetosensor. By tethering flying migrating moths in a flight simulator, I will dissect for the first time how insects use magnetic cues to navigate, isolating which of the two current (contentious) hypotheses for magnetic sensation apply. The most likely of these involves the action of photoreceptor-based cryptochrome (Cry) molecules in the eyes. Having cloned genes for 4 visual opsins and 2 Cry in Bogong moths, I will use in situ hybridisation to localise putative magnetoreceptors in the eyes, targeting them with intracellular electrophysiology and magnetic stimulation in an attempt to describe the physiology of these elusive sensors for the first time. The project is ground breaking since it will elucidate how a migratory insect, despite its small eyes and brain, detects and uses the Earth’s magnetic field for navigation. The discovery of the enigmatic magnetoreceptor would be a sensation, opening the floodgates for international research on this little understood sense.
Summary
Many animals – including birds, sea turtles and insects – perform spectacular long-distance migrations across the surface of the Earth. Remarkably some, like birds, can accurately migrate between highly specific locations thousands of kilometres apart, a navigational feat that requires an external compass cue and a robust sensory system to detect it. The Earth’s magnetic field is one such compass cue. But exactly how the magnetic field is sensed, and which receptor cells are involved, remains a mystery and its discovery is one of the greatest “holy grails” in modern sensory physiology, and also the main aim of this proposal. Fortuitously, I have made a pioneering discovery that a migratory insect – the Australian Bogong moth – relies on the Earth’s magnetic field to navigate at night. Due to its tractable nervous system, this insect may thus hold the key to uncovering the identity of the enigmatic magnetosensor. By tethering flying migrating moths in a flight simulator, I will dissect for the first time how insects use magnetic cues to navigate, isolating which of the two current (contentious) hypotheses for magnetic sensation apply. The most likely of these involves the action of photoreceptor-based cryptochrome (Cry) molecules in the eyes. Having cloned genes for 4 visual opsins and 2 Cry in Bogong moths, I will use in situ hybridisation to localise putative magnetoreceptors in the eyes, targeting them with intracellular electrophysiology and magnetic stimulation in an attempt to describe the physiology of these elusive sensors for the first time. The project is ground breaking since it will elucidate how a migratory insect, despite its small eyes and brain, detects and uses the Earth’s magnetic field for navigation. The discovery of the enigmatic magnetoreceptor would be a sensation, opening the floodgates for international research on this little understood sense.
Max ERC Funding
2 498 625 €
Duration
Start date: 2017-09-01, End date: 2023-02-28
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
