1962年8月23日生，工學博士。現任遼寧大學計算機系系主任。
主要研究興趣集中於：人工智慧理論、數理邏輯、協定工程、軟體工程，並在人工智慧搜尋理論中取得了一些成果，所提出的“學習式搜尋”理論得到國內同行專家好評,被認為是人工智慧搜尋理論中的一個新的研究分支（見《計算機科學》1991.2期洪家榮教授的評述）。 1987年－－1995年期間，共在國外期刊/會議、 國內期刊/會議上發表論文三十餘篇，其中有 《Engineering Applications of Artificial Intelligence》(英國國際期刊)的論文，IEEE SMC'88，IEEE TENCON'93, ICYCS'95(國際青年計算機會議)等國際會議的會議論文、《計算機學報》，《自動化學報》，《通信學報》等國家一級學術期刊的論文等，還獨自完成了編著《符號邏輯與定理機器證明》。一九九零年被聘為遼寧省制約邏輯學會秘書長，一九九三年被聘為中國機器學習學會理事；一九九一年被聘為國家級學術期刊《控制與決策》的固定審稿人和《計算機學報》的非固定審稿人，一九九三年被聘為《遼寧大學學報》編委。
