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 […]

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 […]

Research on assessment accommodations for students with disabilities is well-documented in the literature. Assessment accommodations are the arrangements made by the teacher such as allocation of more time on the tests to give disability students a fair and equal opportunity to show their learning as well as possible. However, much of the research on this […]