Personal Homepage

Personal Information

MORE+

Main positions:教授
Degree:博士
School/Department:College of Computer Science and Technology

Gang Chen

+

Gender:Male

Education Level:Postgraduate (Doctoral)

Alma Mater:巴黎第七大学

Profile

MORE+

教授,博导。国家特聘专家。中国计算机学会杰出会员。法国巴黎第七大学计算机系博士,北京大学计算机系人工智能专业硕士,浙大数学系计算数学专业学士。研究方向:* EDA算法和软件开发研究:Verilog语法分析器、逻辑综合、模拟仿真、布局布线、形式化验证、硬件语言缺陷检查、高层综合* IEC61131-3 PLC编程语言研究:结构化文本到C语言转换、结构化文本仿真、梯形图语言* 基础软件开发: 深度学习编译器、工业软件、科学计算语言...

  • Educational Experience
  • Work Experience

  1978.4 to 1982.3
浙江大学  | Computational Mathematics  | Bachelor's degree  | 本科毕业
  1982.3 to 1984.12
北京大学  | 计算机技术  | 硕士  | 硕士毕业
在马希文导师的指导下进行人工智能机器学习研究。
  1994.11 to 1998.12
巴黎第七大学  | 计算机技术  | 博士  | 博士毕业
在巴黎大区的巴黎七大、巴黎高师、(INRIA)等大学和研究机构组成的OCaml和Coq团队学习和研究。

No content