王颖
教师姓名:王颖
教师拼音名称:wangying
电子邮箱:
所在单位:信息学院
学历:博士研究生毕业
办公地点:C406
学位:博士
在职信息:在职
毕业院校:北京航空航天大学
所属院系:信息学院
其他联系方式
暂无内容
科学研究
研究领域
软件形式化方法,智能合约安全分析与验证
论文成果
专利
- 暂无内容
著作成果
- 暂无内容