科大首页 | 高密计算机系

新闻投稿箱
学院概况
信息分享
更多
首页 >> 学院概况 >> 导师风采 >> 正文

胡强

作者:    来源:     发布于:2018-01-10 13:35    点击量:

 

胡强

 

 

导师姓名

胡强

性别

年龄

 

职称

讲师

学历(学位)

博士

所属院系

信息科学技术学院

导师类别

硕士生导师

行政职务

 

招生专业

计算机科学与技术

研究方向

软件形式化验证、服务计算

联系方式

huqiang200280@163.com

个人简历(包括近期科研项目)

1980年生,2014年毕业于山东科技大学大学,获工学博士学位,主要研究方向:软件形式化验证、服务计算。目前主持山东省重点研发计划项目和山东省优秀中青年科学家科研奖励基金各一项,参与国家自然科学基金两项。在《information sciences》、《计算机学报》以及《软件学报》等国内外重要期刊发表论文20余篇。