个人简历

杨红丽，北京工业大学计算机学院副教授，2005年至2007年在北京大学数学学院信息科学系从事博士后研究工作，2004年在西北大学计算机系郝克刚教授指导下获软件理论专业博士学位，2002年至2003年在新加坡国立大学计算机学院作访问学者，2001年至2002年在联合国大学国际软件技术研究所（UNU/IIST）从事XML语言语义研究。

在研课题：
负责中科院软件所开放基金项目“Web服务编排语言的理论研究”
参与国家自然科学基金项目“Web服务编排与协作的形式化理论研究”
科研成果
完成项目情况：
曾参与完成863项目子课题“基于XYZ系统的宇宙飞船实时控制系统的逐步求精过程的描述与验证”（1998-2000）、国家自然科学基金项目“基于时态逻辑的形式化综合与验证”（1997-1999）和“Web服务组合语言的语义和验证研究”（2007-2009）。
主要成果：
已作为第一作者或合作者在重要国际会议、国内重要期刊发表论文30多篇；“数据库原理”课程的教学改革（第三参与人）获2003年陕西省教学成果二等奖；“数据结构”课程的教学改革与实践（第三参与人）获1999年陕西省教学成果二等奖；“基于时态逻辑的形式化综合”项目（第六参与人）获1999年西安市科技进步三等奖。

研究领域

软件工程、软件形式化方法、Web服务组合、业务流程管理等