Researcher at the System Intelligence Group, Beijing Academy of Artificial Intelligence (BAAI), contributing to KernelGen. Focused on automated Triton operator synthesis and engineering applications, building an open-source high-performance operator ecosystem, and exploring full-process techniques from automatic generation to performance optimization and formal verification.