报告名称：区块链金融科技系统研发报 告 人：裴庆祺 教授报告时间：2020年12月11日 16：30-18：00报告地点：B5-301报告人介绍：裴庆祺，男，1975年5月生，博士，教授，博士生导师，综合业务网理论与关键技术国家重点实验室（ISN）成员，西安电子科技大学区块链应用与评测研究中心主任，2011年入选教育部新世纪优秀人才支持计划。主要从事认知网络与数据安全、信息系统安全防护、无线网络物理层安全等领域的研究，，主持并参与了...
2020-12-10
报告名称：可公开验证审查的电子投票系统报 告 人：刘雪峰 副教授报告时间：2020年12月11日 15：00—16：30报告地点：B5-302报告简介：投票是社会生活中群体达成统一共识的重要途径，具有广泛的应用价值。个体票据内容隐私、票据格式可审查、群体票据可正确技术，是电子投票系统的本质需求。区块链系统的数据内容不可篡改特性，为电子投票系统提供一个可信公告板用于存储投票历史记录，以支持任意时刻的公开审查策略。然而，区...
2020-12-10
报告名称：大数据与人工智能报 告 人：鲍亮 副教授报告时间：2020年12月11日 9：00报告地点：B5-301报告人介绍：鲍亮，男，工学博士。2006年在西安电子科技大学计算机学院获得工学硕士学位后留校担任软件学院教师。2010年获得工学博士学位，2011年被聘为副教授和硕士生导师，2013年被聘为软件学院院长助理。自2006年起开始从事软件工程和分布式计算方面的研究，目前主要研究方向包括云计算技术、大数据问题、软件工程、软件体系...
2020-12-10
报告名称：生物分子网络的评估、推断和动态分析报 告 人：黄晓太 讲师报告时间：2020年12月10日 8：30报告地点：B5-301报告人介绍：黄晓太，博士；2016年获得香港城市大学工学博士学位；2011年获得西北农林科技大学工学硕士学位；2008年获得西北农林科技大学工学学士学位。报告简介：生物分子间的相互作用，如蛋白质与蛋白质相互作用、蛋白质与DNA相互作用、蛋白质与小分子相互作用以及在遗传上的基因互作等，在生物体的新陈代...
2020-12-08
报告名称：形式化方法在信息安全中的应用报 告 人：付玉龙 副教授报告时间：2020年12月9日 10：00报告地点：B5-302报告人介绍：付玉龙，博士，副教授，研究生导师。本科及硕士毕业于哈尔滨工业大学，博士毕业于法国波城大学。2014年加入西安电子科技大学至今。分别于2016年和2018年短期出访澳大利亚迪肯大学和芬兰阿尔托大学。主要研究方向为网络安全、数据安全以及形式化安全证明。报告简介：形式化安全方法利用一阶或高阶逻辑...
2020-12-08Copyright © 版权所有 陕ICP备05016463号 
陕公网安备61019002002681号 技术支持：信息网络技术中心 西安聚力
