Professional service
Program Committee
ICFEM 2023 · ICFEM 2024
Reviewer / Sub-reviewer
APSEC · ICECCS · SATE · ICFEM · TASE · FormaliSE · AST · SETTA · IMLSE · Internetware · SiMLA
Researcher in Programming Languages, Formal Methods, and Artificial Intelligence
I develop elegant theories and practical techniques to make formal verification more precise and efficient, while making verification tools easier to design, implement, debug, and apply.
Selected peer-reviewed work in programming languages, software engineering, and artificial intelligence.
Jiaying Li, Hao Chunxue
ACM SIGPLAN Conference on Programming Language Design and Implementation
Zhongkui Ma, Jiaying Li, Guangdong Bai
ACM SIGPLAN Symposium on Principles of Programming Languages
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang
Jiaying Li, Jun Sun, Bo Gao, Étienne André
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
Program Committee
ICFEM 2023 · ICFEM 2024
Reviewer / Sub-reviewer
APSEC · ICECCS · SATE · ICFEM · TASE · FormaliSE · AST · SETTA · IMLSE · Internetware · SiMLA