Registered user since Sat 11 Nov 2017
Jiaying Li (李家营) currently works for Microsoft, China. He was a former research scientist at Singapore Management University (SMU) and a research fellow at the Singapore University of Technology and Design (SUTD). He received his Ph.D. at SUTD, mentored by the esteemed Prof. Jun Sun, and his bachelor’s degree from Nankai University.
Jiaying’s research focuses on software analysis and verification, with a broad interest in both the theoretical foundations and practical implementations of software, including traditional computer programs, emergent smart contracts, and cutting-edge artificial intelligence systems like neural networks. His work has been acknowledged at prestigious research venues, including programming languages conferences such as POPL, and software engineering conferences such as ASE and ICSE. In his ongoing journey, Jiaying Li combines practical industry experience with a solid academic background to explore and contribute to the evolving world of software development.
Contributions