徐揚，博士，1956年9月生于河南, 1991年起任西南交通大學教授，1997年起任西南交通大學博士生導師，國家有突出貢獻的中青年專家，全國教育系統(tǒng)勞動模范，“人民教師獎章”獲得者, 四川省學術(shù)和技術(shù)帶頭人。

所屬教研室：系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室。

(1)邏輯代數(shù)

(2) 代數(shù)邏輯

(3) 不確定性推理

(4) 自動推理

先后承擔科技項目30余項（其中主持國家自然科學基金項目11項， 國際科技合作項目3項，國家部委項目5項）。先后在國內(nèi)外雜志和學術(shù)會議上獨立或合作發(fā)表學術(shù)論文627篇（先后被SCI收錄64篇，EI收錄151篇，ISTP收錄140篇；SCI收錄論文累計被引用407次）；在國（境）內(nèi)外合作出版著作9部（其中德國Springer出版1部，法國ATLANTIS PRESS/新加坡World Scientific出版1部，中國科學出版社出版1部，中國臺灣再版1部）。研究成果被中國大陸和中國臺灣、美國、日本、韓國、意大利、丹麥、波蘭、捷克、比利時、芬蘭、英國、伊朗等20多個國家和地區(qū)的千余學者大量引用或跟蹤研究。 先后應邀到國（境）內(nèi)外多所大學、研究機構(gòu)講學或合作研究，并被聘請為客座教授。

先后培養(yǎng)博士后11人（已出站7人，轉(zhuǎn)其他國家2人），博士生51人（畢業(yè)41人），碩士生30人（畢業(yè)（含碩博連讀）24人）。

先后獲得省部級及以上各種獎勵19次。

國家自然科學基金項目，基于矛盾體分離的動態(tài)自動演繹推理研究（國家級）國家自然科學基金項目，基于格值邏輯的a-n(t)元歸結(jié)自動推理研究（國家級）部級重大科技專項，無線電智能監(jiān)測網(wǎng)絡系統(tǒng)研發(fā)（省部級）國家自然科學基金項目，組織The 9th international FLINS conference on foundations and applications of comutation intelligence（國家級）國家自然科學基金項目，基于格值邏輯的語言值a-廣義歸結(jié)自動推理研究（國家級）國家自然科學基金項目，基于格值邏輯的語言真值歸結(jié)自動推理研究（國家級）國家自然科學基金項目，參加The 5th internatioal fuzzy logic and intelligent technologies in nuclear science confrence（國家級）國家自然科學基金項目，基于格值邏輯的不確定性推理研究（國家級）國家自然科學基金項目，格蘊涵代數(shù)中的模糊LI-理想的研究（國家級）國家自然科學基金項目，基于格值邏輯系統(tǒng)的模糊控制及應用研究（國家級）國家自然科學基金項目，交替給總模糊神經(jīng)網(wǎng)絡控制系統(tǒng)的研究（國家級）國家自然科學基金項目，抽象模糊邏輯的研究（國家級）

徐揚, Contradiction separation based dynamic multi-clause synergized automated deduction, , 2018 ( SCIEI)徐揚, Non-clause multi-ary a-generalized resolution calculus for a finite lattice-valued logic, 期刊論文, 2018 ( SCI)徐揚, Multiary a-resolution principle for a lattice-valued logic, 期刊論文, 2013 ( SCI)徐揚, Lattice-valed matrix game with mixed strategies for intelligent decision support, 期刊論文, 2012 ( SCI)徐揚, Determination of a-resolution in lattice-valed first-order logicLF(X), 期刊論文, 2011 ( SCI)徐揚, Some Views on information fusion and logic based approaches in decision making under uncetaity, 期刊論文, 2010 ( SCI)徐揚, On the consistency of rule bases based on lattice-valued first-order logic LF(X), 期刊論文, 2006 ( SCI)徐揚, Rule acquisition and adjustment based on set-valed mapping, 期刊論文, 2003 ( SCI)徐揚, Fuzzy reasoning based on generalized fuzzy if-then rules, 期刊論文, 2002 ( SCI)徐揚, a-resolution principle based on firest-order lattice-valued logic LF(X), 期刊論文, 2001 ( SCI)

西南交通大學任教（1982.01助教，1985.09-1986.06河南大學基礎數(shù)學專業(yè)碩士研究生課程班進修，1986.07講師，1989.12副教授，1990.09應用數(shù)學專業(yè)碩士研究生導師，1991.11教授）。

西南交通大學智能控制開發(fā)中心主任、教授、碩士研究生導師。

西南交通大學科研處處長、工會副主席、智能控制開發(fā)中心主任、教授、碩士研究生導師山東省膠州市委副書記（掛職）。

西南交通大學應用數(shù)學系主任、智能控制開發(fā)中心主任、教授、博士生導師、碩士生導師。

四川省內(nèi)江市副市長（掛職），分管發(fā)改委。

西南交通大學校長助理。

四川省信息產(chǎn)業(yè)廳副廳長、黨組成員、教授、博士生導師、碩士生導師。