10月24日下午4点,必赢官网“70周年校庆系列讲座”有幸邀请到了德国莱比锡大学Manfred Droste 教授。报告在必赢官网学术报告厅举行,院长李永明教授主持了本次报告,必赢官网部分相关专业的教师、各届博、硕士研究生参加了本次报告会。
Manfred Droste教授的报告题目为“Quantitative logics and automata”。量化模型与量化分析在计算机科学中的关注度不断提升,本次讲座的主要目的就是探讨量化自动机与量化逻辑。而加权自动机在许多领域被用于描述量化属性,如图像压缩,语音文本处理等。Manfred Droste教授介绍了加权自动机的发展历程,加权自动机的结构,并给出对应的逻辑,进而给出其语义解释,并将加权自动机和加权逻辑的等价关系加以证明。
在互动环节中, Droste教授和必赢官网师生用英语进行了很好的交流,并就一些问题进行了热烈的讨论。Droste教授深入浅出的讲解开阔了广大师生的学术视野,为我们在相关领域的研究提供了新的思路,增进了交流。