个人简介
2005年1月获中国科学技术大学计算机软件与理论博士学位。2010年10月—2011年10月在耶鲁大学计算机系进行访问研究。主持或参与科技部科技创新2030重大项目、国家自然科学基金、工信部项目、安徽省重点研发计划项目等纵向项目，主持华为、龙芯、阿里巴巴、蚂蚁金服、微软、Intel等企业创新合作项目。在学术期刊和国际会议上发表论文120余篇，获得国家发明专利授权13项、软件著作权6项，牵头制定安徽省地方标准1部，参与制定国家标准和ISO国际标准。出版编译原理和程序设计语言原理相关教材和配套参考书9本、合作翻译著作2本。
社会兼职
-
[1] 中国计算机学会(CCF)杰出会员、系统软件专委常委、教育专委常委
-
[2] ACM中国操作系统分会副主席、计算机科学教育分会常务理事
-
[3] 教育部高校计算机类教学指导委员会(2018-2022)计算机系统专家委员会委员
-
[4] 全国高等学校计算机教育研究会常务理事
-
[5] ISO/IEC JTC 1/WG 14量子计算工作组委员
其他联系方式
[1] 邮编：
[3] 通讯/办公地址：
[6] 邮箱：