名师简介
个人简介
侯晓荣研究员，男，1966年9月出生，山西临县人。1995年6月毕业于中国科学院成都计算机应用研究所，获理学硕士学位。现为宁波大学理学院信息与计算科学研究所所长、超级计算研究中心主任、数学学科带头人，浙江省高校中青年学科带头人，享受国务院政府特殊津贴，四川师范大学兼职教授、电子科技大学兼职博士生导师。 主要研究方向：数学的机械化和人工智能。近年来主持国家级项目5项、省部级项目1项，其他项目5项。目前承担国家“973”项目子课题“实几何与实代数的高效能算法”和国家自然科学基金项目“实代数实几何图形推理探索平台”的研究。先后在《中国科学》、《IEEE Transactions on Pattern Analysis and Machine Intelligence》、《Computers and Mathematics with Applications》、《the Mathematical Intelligencer》等学术刊物上发表论文50余篇，其中7篇被SCI收录。在数学自动推理及软件设计领域，获得了一系列创造性成果，其研究成果《锈规作图论》被《美国数学评论》评价为“大概是自19世纪以来几何作图领域中最杰出的成果之一”。
同校名师
网友关注
网友关注视频