首页| English| 中国科学院

研究生及博士后招生

副标题:

时间:2014-06-23  来源:数学机械化重点实验室

数学机械化重点实验室是国际知名的研究中心,主要从事数学机械化研究。实验室科研力量强,工作条件优越。导师包括吴文俊、万哲先、李邦河三位院士以及十几名青年科研人员。中心与国际上很多大学和研究所广泛开展学术交流、共同承担科研项目、共同培养学生。为有志于数学机械化研究的青年提供了良好的工作环境。

 

数学机械化是数学与计算机的交叉学科。它包括自动推理、符号计算、计算代数几何等研究理论研究方向领,同时面向信息安全、计算机辅助设计、软件设计等应用领域。实验室的研究生应该具有良好的数学修养,同时熟悉算法设计、计算机编程与信息领域应用问题。 

 

 

数学机械化重点实验室培养的研究生与博士后具有很好的就业机会,大部分可以在大学与研究机构工作。研究生与博士后也有很多出国进行学术访问与工作的机会。实验室培养的研究生与博士后高小山、李洪波、王东明、胡森、吴尽昭已经获得国家杰出青年基金或入选中科院百人计划与教育部长江学者。