卜磊,教授,博士生导师,现任南京大学软件学院副院长,兼任 CCF 系统软件专委秘书长;2010年在南京大学计算机与科学技术系获取博士学位;曾在CMU、MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法,研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面,部分创新性工作发表在...
卜磊,教授,博士生导师,现任南京大学软件学院副院长,兼任 CCF 系统软件专委秘书长;2010年在南京大学计算机与科学技术系获取博士学位;曾在CMU、MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法,研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面,部分创新性工作发表在...