顾斌(1968-),男,博士,研究员,博士生导师,CCF高级会员,主要研究领域为计算机控制,可信软件,信息物理系统.
李晓锋(1982-),男,研究员,CCF专业会员,主要研究领域为嵌入式高可信软件开发,软件缺陷检测,软件智能开发.
于波(1988-),女,博士,中级工程师,CCF专业会员,主要研究领域为嵌入式高可信软件开发,智能化软件开发,代码搜索与推荐,软件定义卫星.
钟睿明(1985-),男,博士,高级工程师,CCF专业会员,主要研究领域为嵌入式高可信软件开发,人工智能,进化计算,分布式计算.
董晓刚(1974-),男,研究员,CCF专业会员,主要研究领域为嵌入式高可信软件开发,软件缺陷检测,软件智能开发.
杨孟飞(1962-),男,博士,研究员,博士生导师,CCF高级会员,主要研究领域为空间飞行器设计,控制计算机,可信软件,软件智能开发.
李晓锋,E-mail:li_x_feng@126.com
国家自然科学基金(61632005)
National Natural Science Foundation of China (61632005)
顾斌,于波,董晓刚,李晓锋,钟睿明,杨孟飞.程序智能合成技术研究进展.软件学报,2021,32(5):1373-1384
复制