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 : 计算机科学与技术(计算机软件开发)

Email :


Education Background

武汉科技大学       计算机科学与技术       大学本科毕业       学士学位

中国科学院大学/电子科技大学       计算机软件与理论       博士研究生毕业       博士学位

Research Focus

形式化验证、信息安全、故障预测

Work Experience

2019.10 -- Now

重庆交通大学      信息科学与技术学院      专业7级      计算机科学与技术系教师

2013.6 -- 2019.10

重庆交通大学      计算机科学与技术系      专业10级      重庆市

Personal Profile

刘洋,博士,副教授,博士毕业于电子科技大学和中国科学院大学,国家自然科学基金评审专家。主要从事形式化建模与验证、信息安全、容错控制方面的基础理论研究及工程实践。在中国科学院成都计算机应用研究所攻读硕士/博士期间,一直在从事自动推理、形式化验证、形式化建模、算法优化等方面的研究工作。主持国家自然科学青年基金项目1-车联网多源异构信息协同容错传输机制的形式化验证方法(61903053)”,主持省部级项目2项(重庆市教委青年科学研究项目-智能网联汽车系统的形式化建模与分析方法研究(KJQN201900702)”和重庆市教委项目-“智能公共交通调度需求模型的形式化验证方法研究(KJ1705121)”),同时,承担国家自然科学青年基金1项,承担省部级重点项目1项,一般项目3项。发表学术论文十余篇,其中被SCI/EI检索13篇。