Search

Formal software correctness is gaining traction, with a paroxysmal application to lethal issues in medicine and autonomous vehicles. Interactive theorem provers based on type theory have shown their effectiveness to prove correctness of important pieces of software like the toolchain of the DeepSpec

Having a high contrast between the different tissues of a joint has always been the holy grail of musculoskeletal imaging. Using such a modality would promote a better understanding of the osteoarticular diseases and a follow-up of the different therapeutic strategies. In a clinical environment, thi

In the face of global environmental change, the need for understanding the limits of ecological niches and constraints on adaptation is becoming increasingly pressing. This question is often formulated with respect to the abiotic, physical environment, which determines the fundamental niche of a spe

Soil organic carbon (SOC) is one of the most important organic C pools on Earth with C turnover ranging from days to millennium. In Earth system models (ESMs), which are models aiming at simulating all the relevant aspects of the Earth system (climate, ocean circulation, greenhouse gases exchanges,

Pleiotropy is the phenomenon of one gene affecting several phenotypic traits, such as different organs. When these organs evolve, what happens to the pleiotropic genes underlying their development? We think it triggers fast molecular evolution, because mutations with negative pleiotropic effects are

Conformal Field Theories (CFTs) have a wide range of experimental and theoretical applications: describing classical and quantum critical phenomena, where they determine critical exponents; as low (or high) energy limits of ordinary quantum field theories; and as theories of quantum gravity in disgu

This project will address the problem of the compartmentalized academic study of the diverse Frankish- and Islamic-ruled societies through the first comprehensive study of Christianities in the Middle East. It aims to study the inter-Christian and Christian-Muslim interactions, on the assumption tha

These last years have seen an explosion of novel haptic technologies providing various haptic sensations across all the user’s body. However, while these technologies have now been made available, virtual reality systems are still facing a fundamental lack of rich haptic feedback able to convey comp

Soft and wet contacts are ubiquitous from geology to biology and are crucial for engineering. Furthermore, many key processes of life are governed by microscopic motility in soft and confined environments with the aim of reaching specific targets. In soft matter, an emergent elastohydrodynamic (EHD)

The discovery of new optical materials for the next generation of technologies is crucial for economic and societal issues. In particular, such materials are of high importance for the telecommunications, medicine, and low energy consumption lighting. The trial-and-error strategies commonly used to