张文辉

  • 发布于 2018-05-23
  • 3929
  • 张文辉
    博士、研究员、博士生导师。1988获挪威奥斯陆大学数学自然科学学院博士学位。获2000年度中国科学院“百人计划”支持,2001年至今在中国科学院软件研究所工作、任研究员。主要从事逻辑方法与程序正确性方法研究。2008年获中国科学院研究生院“集中教学突出贡献奖”、中国科学院“朱李月华优秀教师”奖。