Building databases, thinking in abstractions.

• GaussDB — Enterprise-grade multi-modal database management system.
• Infinity — The AI-native database built for LLM applications.

• Dify — Open-source platform for developing LLM applications.
• PGM-index — Learned index structures.
• xor_singleheader — Fast approximate membership filters.

C++ · C · Python

I read broadly—classics, history, philosophy, and science fiction.

Tsinghua University — Mathematics

Second Class Award, 2015 Chinese Mathematical Olympiad (CMO)