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