時間：10月12日  15:50

       地點：信息工程學院會議室

       主講人：陳付龍

       主講人簡介：

       陳付龍，男， 1978 年生，安徽霍邱人，博士，教授，碩士生導師，安徽省學術和技術帶頭人后備人選。 現為安徽師范大學計算機與信息學院副院長，網絡與信息安全安徽省重點實驗室副主任。 2000年本科畢業于安徽師范大學并留校任教， 2005 年碩士畢業于西華師范大學， 2008-2010 年受國家留學基金委派遣在美國 Rice University 攻讀聯合培養博士研究生， 2011 年博士畢業于西北工業大學。 2015 年獲評教授。主要研究方向嵌入式計算和普適計算、 物聯網安全、信息物理融合系統。近年來主持國家自然科學基金項目、安徽省自然科學基金項目、安徽省科技計劃項目等科研課題 10 余項，發表學術論文 100 余篇，獲得 6 件發明專利、 13 件實用新型專利授權，登記 23 件軟件著作權。 主編、副主編教材 7 部。 2013 年獲安徽省教學成果獎三等獎 1 項（排名第 2）， 2015 年獲安徽省教學成果獎二等獎 1 項（排名第 5）。 2017 年被評為安徽省學術和技術帶頭人后備人選。

       主要研究領域：

       嵌入式計算和普適計算、 物聯網安全、信息物理融合系統

       報告內容概要

       信息物理融合系統是一個綜合計算、網絡和物理環境的多維復雜系統，通過計算、通信和控制實現物理設備或環境的實時感知和動態控制。如何使各類異構的組成部件有機地融合在一起？如何確認他們能有機地融合在一起協同工作？本次報告將圍繞這兩個問題，著重討論建模、描述、驗證等方面的工作。

       歡迎有興趣的老師、同學屆時前往。