School of Engineering and Computer Science

Engineering Center, Room 301
115 Library Drive
Rochester, MI 48309-4479
(location map)
Dean's Office: (248) 370-2217
Academic Advising: (248) 370-2201
secsadvising@oakland.edu

School of Engineering and Computer Science

Engineering Center, Room 301
115 Library Drive
Rochester, MI 48309-4479
(location map)
Dean's Office: (248) 370-2217
Academic Advising: (248) 370-2201
secsadvising@oakland.edu

Hua Ming, Ph.D.

Headshot of Hua Ming

Assistant Professor
Computer Science and Engineering Department
(248) 370-3769
ming@oakland.edu

Ph.D., Iowa State University


Teaching

  • Emerging programming paradigms
  • Programming Languages
  • Theory of Computation
  • Software Verification/Test
  • Software Engineering and Practice

Research

  • Programming languages and language-based security, software verification and formal methods, situation-aware and context-aware software systems

" My research currently focuses on the foundational and practical applications of a new abstraction called Situation, supported by programming languages design theory (formal semantics), program analysis techniques (especially Abstract Interpretation) and the implementation level state-of-the-art (big data oriented software construction, mobile apps, compiler implementation and beyond).” -Hua Ming, 2015.

Selected Publications

  1. Hua Ming, Carl K. Chang, and Jingwei Yang. "Dimensional Situation Analytics: From Data to Wisdom." In Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual, vol. 1, pp. 50-59. IEEE, 2015.

  2. Tianyu Meng, Hua Ming, Yan Gao, Georgi Batinov, Michelle Rusch, Les Miller “Understanding Situations in Map-based Applications” Proceedings of the 30th International Conference on Computers and Their Applications. Honolulu, HI. March 9-11, 2015. pp. 425-430

  3. Carl K. Chang, Hsin-yi Jiang, Hua Ming, Katsunori Oyama “Situ: A Situation-theoretic Approach to Context-Aware Service Evolution,” IEEE Transaction on Service Computing, IEEE Computer Society. Vol.2. No. 3. pp. 261 – 275,

  4. L. Miller, S. Nilakanta, Y. Song, L. Zhu, H Ming. “Managing Knowledge in Organizational Memory Using Topic Maps.” International Journal of Knowledge Management, IGI Publishing. Vol. 4. No. 1. pp. 17-28. 2008