Investigation about the mechanisms involved in the onset of type 2 diabetes in absence of familiarity is the focus of a research project which has led to the development of a computational model that recapitulates the aetiology of the disease. The model simulates the metabolic and immunological alterations related to type-2 diabetes associated to several clinical, physiological and behavioural characteristics of representative virtual patients.

Drug research, therapy development, and other areas of pharmacology and medicine can benefit from simula- tions and optimization of mathematical models that contain a mathematical description of interactions between systems elements at the cellular, tissue, organ, body, and population level. This approach is the foundation of systems medicine and precision medicine. Here, simulated experiments are performed with computers (in silico) first, and they are then replicated through lab experiments (in vivo or in vitro) or clinical studies.

Bioventing is a technology used to abate the presence of pollutants in the subsoil. Microorganisms biodegrade the pollutant but the biochemical reaction requires oxygen and so an airflow is induced in the subsoil by means of injection and/or extraction wells. Costs, final result and decontamination time are reliant on contaminant type, soil permeability and several other factors, but oxygen subsoil concentration plays a very important role.

In the past two decades, 7 coronaviruses have infected the human population, with two major outbreaks caused by SARS-CoV and MERS-CoV in the year 2002 and 2012, respectively. Currently, the entire world is facing a pandemic of another coronavirus, SARS-CoV-2, with a high fatality rate. The spike glycoprotein of SARS-CoV-2 mediates entry of virus into the host cell and is one of the most important antigenic determinants, making it a potential candidate for a vaccine. In this study, we have computationally designed a multi-epitope vaccine using spike glycoprotein of SARS-CoV-2.

Motivated by the upcoming Internet of Things, designing light-weight authentication protocols for resource constrained devices is among the main research directions of the last decade. Current solutions in the literature attempt either to improve the computational efficiency of cryptographic authentication schemes, or to build a provably-secure scheme relying on the hardness of a specific mathematical problem.