conf.researchr.org / Jiaying Li
Registered user since Sat 11 Nov 2017
Name:Jiaying Li
Bio:
Jiaying Li (李家营) currently works for R3 Lab, China. He received his Ph.D. at SUTD, Singapore, and his bachelor’s degree from Nankai University, China.
Jiaying’s research focuses on program analysis and software verification, with a broad interest in the theoretical foundations and practical implementations of software.
Country:China
Affiliation:R3 Lab
Personal website: http://jiaying.li
Research interests:Software Verification, Programming Languages, Artificial Intelligence
Contributions