所在地：安徽合肥市 入职年份： 资料待完善 学历： 硕士 毕业院校： 资料待完善
从事领域 资料待完善
擅长能力 1、智能感知与计算优化2、量子系统软件3、程序分析与软件安全
女，计算机软件与理论博士，副教授。ACM 中国操作系统分会秘书长、ACM中国计算机科学教育分会常务理事，CCF系统软件专委常务委员、教育专委常务委员、形式化方法专委委员，教育部高等学校计算机类教学指导委员会计算机系统专家委员会委员。
研究方向：程序设计语言、操作系统与并行计算，特别是结合新兴大型应用(如自动驾驶、智能物联网)与新兴计算平台(如异构计算平台、量子计算平台)的编程框架、系统优化、软件分析与安全等。以系统软件与软件安全的研究为根基，致力于让软件在研发上变得容易，在硬件上变得可行、可靠和高效。现阶段主要研究：
1）针对自动驾驶车载算力受限、感知任务复杂多样、实时性极高等需求，探索CPU/GPU协同的编译和并行优化技术，研究多感知任务的协同并行、同质任务的细粒度并行以及结合时空域相关性的高效连续感知。
2）在嘈杂中型量子(NISQ)时代，针对不同量子系统(超导、离子阱等)的差异、量子计算特征及硬件限制，探索量子系统抽象模型、经典与量子混合编程模型及编译优化技术，构建量子算法到量子系统运转的桥梁。
3）针对AI、量子等领域软件多语言代码(如前端为Python或JavaScript等、后端为C/C++)协同共存的普遍性，探索跨语言程序分析与验证技术，研究复杂软件理解、缺陷识别与修复的方法和工具。