Liu Yang

副教授   Supervisor of Master's Candidates

Gender : Female

Date of Birth : 1984-10-24

Alma Mater : 电子科技大学/中国科学院大学

Education Level : 博士研究生毕业

Degree : 博士学位

Status : Job

School/Department : 信息学院

Discipline : 计算机科学与技术(计算机软件开发)

Contact Information : liuyang13@cqjtu.edu.cn

Email :


Current position: Home >> Research Projects

total0   0/0 

Personal Profile

  刘洋,博士,副教授,硕士生导师,中国人工智能学会终身会员,中国计算机学会会员, 博士毕业于电子科技大学和中国科学院大学,新加坡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-编曲方向的研究生(优先考虑有乐理基础的学生),欢迎邮件咨询)