10月22日上午10时，著名数学家、原陕西师范大学校长、博士生导师王国俊教授应邀来我校为数学系和计算机系的老师和研究生作了一场题为《模型检验理论基础》的精彩学术报告。
在报告会上，王国俊教授先介绍了模型检验的定义和迁移系统，然后对线性时态逻辑和计算树逻辑进行了详尽的解释，紧接着又将两者的公式做了全面的比较，最后给出了CTL模型检验和LTL模型检验的具体思路。报告完毕，王教授一一回答了在场师生提出的问题，大家都感到受益良多，拓宽了学术视野，廓清了许多疑惑。
王国俊教授长期从事教学和数学研究工作，是国家级有突出贡献的专家，在国际数学界享有盛名，在国内外重要学术期刊上发表论文200余篇，在科学出版社等出版学术著作6部，在“模糊推理理论”、“拓扑学”等方面的研究做出杰出贡献，2000年获美国“科学信息研究所(ISI)”颁发的“经典引文奖”（北京）。王教授曾先后在美国加州大学、伊利诺伊大学和佛罗里达大学，日本的明治大学、筑波大学，韩国的延世大学，比利时的安特卫普大学等20余所国外大学讲学。曾任中国模糊系统学会副理事长，陕西省数学会理事长，陕西师范大学校长等职务。曾获教育部优秀成果奖，曾宪梓教育基金一等奖，陕西省科技进步一等奖等奖项十余次。
