Name: RiDi Wen

Year of enrollment: 2021

Email: wenridi@stu.xmu.edu.cn

Research Fields: Data Plane Verification