Jie Wen Heriot-Watt University, Edinburgh School of Mathematical and Computer Sciences IFoA ARC Workshop 2 December 2019