删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
河北大学网络空间安全与计算机学院导师教师师资介绍简介-王猛 副教授
本站小编 Free考研考试/2020-10-11
王猛 副教授
所 在 系 信息安全
研究方向 软件形式化验证,代码级模型检测,运行时验证
办 公 室 C1-404
办公电话
电子邮件 电子邮件
个人主页 点击此处访问
个人简介 工作简历 教学情况 科研情况
2012年于西安电子科技大学毕业,并获工学学士学位。同年获免试直接攻读西安电子科技大学博士研究生资格,在导师段振华教授的指导下于2019年6月获得博士学位。
主要研究方向:时序逻辑、模型检测、运行时验证、高可信软件。
代表性成果:在IEEE Transactions on Reliability、Journal of Combinatorial Optimization等权威期刊和ICSE 2017、CSCWD 2014和CSCWD 2015等国际学术会议发表学术论文多篇。
相关话题/网络 河北大学
河北大学网络空间安全与计算机学院导师教师师资介绍简介-张寿华 副教授
张寿华副教授所在系网络工程系研究方向云计算、大数据、信息检索等办公室办公电话电子邮件电子邮件个人主页点击此处访问个人简介工作简历教学情况科研情况张寿华,男,副教授,硕士。2002年河北大学计算机软件专业毕业、留校任教。2005年河北大学计算机应用技术专业硕士毕业。目前在河北大学计算机科学与技术学院, ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学网络空间安全与计算机学院导师教师师资介绍简介-孟庆武 讲师
孟庆武讲师所在系网络工程系研究方向决策树办公室办公电话电子邮件电子邮件个人主页点击此处访问个人简介工作简历教学情况科研情况98年考入河北大学数学与计算机学院,02年毕业留校任教至今,讲授过数据库、数据结构、C语言程序设计、Java语言程序设计等课程。 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学网络空间安全与计算机学院导师教师师资介绍简介-常卓 讲师
常卓讲师所在系网络工程系研究方向计算机免疫、网络安全、大数据安全、分布式计算与并行处理、智能入侵检测、软件与理论办公室办公电话电子邮件电子邮件个人主页点击此处访问个人简介工作简历教学情况科研情况 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学网络空间安全与计算机学院导师教师师资介绍简介-魏勇刚 讲师
魏勇刚讲师所在系网络工程系研究方向数据挖掘办公室办公电话电子邮件电子邮件个人主页点击此处访问个人简介工作简历教学情况科研情况魏勇刚男1977年出生于河北省邯郸市。2002年6月毕业于河北大学计算机软件专业,获得工学学士学位。2002年7月留校工作。2009年6月毕业于河北大学计算机应用专业,获得工学 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学网络空间安全与计算机学院导师教师师资介绍简介-宋鑫 讲师
宋鑫讲师所在系网络工程系研究方向信息检索技术、大数据、数据库查询优化办公室办公电话电子邮件电子邮件个人主页点击此处访问个人简介工作简历教学情况科研情况1980年1月生人,2002年本科毕业,获得河北大学工学学士学位,现就读河北大学计算机应用专业研究生,研究方向是数据挖掘。为河北大学数学与计算机学院计 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学药学院导师教师师资介绍简介-闫宏远
闫宏远教授,博士生导师,河北省****基金获得者、河北省三三三人才工程人选、河北省高校百名优秀创新人才;现任中国医检整合联盟常务理事、河北省预防医学会副理事长、河北省检验检疫学会副理事长、河北省分析仪器技术学会副理事长、河北省健康学会常务理事、《中华疾病控制杂志》常务编委、《医学理论与实践》编委、河 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学药学院导师教师师资介绍简介-乔晓强
乔晓强,男,博士/教授,博士生导师,现任药学院副院长,河北省分析科学技术重点实验室副主任。是河北省****基金获得者,河北省青年拔尖人才,河北省高校百名优秀创新人才,入选河北省三三三人才工程。2005年本科毕业于河北大学环境科学专业,同年免试推荐进入中国科学院大连化学物理研究所攻读硕博连读学位,师从 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学药学院导师教师师资介绍简介-朱华结
朱华结,男,博士生导师,教授。1964年5月生于安徽省望江县九华村。1983年考入武汉大学化学系,并在1987年考上本校研究生。1990年毕业后在云南省化工研究院工作,从事天然香料等半合成研究。1993年考入中科院昆明植物所攻读博士研究生,师承周俊院士,并拜师香港科技大学戴伟民教授及昆明植物所郝小江 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学药学院导师教师师资介绍简介-宋亚丽
宋亚丽,女,博士,教授,硕士生导师,药物化学专业负责人。“一流本科专业”药学建设点负责人。1991年7月毕业于河北医学院药学专业,2003年6月获河北医科大学医学硕士学位,药物化学方向。2006年9月至2009年6月就读于河北大学分析化学专业有机波谱分析方向,获理学博士学位。2014年9月至2015 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11河北大学药学院导师教师师资介绍简介-胡连栋
胡连栋,男,中共党员,教授、博士生导师。1997-2005年在沈阳药科大学完成本科-硕士-博士连读课程,获药剂学博士学位。2013年入选首批“河北省青年拔尖人才”。现任河北大学药学院副院长,河北省药物质量研究重点实验室主任。兼任河北省高新技术企业认定评审专家、教育部药学学科评议专家、教育部、河南省、 ...河北大学师资导师 本站小编 Free考研考试 2020-10-11