在信息高速公路上攀登世界高峰的人——记国际著名计算机专家刘少英教授
我从故乡起步求学，又远涉重洋学成于海外，如今在事业上小有成就，虽身居异国他乡，但我时刻不忘故乡的养育之恩，不忘报效祖国。这些年，我多次回国讲学，进行学术交流，关注家乡和祖国的建设事业。我愿以我的所学为家乡的发展、为祖国的繁荣作出一位海外学子应有的贡献。 ——刘少英
手捧聘书的刘少英教授
本报记者 杨波海
2012年1月6日，上海软件中心评测重点实验室举行了客座教授聘请仪式。来自日本政法大学的刘少英教授被聘请为实验室客座教授，并作了专题讲座。这位刘少英教授，就是从咸阳走出的国际著名计算机专家。
求索与进取
成就他享誉世界的学术地位
1960年4月，刘少英出生于乾县城关镇高庙巷一个干部家庭。他天资聪明，勤奋好学，曾就读于乾县高庙巷小学、乾县二中，1978年至1987年就读于西安交通大学，先后获计算机软件学士学位、计算机科学硕士学位，因学业成绩优异，留校任计算机科学系助教、讲师。1989年至1992年就读于英国曼彻斯特大学，获计算机科学理学博士学位。其后担任英国约克大学和伦敦大学计算机系研究工作人员。1994年始任日本广岛市立大学信息科学部副教授。曾于1994年12月至1995年2月，受聘赴英国任北爱尔兰贝尔法斯特女皇大学特邀研究员。1998年12月至1999年2月，应邀赴英国作牛津大学访问教授。2000年4月，任日本东京法政大学信息科学部教授至今。2005年4月至2006年3月，应邀为英国约克大学访问教授，并出任国际IEEE计算机学会复杂计算系统技术委员会副主席。
刘少英致力于软件前沿探索，成绩卓著。他受邀进行的学术报告、学术活动，纵横亚、欧、美、澳四大洲，遍及中、美、英、德、澳等十多个国家，登上英国剑桥大学、牛津大学、法国巴黎大学、澳大利亚的Queensiand大学、中国科学院软件研究所、复旦大学、上海理工大学、中国地质大学、山东大学、中山大学等30多个名牌大学的讲坛。从2000年起先后被聘为上海交大、上海大学、西安交大、西安工程大学、西安科技大学的客座教授。他的《关于软件开发的形式化议程方法》、《软件开发的智能化软件工程环境》等多项研究课题的报告，受到同行业专家的赞誉，引起轰动效应。他参加国际性学术活动数十次，大多兼任要职。如20世纪90年代和本世纪初关于IEEE复杂计算机系统工程方法等专业的四届国际会议，分别在美国、日本、澳大利亚、意大利等国举行，他历任大会总主席、技术委员会执行委员等要职。
刘少英在世界一流学术杂志及国际学术会议上发表论文100多篇，学位论文2篇，编辑和著书5本，其他研究会、工作会议及技术报告共发表论文23篇，应邀国际大会演讲4次，参加国际性专题讨论5次。他被权威国际学术杂志《jurnalofsystems andsoftware》评为1993年年至1996年该领域前15名研究学者之一，被美国录入《世界名人录》、《科学工程名人录》，荣获英国剑桥大学“具有成就的人”证书、“国际特别研究员”证书等。
理想与勤奋
铸就他勇攀高峰的成功之路
刘少英由一个乾县普通学子成长为世界著名计算机科学家。他对自己的成功之路总结为：第一，树立远大理想和人生奋斗目标。上中学时在看到一部介绍电子计算机的纪录影片之后，他对计算机产生了浓厚的兴趣，进而把自己的人生奋斗目标定格在攀登电子计算机科学高峰上。第二，勤奋努力，坚韧不拔地学习和拼搏精神。在西安交大上学时，炎热的夏天，当同学们都在享受甜蜜午睡的时候，他无数次坐在闷热的教室，潜心攻读。他挤在公共汽车的人群里，手持英语单词本背诵，常常坐过了站。在英国曼彻斯特大学，夏天他经常凌晨4点钟就到研究室苦读。一次清洁工5点30分来打扫卫生，见到这个黄皮肤的青年竟吓了一跳，因为他从来没见过这么早有人在研究室学习。由于学习成绩优异，曼彻斯特大学破例给予他二年（原本三年）博士学位注册的特殊待遇。第三，积极向上和乐观的处世态度。他以老子的“水”的哲学处理学习、工作、生活及人际关系。他有着异乎寻常的克服困难的勇气和毅力，每次战胜困难都感到生活的美好。第四，锻炼身体，坚持不懈。他从小重视体育锻炼，对跑步、打乒乓球、踢足球、打篮球兴趣浓厚，始终坚持，从而锻炼出强健的体魄、不畏艰难的意志、作风和旺盛的生命力。刘少英的人生理念是：把人生看成“爬山”，不但要有爬上山顶的目标，而且要享受爬山这个既艰辛又快乐的过程。
人们把电子计算机喻为信息高速公路，刘少英正是在信息高速公路上攀登世界高峰的人。（Ｃ）（５）
小资料
刘少英，男，出生于1960年4月，陕西省乾县人，国际著名计算机专家，形式化方法研究领域的国际专家，现任日本法政大学信息科学部教授。早年在西安交通大学获得学士和硕士学位，后在英国曼彻斯特大学获得博士学位。现为国际IEEE计算机学会复杂性技术委员会副主席，IEEE计算机学会、ACM、日本软件科学与技术学会成员。他在计算机科学的许多领域，包括形式化工程方法、软件开发方法学、软件测试、可靠复杂的计算机系统和智能软件工程环境等方面都作出了重要贡献。
新闻推荐
为企业牵线搭桥 促进产学研合作咸阳市努力建设各行业科技成果转化通道
本报讯（记者韩焱）1月17日，记者自市科技局了解到，去年以来，咸阳市把为企业牵线搭桥，推介科技成果，促进产学研合作，加速成果转化作为提升区域生产力水平的重要途径，积极开展科技成果示范推广，加快科技产业化...
西安新闻，弘扬社会正气。除了新闻，我们还传播幸福和美好！因为热爱所以付出，光阴流水，不变的是西安这个家。