题 目：人工智能&大数据前沿发展与形式化方法研究
主讲人：肖茵茵 副教授
时 间：12月8日（周五）下午6：50
地 点：校本部一教208讲学厅
主讲人简介：
肖茵茵，女，副教授，博士，广东技术师范学院计算机科学学院电子商务系系主任，计算机科学学院团总支副书记，广东技术师范学院“青年英才（教学）”。长期从事形式化方法和信息安全技术方面的研究与教学工作，多次指导学生参加创新创业比赛并获得省级国家级奖项。目前，主持广东高校优秀青年创新人才培养项目（育苗工程）1项、广东省创新强校工程1项，重点参与多个省级以上项目。在权威或核心期刊发表科研论文十余篇，多篇被SCI/EI检索。
内容提要：
1. 人工智能与大数据的发展现状与未来前景；
2. 人工智能与大数据的主流技术；
3. 形式化方法的研究及其应用；
4. 学生开展科学研究和创新性研究的基本方法。
