郭麗娟(金陵科技學院助教)

郭麗娟，女，1986年12月生，金陵科技學院助教，2008年9月至2011年3月就讀於南京航空航天大學計算機科學與技術專業，期間，對基於即時驗證的構件化嵌入式軟體設計的分析與驗證技術進行研究，利用即時驗證（On-the-fly verification）方法對構件化嵌入式軟體設計模型的原型驗證工具T-CBESD進行擴展設計與實現。2009年9月至2010年4月在趨勢科技（中國）有限公司實習，參與防毒產品TIS的測試工作。2011年3月獲得碩士學位。2011年3月至2014年7月，就職於華為技術有限公司，參與融合通信解決方案的軟體開發工作，該解決方案已成功套用於中國移動彩雲項目。2014年7月入職金陵科技學院軟體工程學院。