12月8日上午,应bat365正版唯一官网邀请,华东师范大学史文君博士作了题为“基于Coq的量子电路和量子程序的验证”的学术报告,报告在求本楼B403会议室进行。报告会由学院副院长葛斌主持。
![](/__local/9/9B/A3/BA9EF125162C6FEDA23C0414D1F_F9DE9119_24A04.jpg)
报告会现场(摄影 朱序)
报告会上,首先,史文君博士介绍Coq的基本原理和特点、Coq在计算机科学中的重要作用,随后,她系统阐述采用Coq进行量子电路设计的技术。最后,深入浅出地解释了量子验证的方法,并展示了其在量子计算、量子通信等领域的前沿应用。报告的主要内容涵盖了量子验证的理论基础、实验验证方法和未来发展趋势。史文君博士分享了自己在量子验证领域的研究成果,并探讨了在实践中可能遇到的挑战和解决方案。
与会者不仅获得了对量子验证的深入理解,还与讲者进行了深入的讨论和交流。报告结束后,参与者们积极提出问题,讨论了量子验证技术在信息安全、量子加密等方面的应用前景,为现场氛围增添了浓厚的学术氛围。
史文君,华东师范大学软件工程专业博士,主要研究方向为形式化验证、自动推理、概率程序/量子程序分析、量子编译等。参与国家自然科学基金项目4项,发表SCI论文5篇。
(撰稿、核稿:我院 朱序、葛斌)