Homotopy Type Theory is a formal system that conjecturally can be used as a foundation for Mathematics. It has at least two advantages over other existing foundations of Mathematics. It has a flexible language in which the notion of space is as primitive as the notion of set, thus making it easier to work with […]

Depression is estimated to be the second most disabling condition by 2020. More than 300 million people of all ages suffer from depression making it the leading cause of disability worldwide. Schizophrenia affects about 1% of the population, and is one of the leading causes of health burden in the world. The two mental disorders […]

The purpose of the proposed research project is to develop a bench-scale method to investigate the release of opportunistic pathogens such as Legionella pneumophila, in drinking water distribution systems. Legionella pneumophila can cause serious health effects in humans and causes one of the largest water related diseases. To complete this research, two bench-scale experiments have […]

The project will undertake a review of the existing and ongoing research in the field of InsurTech. Here, “InsurTech” refers to the marriage of insurance and technology with a goal to transform the insurance industry by using modern technologies to generate efficiencies. It is proposed to develop new technology based solutions for more realistic insurance […]