Databend 优化器研发工程师，TiKV 项目 maintainer，Rust 社区贡献者。擅长编程语言类型系统和分布式事务。