硕士生导师
个人信息Personal Information
学历：博士研究生毕业
学位：工学博士学位
学科：计算数学. 应用数学. 运筹学与控制论
所在单位：数学学院
联系方式Other Contact Information
通讯/办公地址 :
办公室电话 :
邮箱 :
报考该导师研究生的方式
欢迎你报考吴贯锋老师的研究生，报考有以下方式：
1、参加西南交通大学暑期夏令营活动，提交导师意向时，选择吴贯锋老师，你的所有申请信息将发送给吴贯锋老师，老师看到后将和你取得联系，点击此处参加夏令营活动
2、如果你能获得所在学校的推免生资格，欢迎通过推免方式申请吴贯锋老师研究生，可以通过系统的推免生预报名系统提交申请，并选择意向导师为吴贯锋老师，老师看到信息后将和你取得联系，点击此处推免生预报名
3、参加全国硕士研究生统一招生考试报考吴贯锋老师招收的专业和方向，进入复试后提交导师意向时选择吴贯锋老师。
4、如果你有兴趣攻读吴贯锋老师博士研究生，可以通过申请考核或者统一招考等方式报考该导师博士研究生。
个人简介Personal Profile
本硕就读于河南大学计算机学院，2012年进入中科院遥感与数字地球研究所学习（联合培养），2014进入西南交通大学信息学院攻读博士学位，2019年毕业留校工作。主要研究方向为AI-计算视觉，自动推理、形式化验证。
近5年，以一作和通讯作者发表期刊和会议论文近10篇，主研中央军委科技委H863项目1项，省部级项目1项，国家自然科学基金项目2项，企业横向课题2项。主持国家自然科学基金青年基金项目一项，校级项目2项。
2018年提交的SAT求解器获国际SAT问题竞赛MainTrack组亚军(团队奖)。
2021年提交的SAT求解器获国际SAT问题竞赛Crypto组亚军，Parallel组第三名(团队奖)。
团队成员Research Group
团队名称：系统可信性自动验证
团队介绍：系统可信性自动验证国家地方联合工程实验室，系统可信性自动验证团队。