实验室成员

<%@ page contentType="text/html; charset=gb2312" language="java" import="java.sql.*" errorPage="" %> 实验室成员

ICCM实验室:目前有四个主要的研究方向，分别是是网格计算和应用、定理证明及其在形式化验证中的应用、网络数学教育（WME）、数学计算和数学定理证明。四个研究方向的基础是计算机数学和网络计算，围绕它们的理论研究和应用可以派生出各种的研究课题。
----基础研究是创新的源泉，只有坚持不懈地进行基础理论的研究，才能使实验室的生命力永不枯竭。

李廉：教授,1951 年出生。1982 年1 月兰州大学数学系代数学方向研究生毕业, 同年获硕士学位. 毕业后在兰州大学数学系任教。1986 年任副教授, 1990 年转入计算机科学系任计算机科学系主任, 1992 年任教授.1996 年被聘为博士生导师。1993 年至1998年任兰州大学副校长，1998 年任甘肃教育厅副厅长，2003年任兰州大学信息科学与工程学院院长，2004 年任兰州大学常务副校长。中计算机学会理论计算机科学分会副主任委员。主要研究方向为计算机数学和网络计算。先后4 次申请到国家自然科学基金面上项目, 1995 年至2002年参加吴文俊先生主持的“攀登计划”和“973 计划”项目“数学机械化与自动推理平台”的子项目研究，主要承担数学问题计算方法和相应软件的研究课题。近几年合作或独立发表核心期刊以上学术论文30余篇。目前指导6 名博士研究生。硕士研究生16 名。

实验室成员名单	组名	姓名	e-mail	备注
	无线自组织和高性能计算网络小组	詹建	flysmart@163.com	2003（博）
		常宝方	changbf05@lzu.cn	2005（硕）
		姜丽丽	jianglili@lzu.cn	2006（硕）
		石昌显	shichx06@lzu	2006（硕）
	数学网络计算MICE小组	刘礼	liliu03@lzu.cn	2005（博）
		杨裔	yy03@lzu.cn	2005（博）
		火久元	huoju@mail.lzjtu.cn	2004（硕）
		石万兵	shiwb05@lzu.cn	2005（硕）
		赵晨阳	zhaochy2005@lzu.cn	2005（硕）
		刘海迪	lhd01@st.lzu.edu.cn	2005（硕）
		蔡川	caichuan@lzu.edu.cn	2005（硕）
		林甲灶	jiazaolin_84@sohu.com	2006（硕）
		蒋蕾	jlei116@163.com	2006（硕）
		李莉	lilysprings@163.com	2006（硕）
	网络数学教育WME小组	苏伟	suwei@lzu.edu.cn	2006（博）
		李冠宇	ligy04@lzu.cn	2004（硕）
		赵燕娟	zhaoyj05@lzu.cn	2005（硕）
		景轲	jingke06@lzu.cn	2006（硕）
		张婷	zhangti1012@163.com	2006（硕）
	机器定理证明小组	李兵	limoxxuan123@163.com	2006（博）
		程应娥	cye@lzu.edu.cn	2004（硕）
		张洋	zhyang@lzu.edu.cn	2005（硕）
	形式化方法小组	赵锡英	zhaoty03@lzu.cn	2003（博）
	形式化方法小组	郑光	zhengguang@lzu.edu.cn	2004（博）
	其他成员	徐玉生	xuyusheng@lzu.edu.cn	2002（博）
		周睿	zhour04@lzu.cn	2006（博）
		陈文波	chenwb2lzu.edu.cn	2006（博）
		汪帆	fangwang@lzu.edu.cn	2006（博）
		林毋梦	linwumeng2163.com	2004（硕）
		何安平		2006（博）
		李彩虹	licaihong@lzu.edu.cn	已毕业
		刘莉	liulnd@lzu.edu.cn	2006（博）