Experience
Education
Bio
清华大学计算机系教授,博士生导师。 1964.9-1971.9: 清华大学工程力学数学系, 助教 1971.9-1985.6: 电子工程系及计算机系, 助教、讲师,软件教研室副主任 1985.6-1994.11: 清华大学计算机系, 副教授、教授, 设计自动化教研室主任 1994.11-2009: 清华大学计算机系, 教授, 博士生导师, 设计自动化教研室主任 1999.9-今: 清华大学计算机系软件所, 责任教授 1985.1-1987.9:组织和参加国家经委重大科技攻关项目“集成电路CAD二级 系统”的研制,总设计师 1987.9-1991.4: 组织和参加《七五》《八五》国家攻关项目 “集成电路CAD三级系统”(熊猫系统), 总设计师、副总设计师 1991.4-1992.9,1993.6-1993.9: 美国加州大学Berkeley分校 访问学者 1994.6-1994.9: 美国加州大学Santa Cruz分校 访问学者 1995.6-1995.9: 美国加州大学Los Angeles分校 访问研究员