Databend optimizer development engineer, TiKV project maintainer, Rust community contributor. Proficient in programming language type systems and distributed transactions.