个人简介
Personal Profile
曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目。曾在国内外学术杂志和会议上发表论文30余篇,7次获得省部级科技进步奖和教育部提名国家科学技术奖。随着系统软件、智能制造及物联网语境下的软件以及智能合约软件、芯片验证等需求的增长,国内业界对可信软件开发技术需求明显增长。本团队立足理论,面向应用,正在与一些大型企业开展相关合作,欢迎报考研究生的同学关注。我们希望能够帮助同学们成为专家,而不是码农。