张文辉的介绍 福安张文辉简介

张文辉的介绍 男，1963年6月出生于福建福安，1988年在挪威奥斯陆大学数学自然科学学院获博士学位，现任中国科学院软件研究所计算机科学国家重点实验室研究员，研究兴趣包括：程序正确性、模型检测、逻辑推理、形式化方法。