LWLAymh

教育经历

• 北京大学信息与计算科学2024 ~ 至今

研究方向

程序语言 · 形式化方法 · AI Infra

实习经历

• 北京大学 程序设计语言研究室 胡振江老师程序验证相关北京 海淀2025-05 ~ 至今
• 腾讯公司 CDG企业发展事业群 商业Infra部AI Infra北京 朝阳2026-06 ~ 至今
• 北京大学 网络与高能效计算研究所 黄群老师流量工程相关北京 海淀2026-01 ~ 2026-07

联系我

邮件 · GitHub · 洛谷