LI Jiaying (李家营) @ Research


PhD

Email: lijiaying1989@gmail.com

Wechat: lijiayinghahaha

Curriculum Vitae

I got my PhD degree from SUTD, Singapore, and my Bachelor degree from Nankai University, China.
During my early academic exploration years, I was supervised by Prof. Sun Jun.
I had a wonderful experience when visiting Prof. Su Zhendong.

Research Interests

Programming Languages, Artifitial Intelligence

In recent years, I am spending most of my time to propose elegant theories and develop practical techniques to make formal verification more precise, more efficient and much easier to design, develop, debug, and apply.

Selected Publications

Preprints

Professional Services

Supervised/Co-supervised Students