12月11日下午，圣地亞哥州立大學(xué)計算機科學(xué)系主任任尚蘋教授應(yīng)軟件學(xué)院邀請在翡翠科教樓A座第五會議室作了題為A Framework for Managing Unspecified Assumptions in Safety-Critical Cyber-Physical Systems 的學(xué)術(shù)報告。報告會由軟件學(xué)院院長楊學(xué)志教授主持，軟件學(xué)院和計算機與信息學(xué)院的相關(guān)教師、研究生到場聆聽并交流學(xué)習(xí)。
報告主要討論了安全關(guān)鍵型網(wǎng)絡(luò)物理系統(tǒng)中未指定的假設(shè)問題，并展示了減少未指定假設(shè)導(dǎo)致的故障的方法。報告引起了在座師生的濃厚興趣，在場師生與任教授就相關(guān)問題進行了積極和深入的討論，任教授針對師生提出的問題進行了耐心細致的解答。
任尚蘋，圣地亞哥州立大學(xué)計算機科學(xué)系的正教授和系主任。她于1997年獲得UIUC(伊利諾伊大學(xué)香檳分校)的計算機科學(xué)博士學(xué)位。她曾擔(dān)任過軟件工程師，主要研究興趣是網(wǎng)絡(luò)物理系統(tǒng)、實時調(diào)度和云計算領(lǐng)域，重點是改善網(wǎng)絡(luò)物理系統(tǒng)的安全性、軟件體系結(jié)構(gòu)和開發(fā)、資源約束下的系統(tǒng)可靠性分析、滿足可靠性的調(diào)度算法設(shè)計和期限要求以及云環(huán)境下的資源優(yōu)化。
