學院教授/博導

*按姓氏拼音順序排列

 

姓名

職稱

研究方向

郵箱

蔡海濱

教授/博導

普適計算,物聯網/CPS,嵌入式軟件

[email protected]

曹桂濤

教授/博導

物聯網與智能技術、智能識別與決策系統、邊緣計算

[email protected]

曹珍富

教授/博導

數論,密碼學新理論,網絡安全新理論,云計算、云處理安全和隱私保護,大數據安全和隱私保護。

[email protected]

陳潔

研究員/博導

密碼學,信息安全。

[email protected]

陳銘松

教授/博導

物聯網、智能系統設計自動化,可信智能軟件,計算機體系結構,邊緣計算。

[email protected]

陳儀香

教授/博導

物聯網、實時協同規范語言設計、程序語義模型、軟件可信度量與評估。

[email protected]

鄧玉欣

教授/博導

并發理論,程序語義。

[email protected]

董曉蕾

教授/博導

數論、密碼學與網絡安全。

[email protected]

宮學慶 教授/博導 數據庫技術、分布式數據管理系統。 [email protected]

何道敬

教授/博導

網絡安全;傳感網安全;軟件安全;物聯網;通信安全;嵌入式系統安全;飛行器安全。

[email protected]

何積豐

教授/博導

高可信與信息安全理論、形式化方法、并發程序設計理論、嵌入式系統設計方法和工具、軟硬件混成系統協同設計、計算機軟件與理論。

[email protected]

李祥學

研究員/博導

車聯網安全,網絡安全,密碼學。

[email protected]

林學民

教授/博導

數據庫理論、算法與技術研究,時空數據和流數據的查詢、圖和文本的匹配查詢、不確定數據的概化查詢及圖數據可視化。

[email protected]

劉靜

教授/博導

可信軟件,模型驅動式軟件開發方法,面向服務的軟件架構。

[email protected]

蒲戈光

教授/博導

程序分析,軟件驗證,基于Web的工作流建模。

[email protected]

錢海峰

研究員/博導

計算機安全、信息安全與密碼學、計算機網絡安全、密碼理論與算法數論。

[email protected]

王高麗

教授/博導

密碼學與網絡安全

[email protected]

張磊

研究員/博導

信息安全,密碼學,無線網安全, 車載網安全,云計算安全, 隱私保護。

[email protected]

趙慧

教授

數據管理與分布式計算。

[email protected]

朱惠彪

教授/博導

高可信計算、形式化方法、形式語義及其連接、程序分析與驗證、進程代數。

[email protected]

朱明華

研究員/博導

無線傳感器網絡,嵌入式系統,無線通信,數字集成電路設計。

[email protected]

 
華東師范大學軟件工程學院
www.qyhrol.live Copyright School of Software Engineering
院長信箱:[email protected] | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
网上买重庆时时彩可以报警吗