6月1日，理论计算机科学知名专家、贵州大学计算机科学与信息学院院长、博士生导师、省管专家、省教学名师许道云教授应邀在我校宁静楼150教室为我校师生作了题为“分析中的可计算性”的学术讲座。

    理论计算机科学是计算机学科的核心领域，主要包括：①自动机论与形式语言理论②程序理论③形式语义学④算法分析和计算复杂性理论。许教授主要研究方向为计算复杂性、可计算分析。

    许教授从什么叫可算、2-型图灵机、可计算实数、命名系统、可计算拓扑空间、可容许命名系统、可计算函数、范例、应用等各个方面对分析中的可计算性进行了全面阐述和深入浅出的讲解。会场座无虚席，许教授精彩的报告赢得了全场阵阵热烈的掌声，使聆听讲座的师生受益非浅。

    讲座由数学与计算机科学学院主办，全校300余名师生聆听了讲座。