教授，博导。国家特聘专家。中国计算机学会杰出会员。
研究方向：
* EDA算法和软件开发研究：Verilog语法分析器、逻辑综合、模拟仿真、布局布线、形式化验证、硬件语言缺陷检查、高层综合
* IEC61131-3 PLC编程语言研究：结构化文本到C语言转换、结构化文本仿真、梯形图语言
* 基础软件开发: 深度学习编译器、工业软件、科学计算语言
* 形式化工程数学：形式化矩阵、形式化飞行控制、形式化机器人、微积分形式化、形式化量子计算
* 程序语言设计：函数式语言、领域专用语言、类型系统、Lambda演算、程序静态分析
* 集成电路：EDA、FPGA、算术电路形式验证、加密算法设计与验证、函数式硬件描述语言、Verilog语法分析器、体系结构描述语言和工具

在POPL，PPDP和Information and Computation，IEEE Transactions on Computer， IEEE Transactions on CAD, IEEE Transactions on Nanotechnology，软件学报等国内外顶级会议和杂志上发表多篇论文。曾在上海交通大学，澳大利亚南澳大学，美国波士顿大学，摩托罗拉EDA研发中心和航天科工工作。2013年10月入选国家特聘专家。出版专著《OCaml语言编程基础》。组织了计算机学会启智会“形式化工程数学”研讨会。