楊紅利，北京工業大學計算機學院副教授，2005年至2007年在北京大學數學學院信息科學系從事博士後研究，2004年在西北大學獲軟體理論專業博士學位，2002年至2003年在新加坡國立大學計算機學院作訪問學者，2001年至2002年在聯合國大學國際軟體技術研究所（UNU/IIST）從事研究。
基本介紹
- 中文名：楊紅利
- 職業：講師
- 職稱：副教授
- 事業單位：北京工業大學
主要研究方向：
1，Web服務組合的分析與驗證。
2，並行與網路計算。
3，形式化軟體工程方法。
4，程式語言理論。
在研課題：
1，中科院軟體所開放基金項目“Web服務編排語言的理論研究”。
2，國家自然科學基金項目“Web服務組合語言的語義和驗證研究”。
3，國家自然科學基金項目“Web服務編排與協作的形式化理論研究”。
科研成果：
參與完成國家自然科學基金1項。
參與完成863高技術計畫子課題1項。
在國內外學術刊物、重要國際學術會議上發表20餘篇論文，其中SCI、EI索引論文10篇。
