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

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

Ph.D., Iowa State University


Teaching

  • 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. LoTVerif: An Automated Tool to Verify SSL/TLS Certificate Validation in Android MQTT Client Applications. Khalid Alghamdi, Ali Alqazzaz, Anyi Liu and Hua Ming, the 8th ACM Conference on Data and Application Security and Privacy (CODASPY), 2018.

  2. Recognizing Activities of Daily Living to Improve Well-being.  Yunfei Feng, Carl K. Chang, Hua Ming,  Journal of IT Professional, Volume 19, Issue 3 2017.

  3. A Software Tool for Floating Point Interval Analysis with Improved Precision for Javascript-based Medical Applications. Khalid Alghamdi, Nabil Almashfi, Hua Ming, In Proceedings of the 40th IEEE International Computer Software and Applications Conference (COMPSAC), 2016.

  4. Dimensional situation analytics: from data to wisdom. Hua Ming, Carl K Chang, Jingwei Yang, In Proceedings of 39th IEEE International Computer Software and Applications Conference (COMPSAC), 2015.

  5. Situ: A situation-theoretic approach to context-aware service evolution. Carl K. Chang, Hsin-yi Jiang, Hua Ming, Katsunori Oyama, IEEE Transactions on Services Computing 2 (3), 261-275 , 2009.