王喆       职称：其它 学历：博士    

徐保民      职称：副教授 学历：博士  办公电话：5168824

吴为民      职称：副研究员 学历：博士  办公电话：51683924 办公邮箱：wmwu@bjtu.e.cn 毕业学校：哈尔滨工业大学 个人简介： 吴为民：男，1966年8月生，博士，副教授。研究方向：数字系统设计自动化，嵌入式系统，形式验证。Email：wmwu@bjtu.e.cn电话：51688536目前的主要研究兴趣：数字系统的设计方法学。包括：1.嵌入式系统的软/硬件协同设计技术，2.系统芯片（SOC)的设计、验证、及测试技术。3.VLSI的划分、布局、布线、及综合技术。4.形式验证技术，包括可满足性（SAT）求解和基于SAT的模型检验技术。5.与以上技术相关联的图论算法、搜索算法、及优化算法。学历：1985,9－1989,7吉林大学计算机系系统结构专业本科。1989,9－1992,3哈尔滨工程大学计算机系计算机应用专业硕士。1992,4－1995,10哈尔滨工业大学计算机系计算机应用专业博士。1996,4－1998,4浙江大学机械工程与自动化系博士后。1998,4－2000,4清华大学计算机科学与技术系博士后。2000,4－2007,4清华大学计算机科学与技术系副研究员。2007,4至今北京交通大学计算机系副教授。研究经历：2000年以来主持的项目有（按先后顺序）：(a)博士后基金项目：时延和功耗双重驱动的标准单元模式集成电路布局设计。(b)骨干人才支持计划项目（清华大学）：性能驱动甚大规模的布局技术。(c)985项目（清华大学）：成品率驱动的掩膜自动矫正和验证技术的研究。(d)国家自然科学基金项目：面向RT级电路的分级模型判别技术。(e)国家863项目：网络处理器芯片设计与原型，与清华大学网络所合作。(f) 国家自然科学基金项目：RTL电路的混合可满足性求解和模型检验。另外，作为研究人员参加了:973项目(超大规模集成电路计算机辅助设计算法与高性能软件)，985重点项目(清华大学)：软/硬件协同设计自动化的理论与技术，863项目：SOC软/硬件协同设计技术研究，国家自然科学基金重大研究计划:多目标自适应粒度的系统划分与接口综合算法研究，国家自然科学基金重点项目：SOC设计的关键技术研究及传导语音SOC实现，973项目：高效率的处理芯片设计、验证与测试。发表论文：共合作发表论文70余篇。所涉及的研究内容包括数字系统的物理设计、综合技术、SOC软硬件协同设计、形式验证等。合作出版：边计年，薛宏熙，苏明，吴为民，数字系统设计自动化（计算机科学与技术学科研究生系列教材），清华大学出版社，2005年7月。 

王志海老师办公地点:计算机学院北502室电话：86-10-51683859简介:王志海，博士，教授，博士研究生与硕士研究生导师，男，1963年10月出生学历：

王移芝老师 基本信息 姓名：王移芝性别：女出生年月：1953.6民族：汉毕业院校：哈尔滨工业大学职称：教授职务：计算机基础教学

王瑞平 汉族籍贯：山西毕业院校：天津大学最后学历：博士后（清华大学）最后学位：博士（天津大学）职称：副教授Email:rpwang@bjtu.e.cn

王奇志      职称：副研究员 学历：博士  办公电话：51688

徐杰商品流通概论、采购学、流通管理学；研究领域采购管理；物流管理工程；物流网络。科研项目近年来。主持和参与的物流管理和企业管理领域的研

王耀球主讲研究生课程：主讲《市场营销学》主讲《商品交易理论与实务》主讲《物流学导论》研究领域主要研究方向为物流管理理论及方法论流通管理基础理论的研