◆ 個人簡歷
1957年至1962年,吉林大學數學系畢業1962年至1966年,在鐵道科學研究院從事邏輯網路和可靠性理論學習與研究
1966年至1986年,鐵道部科學研究院助理研究員、副研究員
1981年至1982年,美國紐約州立大學計算機科學系訪問學者
1982年至1983年,美國史丹福大學電氣工程系和計算機科學系訪問助理教授
1986年至1987年,美國科羅拉多州立大學計算機科學系訪問教授
1993年1月至4月,美國伊利諾依大學交叉科學實驗室,訪問教授
1996年3月至6月,德國波茨坦大學,訪問教授