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