Jiaying Li

PhD Candidate
Information Systems Technology and Design
Singapore University of Technology and Design

Address: 1.314, 8 Somapah Rd, Singapore, 487372
Tel: (+65)91327556
Email: lijiaying1989@gmail.com
Curriculum Vitae

Education Background

Research Interest

In general, my research interest lies in program analaysis, programming language and software engineering.

Currently I am working on the topic to find loop invariant for a given program with loops in it, which stays at the heart of program verification area.

I am also interested in machine learning and operating system topics.

Publications

Projects (dev@jiaying.li for supports)