Congratulations to Tony Liao and Weiqi Wang on completing their MASc degrees! Weiqi worked on a PathDiff, a tool for symbolic differential testing and Tony’s thesis covers novel results in CFI (to be posted soon). We also welcome two new students: Yuqin Yan and Kexin Li to our group this year!