吴尽昭人物简介,广西有什么好的大专

吴尽昭人物简介

吴尽昭教授是一位学术背景深厚、经验丰富的计算机科学专家。他在北京交通大学和中科院成都计算所担任博士生导师，并在多个学术组织中担任要职，例如教育部高校教学指导委员会计算机科学与技术分委会委员、中国数学会计算机代数专业委员会委员及四川省专家评议委员会委员。他同时也是国家自然科学奖励评审专家和科技部863及国际合作项目的评审专家。

自1994年起，吴尽昭的学术生涯正式开始。在中科院系统科学研究所获得理学博士学位后，他于1994年至1996年在北京大学进行博士后研究。1997年至2005年，他在德国的Max-Planck计算所和Mannheim大学计算机系工作，积累了丰富的国际科研经验。自2001年起，他回到中科院成都计算所担任研究员和博士生导师，并且领导IC验证工程中心。

在教育领域，2007年，他晋升为北京交通大学的教授，继续指导计算机软件与理论专业的博士研究生。2009年，他转任广西民族大学副校长，继续施展他的教育管理才能。吴教授的研究方向主要集中于高效能、高可信计算及推理理论与工具，涵盖符号计算、自动推理、形式化方法等领域，成果斐然，包括发表103篇学术论文、出版3部专著、获得6项软件著作权以及申请3项专利。

在科研项目方面，吴尽昭积极承担国家自然科学基金、863、973等国家级与省部级项目，指导了14名博士研究生顺利毕业。他的学术成就得到了国际认可，曾荣获德国“马普学会奖学金”和中科院“百人计划”及国家“新世纪百千万人才工程”的国家级人选等荣誉。他也被评为“四川省学术和技术带头人”，并享受国务院政府特殊津贴。

扩展资料：吴尽昭，男，汉族，1965年10月出生，中共党员，现任广西民族大学副校长、中科院成都信息技术有限公司研究员，兼任计算机科学家与数学家。

广西民族大学学报的自然科学版

刊名：广西民族大学学报（自然科学版）

刊期：季刊

创刊时间：1995年

主办单位：广西民族大学

主编：吴尽昭

执行主编：黄祖宾

编辑出版：广西民族大学学报编辑部

印刷：广西区党委办公厅凤凰印刷厂

国内统一刊号：CN 45-1350/N

国际标准刊号：ISSN 1673-8462

国内总发行：南宁市邮政局

国外总发行：中国国际图书贸易总公司

国内邮发代号：48-96

国外代号：4765Q

国内定价：10.00元

《广西民族大学学报（自然科学版）》创刊于1995年，旨在传播自然科学研究的新成果，特设科技史、计算机技术、数学研究、物理与化学化工等专栏，尤其注重科技史研究。该期刊受到国内外重视，历年来获得多项认可，并被多个国际和国内数据库收录。投稿需明确研究问题和创新点，受理信息亦详尽列明。

广西有什么好的大专

广西的优质大专院校包括：桂林航天工业高等专科学校、柳州医学高等专科学校、南宁师范高等专科学校、桂林师范高等专科学校和广西警官高等专科。

桂林航天工业高等专科学校位于尧山风景区，侧重于工科，目标是培养应用型人才。

柳州医学高等专科学校是唯一的全日制医学高专，环境优美，注重培养医学人才。

南宁师范高等专科学校位于崇左市，拥有两个校区，致力于培养师范专业人才。

桂林师范高等专科学校环境宜人，是教育工作的好选择。

广西警官高等专科是广西公安厅直属的正规化公安学校，以培养公安人才为目标。

桂林航天工业高等专科学校介绍：该校设有多学科的公办本科专业，是广西唯一有航空航天本科专业的学院，已被认定为新工科研究与实践项目，并积极参与多个学术及技术联盟。