王昌晶

王昌晶， 博士，碩導，江西師範大學計算機信息工程學院教授。2010年畢業於中科院軟體所，研究方向為軟體形式化、可信軟體、需求工程、面向服務的計算。

人物簡介

畢業後到江西師範大學計算機信息工程學院、“網路化支撐軟體”國家級國際科技合作基地、中科院計算所與江西省共建的省高性能計算重點實驗室繼續進行研究工作。國家自然科學基金、江西省自然科學基金通訊評審專家，並擔任多個國際期刊的審稿人。中國計算機學會會員，美國ACM計算機學會會員。曾赴澳大利亞、美國做訪問學者。

科研簡介

近五年來，在國內外學術刊物上發表軟體形式化、可信軟體、需求工程方面的一級學報多篇，如軟體學報、電子學報、計算機研究與發展、清華大學學報、武漢大學學報、Lecture Notes of Computer Science、IEEE Compute Society等重要刊物，其中10餘篇被EI檢索。主持國家課題1項，省部級課題5項。參與國家級、省部級課題10餘項，包括國家自然科學基金重大國際（地區）合作與交流項目、科技部國際合作項目、國家重大基礎研究973計畫預研、國家自然科學基金自由申請項目、江西省自然科學基金項目、江西省教育廳科學基金項目等。

獲第五屆江西省高等學校科技成果二等獎, 第五屆江西省優秀教材二等獎。