主  讲  人： 刘莉亚

时      间： 2011.10.31（周一）下午 13:30

地      点： 北二区信息工程学院小会议室

主 办 单 位： 信息工程学院

主讲人介绍：刘莉亚，38岁，博士在读（Concordia University, Montreal, Canada），研究方向是形式化验证，目前研究课题是高阶逻辑中离散马可夫链的形式化。

内 容 介 绍：加拿大Concordia大学HVG课题组的成员和研究情况，高阶逻辑中离散马可夫链的形式化。