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