2023年4月28日上午，计算机学院 “大师讲堂”邀请了ACM Fellow、欧洲科学院外籍院士、美国威斯康星大学麦迪逊分校计算机系讲席教授Thomas W. Reps进行题为《CFLOBDD：Context-Free- Language Ordered Binary Decision Diagrams》的学术报告。本期“大师讲堂”以线下线上结合形式进行，同时在燕园校区和昌平校区开设了两个分会场，并通过bilibili平台进行全程直播，线上线下合计超过200名观众。本次讲座由重点实验室张昕老师主持。
本次学术报告介绍了“CFLOBDD”，一种全新的适用于模型检查、路径分析、量子模拟等多领域的数据结构。Reps教授详细地介绍了这一数据结构的研究起源、设计思路、性能证明与应用效果。
CFLOBDD是在二分决策图（Binary Decision Diagram，BDD）的基础上改进而来，适用于对于函数、关系、矩阵、图等多种数据结构的压缩表示。但相比传统的BDD表示，CFLOBDD在最优情况下能够减少指数级的空间占用，进而在进行数据结构间操作时，大大减少计算时间。尽管存在一定额外开销，但在应用于超大数据结构时，由于高度压缩的特性，CFLOBDD的性能远超传统的BDD结构。因此，CFLOBDD在量子模拟等领域有着极为成功的使用效果。
之后，参会的老师、同学以及直播观众都与Thomas W. Reps教授进行了深入的讨论。
最后，主持人张昕老师对Thomas W. Reps教授的精彩分享与线上线下观众的积极参与表示感谢，希望大家对计算机学院主办的“大师讲堂”系列讲座以及其他学术交流活动保持关注。
