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

报告会现场（摄影 朱序）

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

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

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

（撰稿、核稿：计算机学院 朱序、葛斌）