9月23日上午10点，奥地利约翰开普勒林茨大学Franz Winkler教授应我校邀请，为计算机学院师生作了题为“计算机代数与微分方程求解”的学术报告。报告会由计算机学院副院长汪剑鸣教授主持。

报告会上，Franz Winkler教授首先介绍了他在计算机代数与微分方程求解方向的研究近况，并与大家分享了一些先进的求解微分方程的方法。随后，他在报告中列举了一些非常有代表性的例子，以加深现场师生对微分方程求解的认识。Franz Winkler 教授表示，微分方程求解问题与计算机专业发展密切关联，通过该问题的研究，在一定程度上推动了计算机领域的发展。在互动环节，大家发言踊跃。对于师生的提问，Franz Winkler教授均做出了耐心细致的回答。

Franz Winkler教授是符号与代数计算、代数和微分消元理论、代数几何算法、自动推理与机器证明等领域的国际知名学者，由其任所长的奥地利符号计算研究所是符号计算领域的世界一流研究机构。他发表高水平学术论文80余篇, 撰写著作13部，主持、参与来自欧盟、奥地利科学基金委等的研究项目20项，指导博士生20余名。曾受邀到美国、英国、中国等进行学术交流访问20余次。现任多个顶级国际学术期刊的主编及编委，先后担任超过30个国际研讨会的大会主席和议程主席，受邀在国际学术研讨会、国内外著名高校作学术报告130余场。（编辑：宣传部 谢光勇）