ERC FUNDED PROJECTS

Previous efforts to raise living standards have been based on relentlessly increasing combustion, causing environmental destruction at all scales. In addition to climate-warming CO2, fossil fuel combustion also produces a large number of organic compounds and particulate matter, which deteriorate air quality. The atmosphere is cleansed from such pollutants by gas-phase oxidation reactions, which are invariably mediated by peroxy radicals (RO2). Oxidation transforms initially volatile and water-insoluble hydrocarbons into water-soluble forms (ultimately CO2), enabling scavenging by liquid droplets. A minor but crucially important alternative oxidation pathway leads to oxidative molecular growth, and formation of atmospheric aerosols. Aerosols impart a huge influence on the atmosphere, from local air quality issues to global climate forcing, yet their formation mechanisms and structures of organic aerosol precursors remains elusive. In a paradigm change, RO2 was recently found to undergo autoxidation, enabling rapid aerosol precursor formation even at sub-second time-scales – in stark contrast to the long processing times (days - weeks) previously assumed to be necessary. We have shown how abundant biogenic hydrocarbons (BVOC) autoxidize, but due to key structural differences, the same pathways are not available for anthropogenic hydrocarbons (AVOC), and thus they were not expected to autoxidize. My preliminary experiments reveal that AVOCs do autoxidize, but the mechanism enabling this remain unknown. Crucially, the co-reactants shown to inhibit BVOC seem to enforce AVOC autoxidation – potentially explaining the recent mysterious discovery of new-particle formation in polluted megacities. In ADAPT, I will use a combination of novel mass spectrometric detection methods fortified by theoretical calculations, to solve the mechanism of AVOC autoxidation. This will directly assist both air quality management, and the design of cleaner fuels and engines.

2 689 147 €

Start date: 2021-02-01, End date: 2026-01-31

The long list of software failures over the past years calls for serious concerns in our digital society, creating bad reputation and adding huge economic burden on organizations, industries and governments. Improving software reliability is no more enough, ensuring software reliability is mandatory. Our project complements other advances in the area and addresses this demand by turning first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability, Saturation-based proof search is the leading technology for automated first-order theorem proving. The high-gain/high-risk aspect of our project comes from the development and use of saturation-based theorem proving as a unifying framework to reason about software technologies. We use first-order theorem proving methods not only to prove, but also to generate software properties that imply the absence of program errors at intermediate program steps. Generating and proving program properties call for new methods supporting reasoning with both theories and quantifiers. Our project extends saturation-based first-order theorem provers with domain-specific inference rules to keep reasoning efficient. This includes commonly used theories in software development, such as the theories of integers, arrays and inductively defined data types, and automation of induction within saturation-based theorem proving, contributing to the ultimate goal of generating and proving inductive software properties, such as invariants. Thanks to the full automation of our project, our results can be integrated and used in other frameworks, to allow end-users and developers of software technologies to gain from theorem proving without the need of becoming experts of it.

2 000 000 €

Start date: 2021-07-01, End date: 2026-06-30

Heterogeneous biomolecular mechanisms at the surface of cellular membranes are often fundamental to generate function and dysfunction in living systems. These processes are governed by transient and dynamical macromolecular interactions that pose tremendous challenges to current analytical tools, as the majority of these methods perform best in the study of well-defined and poorly dynamical systems. This proposal aims at a radical innovation in the characterisation of complex processes that are dominated by structural order and disorder, including those occurring at the surface of biological membranes such as cellular signalling, the assembly of molecular machinery, or the regulation vesicular trafficking. I outline a programme to realise a vision where the combination of experiments and theory can delineate a new analytical platform to study complex biochemical mechanisms at a multiscale level, and to elucidate their role in physiological and pathological contexts. To achieve this ambitious goal, my research team will develop tools based on the combination of nuclear magnetic resonance (NMR) spectroscopy and molecular simulations, which will enable probing the structure, dynamics, thermodynamics and kinetics of complex protein-protein and protein-membrane interactions occurring at the surface of cellular membranes. The ability to advance both the experimental and theoretical sides, and their combination, is fundamental to define the next generation of methods to achieve our transformative aims. We will provide evidence of the innovative nature of the proposed multiscale approach by addressing some of the great questions in neuroscience and elucidate the details of how functional and aberrant biological complexity is achieved via the fine tuning between structural order and disorder at the neuronal synapse.

1 999 945 €

Start date: 2019-06-01, End date: 2024-11-30

We aim to understand host cell entry of enveloped viruses at molecular level. A crucial step in this process is when the viral membrane fuses with the cell membrane. Similarly to cell–cell fusion, this step is mediated by fusion proteins (classes I–III). Several medically important viruses, notably dengue and many bunyaviruses, harbour a class II fusion protein. Class II fusion protein structures have been solved in pre- and post-fusion conformation and in some cases different factors promoting fusion have been determined. However, questions about the most important steps of this key process remain unanswered. I will focus on the entry mechanism of bunyaviruses by using cutting-edge, high spatial and temporal resolution bio-imaging techniques. These viruses have been chosen as a model system to maximise the significance of the project: they form an emerging viral threat to humans and animals, no approved vaccines or antivirals exist for human use and they are less studied than other class II fusion protein systems. Cryo-electron microscopy and tomography will be used to solve high-resolution structures (up to ~3 Å) of viruses, in addition to virus–receptor and virus–membrane complexes. Advanced fluorescence microscopy techniques will be used to probe the dynamics of virus entry and fusion in vivo and in vitro. Deciphering key steps in virus entry is expected to contribute to rational vaccine and drug design. During this project I aim to establish a world-class laboratory in structural and cellular biology of emerging viruses. The project greatly benefits from our unique biosafety level 3 laboratory offering advanced bio-imaging techniques. Furthermore it will also pave way for similar projects on other infectious viruses. Finally the novel computational image processing methods developed in this project will be broadly applicable for the analysis of flexible biological structures, which often pose the most challenging yet interesting questions in structural biology.

1 998 375 €

Start date: 2015-04-01, End date: 2020-03-31