Paul Stainier. Nanjing University of Information Science & Technology Nanjing, China. QR 2023.