刘波,工学博士,副教授,西南大学软件研究与创新中心(the Centre for Research and Innovation in Software Engineering, RISE)主任助理。主要研究方向: 模型驱动智能化软件工程、可信微服务与区块链系统等。参与国家自然科学基金重点项目、面上项目、国际合作项目3项,国家科技支撑计划项目1项;作为实际执行人及协调者(软件开发团队负责人)参与完成国家863计划重点项目(2006AA04A124)及科技部国家科技支撑计划重大项目(2006BAH02A16)各1项;主持重庆市自然科学基金面上项目1项,横向项目2项,发表SCI/EI论文20余篇,获重庆市科学技术成果2项。多次受邀成为International Journal of Production Research、International Journal of Advanced Manufacturing Technology、《软件学报》、FITEE(中国工程院院刊)、SETTA等期刊/会议审稿人。历任四届(2016~2019年)CCF形式化专委的两大旗舰培训班之一——可信软件工程国际春季学校(SETSS)组织委员会主席(Local Chair);担任形式化专委年会(FMAC 2018)、亚洲高级软件工程会议(AWASE 2017)等学术会议的组织委员会主席(Local Chair);获中国计算机学会颁发CCF YOCSEF 2017-2018年度优秀分论坛(重庆分论坛)学术秘书;澳大利亚迪肯大学访学期间,获“杰出教师奖(Excellent Teacher Award)”。
工作经历
-
西南大学
计算机与信息科学学院, 副教授, 2013-01至现在
教育经历
-
重庆大学
计算机科学与技术, 博士, 2010-03至2012-12
-
重庆大学
计算机系统结构, 硕士, 2008-09至2010-01
-
武汉大学
软件工程, 学士, 2000-09至2004-06