• 2025考研復試伴學班
• 2025考研復試標準班
• 2026考研英語全程班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 北京工業(yè)大學2025考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

一、基本情況

楊紅麗：北京工業(yè)大學計算機學院副教授，2005年至2007年在北京大學數(shù)學學院信息科學系從事博士后研究工作，2004年在西北大學計算機系郝克剛教授指導下獲軟件理論專業(yè)博士學位，2002年至2003年在新加坡國立大學計算機學院作訪問學者，2001年至2002年在聯(lián)合國大學國際軟件技術研究所（UNU/IIST）從事XML語言語義研究。

二、主要研究方向

軟件工程、軟件形式化方法、Web服務組合、業(yè)務流程管理等

三、在研課題：

負責中科院軟件所開放基金項目“Web服務編排語言的理論研究”

參與國家自然科學基金項目“Web服務編排與協(xié)作的形式化理論研究”

四、科研成果

完成項目情況：

曾參與完成863項目子課題“基于XYZ系統(tǒng)的宇宙飛船實時控制系統(tǒng)的逐步求精過程的描述與驗證”（1998-2000）、國家自然科學基金項目“基于時態(tài)邏輯的形式化綜合與驗證”（1997-1999）和“Web服務組合語言的語義和驗證研究”（2007-2009）。

主要成果：

已作為第一作者或合作者在重要國際會議、國內(nèi)重要期刊發(fā)表論文30多篇；“數(shù)據(jù)庫原理”課程的教學改革（第三參與人）獲2003年陜西省教學成果二等獎；“數(shù)據(jù)結構”課程的教學改革與實踐（第三參與人）獲1999年陜西省教學成果二等獎；“基于時態(tài)邏輯的形式化綜合”項目（第六參與人）獲1999年西安市科技進步三等獎。

五、聯(lián)系方式：

Tel:13718741932

E-mail:yhl.yang@gmail.com