My Chinese Website
Published:
Posts by Collection
portfolio
Compiler Testing Journey
Published:
publications
talks
Boosted Symbolic Execution for Software Reliability and Security
Published:
The main research topic I am quite interested in during my PhD study in SMU (see more details in slides).
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.