王勇
一、基本情况
王勇,男,山东临朐人,1974年6月生,副教授,硕士生导师。2006年1月毕业于北京航空航天大学计算机学院,获工学博士学位,2006年6月至今在北京工业大学计算机学院任教。2011-3~2012-3,美国伊利诺伊大学香槟分校计算机学院访问。
二、主要研究内容及方向
主要研究内容为并行与分布式计算方面的理论、关键技术与系统研制,在该领域具有20多年的研究经历。具体地,包括但不限于以下研究方向:
1. 并行计算理论:真并发的代数理论、扩展及其在系统验证中的应用;可逆计算的代数理论及其应用;量子进程代数理论及其在量子通信协议中的应用;并行博弈代数理论及其操作语义等。
2. 并行与分布式计算关键技术:对于近20年来并行与分布式计算领域的新兴计算模式有着较为深入的研究,包括面向服务的计算、网格计算、云计算、大数据系统与平台等。
3. 系统研制:先后承接20余项企事业单位委托的工程课题,有着较为丰富的工程开发经验和管理经验。
三、科研项目
近5年负责的部分科研项目包括:
1. 群体信任模型及其应用研究,北京市教委科技面上项目,负责人。
2. 可信计算若干关键技术机制的形式化验证, 北京市人才强教计划-服务北京中青年骨干培养项目,负责人。
3. 无线传感器网络技术标准体系研究,航天15所委托项目,负责人。
4. 多轴重型车辆虚拟试验运行环境与数据表现开发, 航天15所委托项目,负责人。
5. 车辆可见光目标特性模型快速生成及评估技术研究, 航天15所委托项目,负责人。
6. 起竖过程机电液压联合仿真模型封装,航天15所委托项目,负责人。
7. 车载信息系统融合设计研究, 航天15所委托项目,负责人。
8. 多轴重型车辆虚拟试验运行环境与数据表现开发, 航天15所委托项目,负责人。
9. 光电特征设计模型离散化方法研究,北京索为系统技术股份有限公司委托项目,负责人。
10. FPS全景红外周视上位机控制软件系统开发,首都科技创新券项目,负责人。
11. 地面目标战场可见光特征自适应隐身设计套件,首都科技创新券项目,负责人。
四、主要成果
1. 撰写和发表学术论文120余篇,教学研究论文8篇。
2. 申请和授权国家发明专利24项,软件著作权14项。
3. 编写4部教材,参与撰写1项国家标准,参与1项专著。
5篇代表作列表如下:
1. Yong Wang. Algebraic Laws for True Concurrency. https://arxiv.org/abs/1611.09035.
2. Yong Wang. A Calculus for True Concurrency. https://arxiv.org/abs/1703.00159.
3. Yong Wang. Truly Concurrent Process Algebra with Timing. https://arxiv.org/abs/1709.01217.
4. Yong Wang. Operational Semantics of Games. https://arxiv.org/abs/1907.02668.
5. Yong Wang. Reversible Truly Concurrent Process Algebra. https://arxiv.org/abs/1805.03575.
五、联系方式
1. 办公室:北京工业大学信息楼南楼508.
2. 电子邮件:wangy@bjut.edu.cn.
欢迎计算机及相关专业学生报考研究生。
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
北京工业大学学术硕士研究生导师教师师资介绍简介-王勇
本站小编 Free考研考试/2020-04-28
相关话题/学术 北京工业大学
北京工业大学学术硕士研究生导师教师师资介绍简介-徐旭东
导师简介 徐旭东一、基本情况徐旭东:副教授近年来,主持承担了《海洋地质信息系统组件模块开发》、《石油地质数表自动生成系统》等课题的研发;此二课题是中国海洋石油总公司重大科研项目《石油地质信息系统》的子课题。荣获中国海洋石油总公司(部级)科技进步二等奖。,二、主要研究方向:计算机软件,数字图像处理三、在研课题:四、科研成果五、联系方式:(E-mail:,Tel:)(O)** ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-杨红丽
一、基本情况杨红丽:北京工业大学计算机学院副教授,2005年至2007年在北京大学数学学院信息科学系从事博士后研究工作,2004年在西北大学计算机系郝克刚教授指导下获软件理论专业博士学位,2002年至2003年在新加坡国立大学计算机学院作访问,2001年至2002年在联合国大学国际软件技术研究所(UNU/IIST)从事XML语言语义研究。二、主要研究方向软件工程、软件形式化方法、Web服务组合、业 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-杨翠翠
杨翠翠,博士,讲师,硕士生导师,2017年毕业于北京工业大学获得计算机科学与技术专业博士学位,现在北京工业大学信息学部计算机学院工作。近两年来作为项目负责人承担了国家自然科学基金青年项目、北京市教委科技计划一般项目、中国博士后基金项目等5项国家和省部级科研项目;作为主要参与人参与了国家自然科学基金重点、面上项目、973专项子课题等项目。已在InformationSciences、Internati ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-禹晶
一、基本情况禹晶:博士,讲师,硕士研究生导师,北京市人,汉族。2000.09-2004.07在北京工业大学计算机学院计算机科学与技术专业本科毕业;2004.09-2007.07在北京工业大学计算机学院计算机应用技术专业学习、获硕士学位;2007.07-2008.08,汉王科技股份有限公司核心软件部,算法工程师;2008.09-2011.09清华大学清华大学电子工程系信息与通信工程专业学习、获工学博 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-杨新武
导师简介一、基本情况杨新武,博士,副教授。2003年于北京工业大学获得计算机应用工学博士学位。2003年至今在北京工业大学信息学部计算机学院工作。二、主要研究方向人工智能、机器学习、个性化推荐、智慧医疗、数据挖掘、演化计算和复杂网络。三、主要参加的科研项目国家基金重大研究计划培育项目:《非结构化管理决策大数据平台构建与关键技术》国家自然科学基金:《约束/归纳逻辑程序设计中的软计算研究》国家自然科学 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-张婷
基本情况张婷,博士,讲师,硕士生导师,中国计算机学会会员。2018年7月至今在北京工业大学信息学部计算机学院工作。主要研究方向图像处理、模式识别、深度学习科研项目主持国家自然科学基金青年基金、北京市朝阳区博士后基金等4项国家级地区级科研项目,横向课题1项。科研成果近五年发表有关深度学习方面研究论文13篇,作为主要参与人编写专著2本,参与申请专利6项。部分成果如下:李玉鑑;张婷;单传辉;刘兆英.深度 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-詹静
詹静导师简介一、基本情况1982年4月生,博士,硕士研究生导师,国际可信计算组织工作组成员,2009年12月毕业于武汉大学,获得工学博士学位(信息安全方向)。2008年8月至2009年12月在德国波鸿鲁尔大学访问、担任德国HGI研究所助理研究员,2010年至今在北京工业大学信息学部计算机学院工作。二、主要研究方向信息安全与可信计算、云计算安全、大数据安全、工业控制系统安全。三、教育教学主讲计算机网 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-张兴兰
一、基本情况张兴兰,女,1970年生,博士,教授,硕士生导师。北京大学理学博士,中国科学院从事博士后。2003年7月至今在北京工业大学计算机学院工作。二、主要研究方向:密码算法的设计与分析,密码协议形式化方法研究可信计算关键理论与技术信息安全评测量子密码免冠彩色近照三、在研课题:参与国家自然科学基金项目、863计划、973计划等多项科研项目。四、科研成果在国内外重要学术期刊和国际会议发表文章多篇。 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-张晓丹
基本情况:张晓丹,硕士生导师。中国科学院大学和香港城市大学计算机应用技术专业双博士学位。于2018年7月加入北京工业大学,主要进行包括计算机视觉、图像描述、医学报告自动生成等在内的人工智能领域关键技术理论和应用研究,目前在ACMInternationalConferenceonMultimedia、IEEEInternationalConferenceonComputerVision、IEEEIn ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28北京工业大学学术硕士研究生导师教师师资介绍简介-竹翠
导师简介一、个人简介 竹翠,女,1973年2月生,博士,副教授,硕士生导师。2006年毕业于日本筑波大学计算机科学专业,获工学博士学位;1999年毕业于北京航空航天大学机械电子工程学院,获硕士学位;1993年毕业于郑州轻工业学院自动控制系,获学士学位。1999年4月至今在北京工业大学计算机学院工作。二、主要研究方向 近年主要从事数据挖掘、异常点分析等方面的研究工作。三、科研成果 近年来参与了 ...北京工业大学教师导师 本站小编 Free考研考试 2020-04-28