报告人：荆瑞娟 博士

工作单位：加拿大西安大略大学

报告时间：7月15日下午3点

报告地点：学院一楼报告厅

报告摘要: The polyhedral model plays an important role in the computer sciences, especially the complier optimization framework for the analysis and transformation of affine loop nests. This talk will briefly introduce the mathematical problem in parallel computing, and then talk about how to solve problems in polyhedral model, like minimal representation, enumerating integer points of a polyhedron.

报告人简介：

荆瑞娟，2018.03 – 至今 博士后 加拿大西安大略大学，计算机科学学院；

2012.09 – 2017.12 硕博连读 中国科学院数学与系统科学研究院 ，机械化重点实验室

应用数学计算机代数方向，导师：高小山研究员

论文题目：广义 Hermite 标准型与线性不等式组的整数解

2016.09 – 2017.08 访问学生 加拿大西安大略大学，计算机科学学院

高性能并行计算及计算机代数方向，导师：Marc Moreno Maza 教授

2008.09 – 2012.07 本科 河南大学，数学与信息科学学院，应用数学。