共找到4條詞條名為楊紅麗的結果 展開
- 國家一級演員
- 河南農業職業學院教授
- 北京工業大學計算機學院副教授
- 新疆財經大學金融學院講師
楊紅麗
北京工業大學計算機學院副教授
楊紅麗，北京工業大學計算機學院副教授，2005年至2007年在北京大學數學學院信息科學系從事博士后研究工作，2004年在西北大學計算機系郝克剛教授指導下獲軟體理論專業博士學位，2002年至2003年在新加坡國立大學計算機學院作訪問學者，2001年至2002年在聯合國大學國際軟體技術研究所（UNU/IIST）從事XML語言語義研究。
軟體工程、軟體形式化方法、Web服務組合、業務流程管理等
負責中科院軟體所開放基金項目“Web服務編排語言的理論研究”
參與國家自然科學基金項目“Web服務編排與協作的形式化理論研究”
完成項目情況：
曾參與完成863項目子課題“基於XYZ系統的宇宙飛船實時控制系統的逐步求精過程的描述與驗證”（1998-2000）、國家自然科學基金項目“基於時態邏輯的形式化綜合與驗證”（1997-1999）和“Web服務組合語言的語義和驗證研究”（2007-2009）。
主要成果：
已作為第一作者或合作者在重要國際會議、國內重要期刊發表論文30多篇；“資料庫原理”課程的教學改革（第三參與人）獲2003年陝西省教學成果二等獎；“數據結構”課程的教學改革與實踐（第三參與人）獲1999年陝西省教學成果二等獎；“基於時態邏輯的形式化綜合”項目（第六參與人）獲1999年西安市科技進步三等獎。