各位获得推免资格的同学,我院的国家“****”专家刘志明教授开始招收2018年研究生!
除在西南大学招生外,也在南航招硕博研究生 (http://www.graduate.nuaa.edu.cn)
刘教授师从周巢尘院士,是海内外知名的软件工程专家,在软件形式化方法领域有深厚的造诣。他与周巢尘院士、何积丰院士及海外同仁合作在基于模型转换的实时与容错系统设计和验证、概率时序逻辑、以及面向对象和基于构件与服务系统架构的设计和精化理论等方面做了杰出的工作。
刘教授在海外有近三十年的工作经历,积累了丰富的国际国内合作交流资源。回国一年多来,领导建立的软件研究与创新中心已经发展成有11名(教授、副教授、讲师和博士后)科研与研究生指导的交叉学科团队,聘请了9名海内外兼职教授(每年至少在中心工作1个月)。
2016年和2017年,中心已经拿到了国家自科面上项目一项、重点项目一项、青年基金三项,国家科技支撑计划子课题一项和重庆市的科研基金。
目前领衔有重庆长安新能源、华东师大和联方云天参与的中德国际合作重大项目(总预算达675万,国拨300万)已顺利通过答辩,正在等待中德政府间协商最终批准,还有与重庆长安汽车联合申请的重庆产业重大研发计划(总经费3000万,国拨500万)在评审待批。中心科研经费充足,目前中心科研经费超过1160万元,同时海外人脉很广,能为研究生提供更好的海外发展机遇和经费资助,中心现有3名博士研究生、9名硕士研究生和数名本科生。
欢迎推免生报考! 当然,也欢迎复习考研的同学报考南航和西南大学刘志明教授。
(编辑: 西南大学软件研究与创新中心 刘波)