球友会

学校主页 | 学院信箱 | 公众号
首页|学院概况|学科专业|师资队伍|教学工作|科研工作|实验实训|党建工作|团学工作|工会工作|就业校友|政务公开|招生工作
 
球友会举办“基于Coq的量子电路和量子程序的验证”学术报告
2023-12-09 19:06  

12月8日上午,应球友会邀请,华东师范大学史文君博士作了题为“基于Coq的量子电路和量子程序的验证”的学术报告,报告在求本楼B403会议室进行。报告会由学院副院长葛斌主持。

报告会现。ㄉ阌 朱序)

报告会上,首先,史文君博士介绍Coq的基本原理和特点、Coq在计算机科学中的重要作用,随后,她系统阐述采用Coq进行量子电路设计的技术。最后,深入浅出地解释了量子验证的方法,并展示了其在量子计算、量子通信等领域的前沿应用。报告的主要内容涵盖了量子验证的理论基础、实验验证方法和未来发展趋势。史文君博士分享了自己在量子验证领域的研究成果,并探讨了在实践中可能遇到的挑战和解决方案。

与会者不仅获得了对量子验证的深入理解,还与讲者进行了深入的讨论和交流。报告结束后,参与者们积极提出问题,讨论了量子验证技术在信息安全、量子加密等方面的应用前景,为现场氛围增添了浓厚的学术氛围。

史文君,华东师范大学软件工程专业博士,主要研究方向为形式化验证、自动推理、概率程序/量子程序分析、量子编译等。参与国家自然科学基金项目4项,发表SCI论文5篇。

(撰稿、核稿:球友会 朱序、葛斌)

关闭窗口
Copyright ? 球友会 All Rights Reserved
地址:安徽省淮南市泰丰大街168号 邮编:232001 电话:0554-6668255(8255) E-mail:jsjx@aust.edu.cn
球友会 - 安卓/ios苹果/电脑版【3.80.56版下载】