依据华东师范大学网站信息，日本广岛大学计算机科学系刘少英教授加入华东师范大学软件工程学院，任教授、博士生导师，并入选获国家高层次人才。摘要：刘少英教授1982年本科毕业于西安交通大学计算机软件专业，1987年硕士毕业于西安交通大学计算机科学与工程专业，1987年至1988年在西安交通大学计算机科学与工程系担任讲师，1989年至1992年博士毕业于英国曼彻斯特大学计算机科学专业。1991年至1994
刘少英教授1982年本科毕业于西安交通大学计算机软件专业，1987年硕士毕业于西安交通大学计算机科学与工程专业，1987年至1988年在西安交通大学计算机科学与工程系担任讲师，1989年至1992年博士毕业于英国曼彻斯特大学计算机科学专业。1991年至1994年先后在英国约克大学和RHNBC, 伦敦大学担任研究助理。1994年至2000年在日本广岛市立大学担任副教授。2000年至2020年在日本法政大学工作，先后担任副教授，教授。2020年至2025年4月在日本广岛大学担任教授。现已加入华东师范大学。
刘少英教授的研究方向主要为高可靠软件工程理论与技术，软件开发的形式化工程方法，软件设计方法，智能化人机结对编程, 程序验证，软件测试及复审，以及智能软件工程环境。创立和发展了软件开发的形式化工程方法，研制开发了SOFL形式化工程开发语言和方法，在包括IEEE Transactions on Software Engineering, IEEE Transactions on Reliability, Journal of Systems and Software等国际学术期刊和国际会议发表300多篇论文。曾被Journal of Systems and Software评为1993年至1996年期间的在系统和软件工程领域的世界top 15名学者之一，获得1996年由IEEE国际会议授予的"优秀论文奖"，2017年6月IEEE可靠性协会日本分会的2016年最佳论文奖， 2018年的20年ICFEM最有影响研究者奖，日本信息处理学会软件工程研究会的2020年和2022年的卓越研究奖两次等。由Springer出版专著两本，编著由IEEE CS Press和Springer LNCS系列出版的论文集16本。从1994年以来，领导和主持由日本政府，财团和大企业分别资助的20多个研究项目。
数据与图片来自学校网站。
来源：荔枝做饭日记