北工大計(jì)算機(jī)學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)導(dǎo)師介紹：楊紅麗

• 2025考研復(fù)試標(biāo)準(zhǔn)班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 北京工業(yè)大學(xué)2026考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

一、基本情況

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

二、主要研究方向

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

三、在研課題：

負(fù)責(zé)中科院軟件所開(kāi)放基金項(xiàng)目“Web服務(wù)編排語(yǔ)言的理論研究”

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

四、科研成果

完成項(xiàng)目情況：

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

主要成果：

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

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

Tel:13718741932

E-mail:yhl.yang@gmail.com