-
楊紅麗
(北京工業大學計算機學院副教授)
鎖定
楊紅麗,北京工業大學計算機學院副教授。
- 中文名
- 楊紅麗
- 職 業
- 教師
- 任職院校
- 北京工業大學
- 職 稱
- 副教授
楊紅麗人物簡介
楊紅麗:北京工業大學計算機學院副教授,2005年至2007年在北京大學數學學院信息科學系從事博士後研究工作,2004年在西北大學計算機系郝克剛教授指導下獲軟件理論專業博士學位,2002年至2003年在新加坡國立大學計算機學院作訪問學者,2001年至2002年在聯合國大學國際軟件技術研究所(UNU/IIST)從事XML語言語義研究。
[1]
楊紅麗研究方向
軟件工程、軟件形式化方法、Web服務組合、業務流程管理等
楊紅麗在研課題
負責中科院軟件所開放基金項目“Web服務編排語言的理論研究”
參與國家自然科學基金項目“Web服務編排與協作的形式化理論研究”
楊紅麗科研成果
完成項目情況:
曾參與完成863項目子課題“基於XYZ系統的宇宙飛船實時控制系統的逐步求精過程的描述與驗證”(1998-2000)、國家自然科學基金項目“基於時態邏輯的形式化綜合與驗證”(1997-1999)和“Web服務組合語言的語義和驗證研究”(2007-2009)。
主要成果:
已作為第一作者或合作者在重要國際會議、國內重要期刊發表論文30多篇;“數據庫原理”課程的教學改革(第三參與人)獲2003年陝西省教學成果二等獎;“數據結構”課程的教學改革與實踐(第三參與人)獲1999年陝西省教學成果二等獎;“基於時態邏輯的形式化綜合”項目(第六參與人)獲1999年西安市科技進步三等獎。
[2]
- 參考資料
-
- 1. 北京工業大學計算機學院副教授 .北京工業大學計算機學院[引用日期2015-09-23]
- 2. 楊紅麗 .北京工業大學[引用日期2015-09-23]
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:8次歷史版本
- 最近更新: 沫沫MHT