买球新万博-买球万博-买球网站manbetx
硕士生导师

  本学科研究方向一带头人吴尽昭博士、教授。北京交通大学、中科院成都计算所兼职博士生导师;1997年获德国“马普学会奖学金”,2000年入选中科院“百人计划(国外引入杰出人才)”,2004年国家“新世纪百千万人才工程国家级人选”,2005年“四川省学术和技术带头人”,2006年获国务院政府特殊津贴专家,2010年入选“广西优秀专家”。长期从事高效能高可信计算与推理理论与工具的研究和开发,研究领域涉及符号计算、自动推理、复杂并发系统设计与分析。近年来主持国家自然科学基金、863、973子课题等国家、省部级科研项目10余项。在《中国科学》、《Acta Informatica》、《ISSAC》、《ICFEM》国内外学术刊物和国际会议发表研究论文130余篇,其中SCI、EI收录80余篇,出版专著3部,获得软件著作权6项,申请专利3项。该方向研究成果处于国际领先水平。

   

   本学科研究方向二带头人周永权博士、教授。2002年入选为首批“广西高校百名中青年学科带头人”;广西民族大学“计算机科学与技术”一级学科带头人。主持完成国家自然科学基金项目1项 ,省、部级科研项目6项。目前主持国家自然科学基金1项;国内外核心学术刊物和国际会议发表学术论文200余篇,出版学术专著1部(独著);其中80余篇学术论文被SCI、EI收录;其结果被他引近400篇次。其研究成果“代数神经网络与泛函网络理论及其学习算法研究”获2010广西自然科学奖三等奖(排名第一)。

窗体底端