Fabrication and characterization of the meta and heterostructures for the optimization of the devices at extreme conditions to be used in accelerators as well as satellites technology.

The project aims at developing an innovative class of marine composites with a significantly reduced environmental impact. These new eco-materials will be created and used for boatbuilding, especially in the production of hulls or other structural parts of little boats (<10mt). Many research groups have been working for years with the scope to replace traditional materials, fiberglass as first. However, the present work has an important uniqueness: the new material will emerge from an unconventional use of sea waste.

Crystals in volcanic rocks preserve information about the processes that occurred in the plumbing system and during the transfer of magma to the Earth’s surface and are fundamental messengers carrying key information on the timescales of eruptive processes. In the last years, we have seen an extraordinary advancement in the development of new and progressively more sophisticated analytical and experimental equipment.

Contemporary research in mathematical logic shows increasing interactions between Model Theory (MT), Set Theory (ST), and Computability Theory (CT), guided by inner developments which progressively found applications to larger and larger areas of mathematics. Problems originating from MT lead naturally to ST and CT questions, while the forcing method, originally developed within ST, and the tecniques of descriptive set theory find applications in MT and CT. Our project is inserted in this general setting.

Emerging scenarios such as autonomous vehicles and the Internet-of-Things require large-scale cyber-physical systems (CPS), i.e., computing devices that interact with the physical world. To cope with their complexity, model-based design has long been advocated as a prominent approach for their rigorous development.

The objective of the project is to develop a novel programming model for IoT services and applications, along with the associated supporting platform, engineering methodology and tools, to ease the development of flexible and robust large-scale IoT services and applications.

The central goal of this project is to identify the mechanisms behind decoherence of quasiparticle transport in layered materials and to devise successful strategies for preserving and harnessing quantum many-body correlations in real devices. We will establish a collaborative effort involving two of the most prominent platforms for quantum transport: ultracold quantum gases in optical lattices and transition-metal oxide heterostructures.

Reactions in volatile organic solvents (VOCs) have served as important methods for carbon-carbon bond formation. The release of VOCs into the environment, however, still remains a matter of great concern, and a number of regulations are currently in place to control their use.