LWLAymh
「拉瓦」 「xxm」
方才我称自己为暴吏，那是个大谎话
教育经历
- 北京大学信息与计算科学2024 ~ 至今
研究方向
程序语言 · 形式化方法 · AI Infra
实习经历
-
北京大学 程序设计语言研究室 胡振江老师程序验证相关北京 海淀2025-05 ~ 至今
-
腾讯公司 CDG企业发展事业群 商业Infra部AI Infra北京 朝阳2026-06 ~ 2026-09
-
北京大学 网络与高能效计算研究所 黄群老师流量工程相关北京 海淀2026-01 ~ 2026-07
学生工作
-
北京大学《数据结构与算法(B)》助教2026 春季学期
-
北京大学《计算机系统导论》助教2026 秋季学期
联系我
微信：LWLAymh