Name:Jiaying Li

Bio:

Jiaying Li (李家营) currently works for OmniVision Technologies, Singapore. He used to work for Microsoft, China, Singapore Management University (SMU), Singapore, and Singapore University of Technology and Design (SUTD), Singapore. He received his Ph.D. at SUTD, mentored by Prof. Jun Sun, and his bachelor’s degree from Nankai University.

Jiaying’s research focuses on program analysis and software verification, with a broad interest in the theoretical foundations and practical implementations of software, including traditional computer programs, emergent smart contracts, and cutting-edge artificial intelligence systems like neural networks.

Country:Singapore

Affiliation:OmniVision Technologies

Research interests:Software Verification, Programming Languages, Artificial Intelligence