杨红丽

发布时间:2016-11-8 11:00:32

杨红丽,北京工业大学计算机学院副教授,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: 13718741932E-mail: yhl.yang@gmail.com

Copyright © 2015-2016 www.bjut.edu.cn lnc.ALL Rights Reserved
北京工业大学 版权所有