学术交流
1962年至1966年,在铁道科学研究院从事逻辑网络和可靠性理论学习与研究
1966年至1986年,铁道部科学研究院助理研究员、副研究员
1981年至1982年,美国纽约州立大学计算机科学系访问学者
1982年至1983年,美国斯坦福大学电气工程系和计算机科学系访问助理教授
1986年至1987年,美国科罗拉多州立大学计算机科学系访问教授
1993年1月至4月,美国伊利诺依大学交叉科学实验室,访问教授
1996年3月至6月,德国波茨坦大学,访问教授
1962年至1966年,在铁道科学研究院从事逻辑网络和可靠性理论学习与研究
1966年至1986年,铁道部科学研究院助理研究员、副研究员
1981年至1982年,美国纽约州立大学计算机科学系访问学者
1982年至1983年,美国斯坦福大学电气工程系和计算机科学系访问助理教授
1986年至1987年,美国科罗拉多州立大学计算机科学系访问教授
1993年1月至4月,美国伊利诺依大学交叉科学实验室,访问教授
1996年3月至6月,德国波茨坦大学,访问教授