共找到302條詞條名為張偉的結果 展開

張偉

遼寧大學計算機系系主任

張偉,1962年8月23日出生,遼寧大學計算機系系主任。

人物簡介


1962年8月23日生,工學博士。現任遼寧大學計算機系系主任。

研究方向


主要研究興趣集中於:人工智慧理論、數理邏輯、協議工程、軟體工程,並在人工智慧搜索理論中取得了一些成果,所提出的“學習式搜索”理論得到國內同行專家好評,被認為是人工智慧搜索理論中的一個新的研究分支(見《計算機科學》1991.2期洪家榮教授的評述)。

發表論文


1987年—1995年期間,共在國外期刊/會議、國內期刊/會議上發表論文三十餘篇,其中有 《Engineering Applications of Artificial Intelligence》(英國國際期刊)的論文,IEEE SMC'88,IEEE TENCON'93, ICYCS'95(國際青年計算機會議)等國際會議的會議論文、《計算機學報》,《自動化學報》,《通信學報》等國家一級學術期刊的論文等,還獨自完成了編著《符號邏輯與定理機器證明》。一九九零年被聘為遼寧省制約邏輯學會秘書長,一九九三年被聘為中國機器學習學會理事;一九九一年被聘為國家級學術期刊《控制與決策》的固定審稿人和《計算機學報》的非固定審稿人,一九九三年被聘為《遼寧大學學報》編委。