现任中科院计算技术研究所研究员,处理器芯片全国重点实验室副主任,是中科院计算所编程与编译方向的学术带头人。 长期从事面向国产处理器芯片的编译软件研究工作,在国产芯片编程语言、编译技术和系统软件方面取得了一系列的科研成果,发表包括ASLPOS、MICRO、PLDI、PPoPP、OSDI、SC、TOCS、TPDS、TACO等编译和系统领域的顶级国际会议和期刊上论文40余篇,先后担任PLDI、ISCA、PPoPP、SC、CGO、PACT等多个国际会议的程序委员会委员或外部审稿人,JCST青年编委。 先后承担科技部、自然基金委、jun委kjw等多项国家级项目,目前是2030新一代人工智能重大专项中某编程语言项目的首席。








