成员介绍

王生原
Wang, Sheng-Yuan

职称	副教授
电子邮件	wwssyy@tsinghua.edu.cn
电话	86-10-62794240

通信地址	清华大学计算机系软件技术研究所, 100084

研究兴趣
	A 编译新技术 (灵活后端构造,确认式编译,动态编译) B 分布/并发软件系统 (建模,构造，语言及语义) C Petri网理论与应用

个人简历

A 2001年8月至今，清华大学计算机系软件研究所，任副教授；1987年2月至1998年8月，兰州大学计算机系，先后任助教（1987年），讲师（1990年），副教授（1996年）
B 2001年7月，获理学博士学位，北京大学计算机系,论文题目：并发面向对象建模的多级Petri网方法 [PDF]；1987年1月，获工学硕士学位，西北电讯工程学院计算机系，论文题目：并发性和非确定性的一种分支流指称语义；1984年7月，获工学学士学位，太原工学院电子工程系计算机专业，毕设题目：快速傅立叶变换及其应用(地震数据的处理、频谱图输出及分析)
C 发表论文15篇,承担或参与各类项目10余项(省部奖两项)

近期论文（2001-2004）

王生原，杨良怀，袁崇义，杨萍. 并发面向对象中的继承反常现象. 软件学报, 2002, Vol.13,No.6., 1148-1154. [PDF]
Wang Shengyuan, Yu Jian, Yuan Chongyi. A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. Journal of Computer Science and Technology, 2001,Vol.16, No.5, 418-425. [PDF]
Wang Shengyuan, Yu Jian, Yuan Chongyi. A Net-based Multi-tier Behaviour Inheritance Modeling Method. PERSPECTIVES OF SYSTEM INFORMATICS, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Lecture Notes in Computer Science 2244,D. Bj??rner, M. Broy, A. Zamulin (Eds.), Springer-Verlag, 2001,279-286. [PDF]
王生原，喻坚，袁崇义. 用加标的基本网系统设计群件编辑器. 第8届全国Petri网学术会议论文. 计算机科学,Vol.28, No.7, 增刊, 2001, 51-59. [PDF]

近期书目（2001-2004）
	张素琴，吕映芝，王生原，编著. 编译原理课程辅导. 北京: 清华大学出版社, 近期出版. 袁崇义，王生原，余鹏，霍金健，译著. Petri网与系统工程：模拟、证明与应用指南. 北京: 电子工业出版社, 近期出版.

近期项目（2001-2004）
	Intel公司合作项目“OpenMP for C 2.0编译系统”前端. 国家863重点项目与清华大学985重点项目“32位高性能微处理器研制”开发工具与环境子项目(编译器、汇编器、调试器、应用开发集成环境). 清华大学第4批骨干人才资助计划，“面向交叉编译器构造的目标机描述”.

近期课程（2001-2004）
	形式语言与自动机（计99，计00，计01，计02，软件01）

教师学生已毕业学生前辈

个人资料研究兴趣个人简历近期论文近期书名近期项目近期课程