作者信息

清华大学计算机系副教授，长期从事程序设计语言、编译器、形式化验证等领域的教学和科研工作。多年主讲“编译原理”和“形式语言与自动机”两门核心课程。出版编译或形式化方法相关教材或译著5部。获国家教学成果奖二等奖（北京市一等奖）1次。发表论文近百篇，获多项发明专利和软著授权。近年主要从事安全攸关领域可信编译器的研发，相关工作在国内关键领域得到实际应用，获省部级科技奖一等奖3次，取得良好的经济和社会效益。,清华大学研究生院副院长，博士，副研究员。研究领域为操作系统、编译系统、基于语言的可信软件，近期主要关注利用云端计算资源对移动终端系统进行优化和分析。中国学位与研究生教育学会副秘书长、中国计算机学会系统软件专业委员会委员。,清华大学计算机系教授。中国计算机学会系统软件专委会委员。1970年毕业于清华大学数学力学系。从事计算机专业基础课“编译原理”的教学和程序设计语言设计与实现、编译与编译自动生成技术等方面的研究工作。作为主要负责人和主要承担者，完成多项国家自然基金、“八五”、“九五”、“863”科技攻关任务。发表学术论文多篇，主编《程序设计语言C》和《编译原理》教材2部，译著6部。,1935年11月出生山西大同，1955年由大同一中考入清华大学，1961年毕业留校任教，多年从事计算机程序设计语言的编译原理教学和科研工作。主持和参加并完成多个语言的编译系统和出口软件的语法分析器的自动生成工具。曾获清华大学教学优秀二等獎，编写的“编译原理实验教材”获清华大学第六届优秀讲义二等奖，研制的“编译原理辅助教学软件”获全国高等工业学校CAI三等奖。,清华大学计算机系教授，长期从事语言编译、数据库、软件复用和面向对象软件工程的教学工作。负责并承担过国家“863”、“六五”到“九五”等高科技攻关项目，以及其他横向项目，并完成多项与国外公司的科技合作及软件出口项目。在交叉编译系统、数据库、信息系统及环境工具等方面取得多项成果，并获得中国科学院及电子部的科技进步奖。在长期培养研究生的教学及科研中，对面向对象方法及面向对象软件构造方面有较深入的研究。