北工大计算机学院计算机科学与技术导师介绍：杨红丽

• 2025完美·体育(中国)官方网站,WANMEI SPORTS英语全程班 早鸟3班
• 26完美·体育(中国)官方网站,WANMEI SPORTS全科上岸规划营「择校▪规划▪备考」
• 北京工业大学2025完美·体育(中国)官方网站,WANMEI SPORTS专业课复习资料「完美·体育(中国)官方网站,WANMEI SPORTS▪笔记▪讲义▪题库」

一、基本情况

杨红丽：北京工业大学计算机学院副教授，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