二、研究方向包括但不限于如下领域 1. 软件工程形式化方法
澳门银河
拥有15名由教授、副教授、讲师、博士后组成的固定研究人员；中心还聘请有包括中科院院士、美欧知名高校教授/博士，已获得国家自然科学基金重点项目一项、面上项目一项、国际合作项目一项、青年基金项目三项。
聘期内，可根据学术委员会鉴定结果作为出站条件之一， 六、联系方式 地址：重庆市北碚区天生路2号西南大学计算机与信息科学学院1001 邮编：400715 联系人：刘波 联系电话：13658341865 联系邮箱： liubocq@swu.edu.cn 西南大学博士后出站条件