刘洋
  • 学 位 : 博士学位
  • 职 称 : 副教授
  • 学 科 : 计算机科学与技术(计算机软件开发)
  • 单 位 : 信息学院
毕业院校 : 电子科技大学/中国科学院大学
性别 :
出生年月 : 1984-10-24
学历 : 博士研究生毕业
在职信息 : 在职
联系方式 : liuyang13@cqjtu.edu.cn
电子信箱 :
获奖信息
共0条  0/0 
个人简介

  刘洋,博士,副教授,硕士生导师,中国人工智能学会终身会员,中国计算机学会会员, 博士毕业于电子科技大学和中国科学院大学,新加坡SMU-Singapore Management University(新加坡管理大学计算机信息系统学院-School of Computing and Information System)、新加坡NUS-National University of Singapore(新加坡国立大学)交流访问学者,主要从事形式化建模与验证、信息安全、人工智能、容错控制、自动编曲等方面的基础理论研究及工程实践。主持国家自然科学青年基金项目1项-“车联网多源异构信息协同容错传输机制的形式化验证方法(61903053)”,主持省部级项目3项(重庆市科委面上项目-“基于有色 Petri 网的车联网智能拥塞控制策略形式化验证方法研究(CSTB2023NSCQ-MSX0441)”、重庆市教委青年科学研究项目-“智能网联汽车系统的形式化建模与分析方法研究(KJQN201900702)”和重庆市教委项目-“智能公共交通调度需求模型的形式化验证方法研究(KJ1705121)”),同时,作为主要科研人员承担国家自然科学青年基金1项,国家社科基金1项,承担省部级重点项目2项,一般项目3项。发表学术论文二十余篇,其中被SCI/EI检索十余篇,申请国家发明专利5项,已授权1项。

(主要计划招信息安全方向、形式化验证方向、AI-编曲方向的研究生(优先考虑有乐理基础的学生),欢迎邮件咨询)


扫一扫用手机查看