錢振江[常熟理工學院計算機科學與工程學院副院長]

錢振江[常熟理工學院計算機科學與工程學院副院長]
錢振江[常熟理工學院計算機科學與工程學院副院長]
更多義項 ▼ 收起列表 ▲

博士,碩士生導師,現任常熟理工學院計算機科學與工程學院副院長,江蘇省計算機學會信息安全專業委員會秘書長,蘇州市人工智慧學會監事,蘇州市通信學會理事。

人物經歷

2013年9月畢業於南京大學計算機科學與技術系,獲博士學位。2013年度在倫敦大學國王學院進行博士後和合作研究。主要從事作業系統形式化方面的科學研究工作。在2008年主持獲批“江蘇省科技支撐計畫(工業部分)項目”;2011年入選江蘇省“六大人才高峰”高層次人才計畫;2012年主持獲批“Universities' China Committee in London(UCCL)基金項目”和“江蘇省高校自然科學研究基金”項目;2014年主持獲批“國家自然科學研究基金”項目和“江蘇省自然科學研究基金”項目,併入選蘇州市計算機傑出青年人才提名;2015年主持獲批“中國博士後科學基金”項目;2017年入選江蘇省高校“青藍工程”優秀青年骨幹教師培養對象;2018年入選江蘇省第五期“333工程”第三層次培養對象;2019年入選江蘇省高校“青藍工程”中青年學術帶頭人培養對象。

研究方向

信息-物理融合系統(CPS)、作業系統安全、形式化方法和定理證明(Theorem Proving)。

相關詞條

熱門詞條

聯絡我們