上一篇 赵鉴
甄园宜 下一篇
北京中关村学院导师
I. 研究方向
软件、编译器与操作系统的智能化,科学计算领域的工业软件自主化。
II. 教育经历
2015-2019 南京理工大学 数学系 本科
2019-2022 筑波大学 计算机系 硕士
III. 工作经历
2022-2024 苏州同元软控
IV. 代表性学术演讲
1. Typed BNF: Backend-independent Semantic Actions (PPL 2022)
2. JIT for Dynamic Programming Languages Considered Easy (Lambda Days 2021)
V. 行业贡献
2022–2024年 主持科学计算领域国家项目断供级核心技术攻关,主导编译器团队建设,实现关键产业超百万行MATLAB代码全自动迁移(服务多家龙头企业)。