|
Profile:
先后在2006、2012年，于西安电子科技大学计算机学院获得工学学士、工学博士学位。
主要从事EDA软件，可信软件，规划与智能推理等领域的研究工作。
以第一/通讯作者在国际/国内期刊Theoretical Computer Science，IEEE Transactions on Reliability, IEEE Transactions on Intelligent Transportation Systems, Journal of Combinatorial Optimization, Mobile Networks and Applications, 中国科学-信息科学，软件学报等发表论文30余篇。
主持国家自然科学基金青年基金项目1项，面上项目1项。作为骨干成员参与多项国家自然科学基金重点项目、总装十一五和十二五预研项目，973项目等。
担任中国计算机学会高级会员、CCF形式化方法专委会委员、IEEE会员、中国人工智能学会会员等职务。
Education Background
Work Experience
Research Focus
- 程序和芯片设计的形式化验证（Formal Verification）：时序逻辑（Temporal Logic）时序逻辑程序设计（Temporal Logic Programming）定理证明（Theorem Proving）模型检测（Model Checking）运行时验证（Runtime Verification）
- FPGA-EDA软件开发：逻辑综合，工艺映射，打包，布局布线，位流生成
- 智能规划（AI Planning）与自动推理（Automated Reasoning）