中国科学院数学研究所资深研究员，中国网络先驱，中国人民大学、中国地质大学、西南师范大学等高校兼职教授，参与我国汉译Ada军用程序语言标准制作。