7月4日上午，我校94届校友、现为加拿大超威半导体公司高级工程师刘莉亚博士回母校为信息工程学院师生带来一场题为“形式化验证在IC设计中的应用”的学术报告。学术讲座由科技处处长贺翀教授主持。

学术讲座之前，贺处长向校友介绍了学校近来的发展情况。“今日的学校无论在办学规模上、办学条件上、还是教学科研成果上都有了长足的进步，尤其是今年的国家社会科学基金立项取得了建校以来最好成绩（1项重点项目和4项一般项目），在全国所有科研院校中进入200名”。贺处长对刘莉亚博士通过自身努力在国外分别获得了硕士、博士学位给予了赞扬，展示了邵阳学院学子自强不息、勇于进取的优异品质和精神风貌。贺处长也感谢广大像刘博士这样的校友心系母校，助力母校发展。刘博士为母校取得这么大的成绩感到高兴，感谢学校的培养，并表示愿意为学校的中外合作牵线搭桥。

随后，刘博士深入浅出地介绍了什么是形式验证方法？目前形式化验证三大类别，形式化验证应用领域，形式化验证的优点及面临挑战。会议尾声，刘博士详细解答了老师们提出的关于形式验证在本专业应用中所存在的问题。最后，黄国华副院长做了总结并希望老师们积极与企业靠拢，虚心学习企业先进文化，提高自身科研能力。

本次讲座是我校60周年校庆系列学术活动之一。报告会结束后，信息工程学院领导陪同刘博士参观了校园。

刘莉亚博士1991-1994年就读我校工业电气自动化专业，毕业后分配北京首都钢铁公司小型轧钢厂工作；1996-1999研究生就读于武汉测绘科技大学。研究生毕业后分配到中国航天科工集团二院二十五所工作，先后任工程师、技术带头人和研究室副主任；2006-2013年在加拿大Concordia University分别获得硕士和博士学位；现为是超威半导体公司（Advanced Micro Device）多伦多分部的高级工程师，PCIe设计团队形式化验证领域的领头人。她的主要研究兴趣包括形式化验证（formal verification）、马可夫链（过程）模型建模和机器学习等。

（信息工程学院 彭森）