LI Jiaying (李家营)

Senior SDE, Microsoft

Address: No. 5, Danling Street, Haidian District, Beijing, China


Wechat: lijiayinghahaha

Curriculum Vitae

Currently, I am working for Saas team under Bing Platform in Microsoft, China.
Before that, I was a research scientist in SCIS, SMU (Singapore Management University), Singapore,
a research fellow in ISTD, SUTD (Singapore University of Technology and Design).
I got my PhD degree from SUTD, and my Bachelor degree from Nankai University, China.

During my early academic exploration years, I had great honors to be supervised by Prof. Sun Jun (SUTD, Singapore, currently at SMU, Singapore).
I also had a wonderful experience when visiting Prof. Su Zhendong (UC Davis, US, currently at ETH Zurich, Switzerland)

Education Background

Research Interests

Software Verification, Programming Languages, System Security, Artifitial Intelligence

My primary research focuses on the correctness of software systems, including but not limited to
classic computer programs, smart contracts and artificial intelligence systems. I also have a broad
interest in both the theoretic and practical aspects of software analysis, testing and verification.
My vision is to develop new theories and pratices to help practitioners build trustworthy and high-
quality software systems.

I welcome all the collabration from academia and industrials. Send me an email if you are interested.



Professional Services

Supervised/Co-supervised Students