张伟,1962年8月23日出生,辽宁大学计算机系系主任。

本页面主要目录有关于张伟的:人物简介、研究方向、发表论文等介绍

中文名

张伟

出生日期

1962年8月23日

国籍

中华人民共和国

民族

汉族

职务

辽宁大学计算机系系主任

人物简介

1962年8月23日生,工学博士。现任辽宁大学计算机系系主任。

研究方向

主要研究兴趣集中于:人工智能理论、数理逻辑、协议工程、软件工程,并在人工智能搜索理论中取得了一些成果,所提出的“学习式搜索”理论得到国内同行专家好评,被认为是人工智能搜索理论中的一个新的研究分支(见《计算机科学》1991.2期洪家荣教授的评述)。

发表论文

1987年—1995年期间,共在国外期刊/会议、国内期刊/会议上发表论文三十余篇,其中有 《Engineering Applications of Artificial Intelligence》(英国国际期刊)的论文,IEEE SMC'88,IEEE TENCON'93, ICYCS'95(国际青年计算机会议)等国际会议的会议论文、《计算机学报》,《自动化学报》,《通信学报》等国家一级学术期刊的论文等,还独自完成了编著《符号逻辑与定理机器证明》。一九九零年被聘为辽宁省制约逻辑学会秘书长,一九九三年被聘为中国机器学习学会理事;一九九一年被聘为国家级学术期刊《控制与决策》的固定审稿人和《计算机学报》的非固定审稿人,一九九三年被聘为《辽宁大学学报》编委。