个人信息Personal Information

学历：博士研究生毕业

学位：工学博士学位

学科：计算数学. 应用数学. 运筹学与控制论

所在单位：数学学院

联系方式Other Contact Information

通讯/办公地址 :

办公室电话 :

邮箱 :

同专业硕导

报考该导师

欢迎你报考吴贯锋老师的研究生，报考有以下方式：

1、参加西南交通大学暑期夏令营活动，提交导师意向时，选择吴贯锋老师，你的所有申请信息将发送给吴贯锋老师，老师看到后将和你取得联系，点击此处参加夏令营活动

2、如果你能获得所在学校的推免生资格，欢迎通过推免方式申请吴贯锋老师研究生，可以通过系统的推免生预报名系统提交申请，并选择意向导师为吴贯锋老师，老师看到信息后将和你取得联系，点击此处推免生预报名

3、参加全国硕士研究生统一招生考试报考吴贯锋老师招收的专业和方向，进入复试后提交导师意向时选择吴贯锋老师。

4、如果你有兴趣攻读吴贯锋老师博士研究生，可以通过申请考核或者统一招考等方式报考该导师博士研究生。

点击关闭

本硕就读于河南大学计算机学院（推免硕士）。2012年进入中科院遥感与数字地球研究所学习（联合培养），2014年6月获硕士学位，2014进入西南交通大学信息学院攻读博士学位，2019年毕业留校工作。主要研究方向为人工智能（多模态、大模型、计算视觉），自动推理、形式化验证。

近5年，以一作和通讯作者发表期刊和会议论文近20篇，主研中央军委科技委H863项目1项，省部级项目3项，国家自然科学基金项目2项，企业横向课题2项。主持自然科学基金青年基金项目1项，企业横向课题3项，校级项目3项，

2018年提交的SAT求解器获国际SAT问题竞赛MainTrack组亚军(团队2/4)。

2021年提交的SAT求解器获得国际SAT问题竞赛Pallel-UNSAT组第三名，Crypto组第二名（团队2/4）。

2021年西南交通大学第十届青年教师讲课比赛三等奖。

2023年国际SAT问题竞赛Main-SAT组第二名（团队2/4）

团队名称：体质健康大数据

团队介绍：四川省体质健康大数据中心团队

团队名称：系统可信性自动验证

团队介绍：系统可信性自动验证国家地方联合工程实验室，系统可信性自动验证团队。