About

I'm a Ph.D candidate in Tsinghua University, with research interest in the following fields.

• OS kernel related optimization / verification
• Device drivers
• Compiler design

---

I once participated in the Olympiad in Informatics (OI), with a silver prize in National Olympiad in Informatics 2014. I had a blog on OI, see here .