个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位
联系方式Other Contact Information

通讯/办公地址 :
办公室电话 :

邮箱 :





个人简介Personal Profile 本硕就读于河南大学计算机学院，2012年进入中科院遥感与数字地球研究所学习（联合培养），2014进入西南交通大学信息学院攻读博士学位，2019年毕业留校工作。主要研究方向为自动推理、形式化验证、并行计算。
近5年，以一作和通讯作者发表期刊和会议论文近10篇，主研中央军委科技委H863项目1项，省部级项目1项，国家自然科学基金项目2项，企业横向课题2项。主持校级项目2项，
2018年提交的SAT求解器获国际SAT问题竞赛MainTrack组亚军(团队奖)。


教育经历Education Background
工作经历Work Experience
暂无内容 暂无内容
研究方向Research Focus
形式化验证
自动推理
并行计算



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位

扫描关注




当前位置： 中文主页 >> 科学研究
研究领域
暂无内容

论文成果
暂无内容

专利
暂无内容

著作成果
暂无内容

科研项目
暂无内容





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位

扫描关注




研究领域 当前位置： 中文主页 >> 科学研究 >> 研究领域






Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位

扫描关注




论文成果 当前位置： 中文主页 >> 科学研究 >> 论文成果
共0条0/0







Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位

扫描关注




专利 当前位置： 中文主页 >> 科学研究 >> 专利
共0条0/0







Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位

扫描关注




著作成果 当前位置： 中文主页 >> 科学研究 >> 著作成果
共0条0/0







Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
学位： 工学博士学位

扫描关注




科研项目 当前位置： 中文主页 >> 科学研究 >> 科研项目
共0条0/0