删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

兰州交通大学电子与信息工程学院导师教师师资介绍简介-周宁

本站小编 Free考研考试/2021-07-17


姓名
周宁
性别



出生年月
1979.9
职称
副教授

办公室
软件工程系

主讲课程
软件测试、Python程序设计

电话
**

Email
zhouning@mail.lzjtu.cn

简介
周宁,副教授,博士,硕士生导师。博士毕业于北京交通大学计算机科学技术专业,主持国家自然基金一项,广西混杂计算与集成电路设计分析重点实验室开放基金重点项目一项。参与包括国家自然基金面上项目,广西自然科学基金创新研究团队项目等国家级、省部级项目近十项,发表学术论文二十余篇,其中近十篇被SCI、EI检索。多次指导学生参加全国大学生数学建模竞赛、程序设计竞赛获得国家级奖项。目前主要研究方向为形式化方法及验证技术、自动推理技术及应用、人工智能等。

研究方向
形式化方法及验证技术、自动推理技术及应用、人工智能等。

科研项目
主持国家自然基金一项,广西混杂计算与集成电路设计分析重点实验室开放基金重点项目一项。参与包括国家自然基金面上项目,广西自然科学基金创新研究团队项目等国家级、省部级项目近十项。


相关话题/兰州交通大学 电子