CCIAPCB智能合约安全验证研究组成立杨霞博士受聘首席专家

2017-09-21 2875

中国通信工业协会区块链专业委员会（CCIAPCB）

智能合约安全验证研究组成立

杨霞博士受聘首席专家

超飞巨英基石区块链快讯，近日，著名智能合约安全验证研究专家、电子科技大学年轻副教授、博士后杨霞女士受邀担任中国通信工业协会区块链专委会“智能合约安全验证研究组”首席专家、项目牵头人，何超秘书长交流沟通并转达王军主任委员的感谢。杨霞博士对协会高度认可和赞誉，期待在智能合约安全验证研究方面展开深入实质合作，双方就未来研究组工作方式、成果应用和对接政府合作等方面达成共识。

电子科技大学杨霞副教授简介

1997-2001年保送就读于电子科技大学的学士，2001年保送攻读电子科技大学硕士，2004年硕士毕业后留校并保送攻读博士学位，2010年获得电子科技大学计算机科学与技术专业博士学位；2012年评为副教授。2014年被中电30所特聘为信息安全专家。本人热衷于研究生和本科生的培养，连续3年所指导的研究生全部获得一等奖学金或国家奖学金。

自1999年9月开始至今先后从事嵌入式系统及应用开发（包括嵌入式Linux应用开发和安全增强、Android系统应用开发与安全增强）、高可信嵌入式操作系统（包括安全关键嵌入式实时操作系统的安全增强、自主研发嵌入式安全操作系统、移动终端安全增强和隐私保护）、嵌入式虚拟化技术研究、区块链技术及其可信验证、安全系统形式化验证方法和理论等方面的研究。自 2012年7月至今作为电子科技大学计算机科学与工程学院.信息与软件学院的副教授。2011-2014年加入四川长虹科技股份公司博士后工作站从事博士后研究； 2014年1月到美国UI大学的Center for Secure and Dependable Systems国家重点实验室从事一年的学术访问，从事安全系统的形式化验证方法和理论研究，目前与美国耶鲁大学合作开展安全操作系统（基于ARM Trustzone）的形式化方法研究。近几年在国内外SCI、EI期刊和国际会议上发表学术论文20余篇，其中SCI 二区期刊发表论文2篇。申请软件发明专利15项。获得省级科技进步奖1项。

主持或主研国家“核高基”重大专项2项、国防预研项目1项、863面上项目二项，省部级纵向和横向项目10余项，并长期与中电10所、29所、30所等在嵌入式系统及应用方面紧密合作。与四川长虹和北京航天科工二院706所建立联合实验室。

好文章需要您的支持

声明：

根据《中华人民共和国著作权法》及《最高人民法院关于审理涉及计算机网络著作权纠纷案件适用法律若干问题的解释》的规定，本网站声明：凡本网转载作品，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责，转载信息版权属于原媒体及作者。我们力所能及地注明初始来源和原创作者，如果您觉得侵犯了您的权益，请通知我们，我们会立即删除改正。如因作品内容、版权和其它问题需要同本网联系的，请在30日内进行。