石海鶴

石海鶴，女，1979年生，中國科學院軟體研究所博士，江西師範大學計算機信息工程學院副教授，碩士研究生導師，2013年9月至2014年3月在美國Southern Illinois University訪學並被聘為客座副教授。

科研課題

主持承擔2項在研國家自然科學基金課題，主持完成2項江西省自然科學基金課題，2項江西省教育廳科技研究項目，主持完成的課題成果獲江西省高等院校優秀科技成果三等獎，作為主要成員先後參與了4項國家自然科學基金項目、1項973基礎研究項目、1項科技部國際科技合作項目以及5項省部級項目，在《計算機學報》、《軟體學報》、QSIC2010等國際國內學術刊物和國際學術會議上發表學術論文30餘篇，其中SCI/EI論文20餘篇。

研究方向

主要研究方向為自動軟體工程，模型驅動式軟體開發，軟體的構造和演化，軟體形式化方法。