为了推动上海市计算机软件评测重点实验室与学术界的合作,促进重点实验室在软件测评领域的长足发展,2015年1月20日,重点实验室在国家863软件孵化基地举行了客座研究员聘请仪式。中国科学院研究所的张健教授和上海交通大学软件学院的赵建军教授受聘为重点实验室客座研究员。
聘请仪式由重点实验室主任刘振宇主持,上海软件中心党委书记张若文和主任蔡立志出席仪式。仪式上,刘振宇主任分别介绍了张健教授和赵建军教授的简历和学术成就,并由张若文书记和蔡立志主任为两位教授颁发了聘书。



张健教授是中国科学院软件研究所研究员、博士生导师。曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。担任国家973项目“安全攸关软件系统的构造与质量保障方法研究”首席科学家、《计算机学报》、《Journal of Computer Science and Technology》、《Frontiers of Computer Science》、《计算机科学与探索》等期刊编委、并担任ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC等60余次重要国际会议程序委员会委员。
赵建军教授是上海交通大学软件学院任教授,博士生导师。曾在日本福冈工业大学计算机科学与工程系担任讲师、美国麻省理工学院计算机科学实验室作访问科学家1年。并在国际知名会议(ICSE、ISSTA、ECOOP、ASE等)上发表了多篇学术论文,同时也担任了多个相关领域(FSE、ECOOP、FASE、WICSA、ICSM、ISSRE等)的程序委员会委员。赵建军教授在高可靠性软件系统的构建、软件系统的测试、分析与验证、程序语言与系统、以及软件系统的复杂性度量等领域做出了重要贡献,受到国家自然科学基金委、国家863计划、973计划、INTEL、IBM等的资助。
在仪式上,张教授和赵教授分别做了题为“软件测试与静态分析的自动化工具”和“Some Analysis‐based Programs”专题讲座,并就实验室关心的软件测试技术问题与大家展开了热烈的讨论,从理论研究、成果应用、产业发展等不同角度进行了思想的碰撞和智慧的交流,使大家收获良多。
