徐揚(yáng)，博士，1956年9月生于河南, 1991年起任西南交通大學(xué)教授，1997年起任西南交通大學(xué)博士生導(dǎo)師，國(guó)家有突出貢獻(xiàn)的中青年專家，全國(guó)教育系統(tǒng)勞動(dòng)模范，“人民教師獎(jiǎng)?wù)隆鲍@得者, 四川省學(xué)術(shù)和技術(shù)帶頭人。

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

(1)邏輯代數(shù)

(2) 代數(shù)邏輯

(3) 不確定性推理

(4) 自動(dòng)推理

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

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

先后獲得省部級(jí)及以上各種獎(jiǎng)勵(lì)19次。

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

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

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

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

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

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

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

西南交通大學(xué)校長(zhǎng)助理。

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