导师姓名：杨红丽
性别：
人气指数：66

所属院校：北京工业大学
所属院系：信息学部
职称：副教授
导师类型：硕导
招生专业：计算机技术、计算机科学与技术
研究领域： 软件工程、软件形式化方法、Web服务组合、业务流程管理等
研究领域： 软件工程、软件形式化方法、Web服务组合、业务流程管理等 [收起]




通讯方式 :
电子邮件：yhl.yang@gmail.com


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

科研工作 :
已作为第一作者或合作者在重要国际会议、国内重要期刊发表论文30多篇；“数据库原理”课程的教学改革（第三参与人）获2003年陕西省教学成果二等奖；“数据结构”课程的教学改革与实践（第三参与人）获1999年陕西省教学成果二等奖；“基于时态逻辑的形式化综合”项目（第六参与人）获1999年西安市科技进步三等奖。