Revision as of 03:12, 8 December 2017

2016 to present. PhD student. University of Illinois at Urbana-Champaign, USA

2015 to 2016. Research assistant. Singapore University of Technology and Design, Singapore

2014 to 2015. Teaching assistant. Birmingham City University, UK

2010 to 2014. Undergraduate student. Peking University, China

Research Interests

I hold a general interest in mathematics and computer science, and that is part of the reason why I am focusing on
formal methods.

I am currently working on an automated theorem prover for the matching logic. The ultimate goal is to have a powerful prover that takes best use of existing general purpose SAT/SMT solvers, and outperforms against popular solvers in specific domains (for example, separation logic provers). I keep updating my research progress in my research diary. I also include many reflections, comments, ideas and thoughts that come to my mind now and then.