1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號
北工大計算機學院計算機科學與技術導師介紹：楊紅麗
一、基本情況
楊紅麗：北京工業大學計算機學院副教授，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年西安市科技進步三等獎。
五、聯系方式：
Tel:13718741932
E-mail:yhl.yang@gmail.com
來源未注明“中國考研網\考研信息網”的資訊、文章等均為轉載，本網站轉載出于傳遞更多信息之目的，并不意味著贊同其觀點或證實其內容的真實性，如涉及版權問題，請聯系本站管理員予以更改或刪除。如其他媒體、網站或個人從本網站下載使用，必須保留本網站注明的"稿件來源"，并自負版權等法律責任。
來源注明“中國考研網”的文章，若需轉載請聯系管理員獲得相應許可。
聯系方式：chinakaoyankefu@163.com
- 2026考研英語全程班 6班
- 權威高配師資親授技巧，教研千錘百煉科學提分。直錄播課相結合精講互動二合一，專業團隊精細化作文批改。講練結合，隨學隨練穩步提升。支持試聽~
- 主講團隊：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人
北京工業大學考研
熱門課程
考研網課
考研資料
最新資訊
×關閉
掃碼關注
了解考研最新消息