华明博士

华明的大头照

副教授和学术项目协调员
计算机科学与工程系
(248) 370 - 3769
ming@www.zhongqiwg.com

爱荷华州立大学博士


教学

  • 编程语言
  • 计算理论
  • 软件验证/测试
  • 软件工程与实践
  • 高级顶点项目
  • 大二学生项目
  • 数据结构

研究

我的研究主要集中在软件工程和软件密集型系统领域。它允许将计算机科学理论和新的编程语言技术(特别是函数式编程范式)结合到新兴软件服务的发现、分析、提高理解,以及自动组合和智能平台促进中。我的出版物出现在这一领域的顶级场所,例如IEEE软件工程汇刊.——华明,2021年

  • 为新兴的面向大数据的态势感知软件服务提供编程基础设施支持
  • 多层复杂网络理论与应用
  • 关键任务软件服务的软件验证技术
  • 面向大数据的软件密集型系统
  • 函数式编程范式
  • 现代编译器构造的最先进技术
  • 领域特定的编程语言设计与实现
  • 软件工程概论

选定的出版物

潘伟,明辉,柴春华,“复杂网络的结构、动力学及其在软件工程中的应用”。工程数学问题杂志2021。

潘伟,明辉,张志强,杨中,金,DK。ElementRank:使用多层复杂的基于网络的方法对java软件类和包进行排名。IEEE软件工程汇刊(IEEE TSE 2019)。

张志强,杨杰,“多维情境分析:从数据到智慧”。2015年IEEE第39届计算机软件与应用年会(COMPSAC)论文集。

Baidu
map