Hua Ming received his Ph.D degree in Computer Science and a Postdoctoral Fellowship both from Iowa State University, under the supervision of Prof.Carl K. Chang. In Aug 2014 he joined Oakland University where he was an Assistant Professor, and then an Associate Professor, Interim Department Chair of Computer Science & Engineering. Since August 2024, Hua has been with the University of Michigan-Flint, College of Innovation & Technology (CIT).
Hua's research primarily focuses on the area of software intensive systems. He aims to invent and to apply machine learning, formal logic as well as novel programming language techniques (e.g., functional programming paradigm), to precisely measure and effectively tackle the complexity of software programming and software maintenance. His publications appeared in the top venues in his research area, such as IEEE Transactions on Software Engineering (IEEE TSE, 2021, 2022, 2023), ACM Transactions on Software Engineering and Methodology (ACM TOSEM, 2024), the IEEE/ACM International Conference on Software Engineering (ICSE 2023, Technical Track). Details of his published research work can be found here. Hua's research work has been supported by various external and internal research grants.
Hua is really proud to have the chance of working with some of the best graduate (PhD and MS) as well as undergrad research assistants at Oakland University. Hua's funded (as PI) research projects include:
- The theory and application of Multi-layer complex network for real world large-scale software comprehension and software maintenance.
- A programming infrastructure to facilitate big data-oriented scientific research projects.
- Protecting secrecy and confidentiality using Role Functional Dependency Model.
- Mobility-driven 3-in-1 (Md3-1): A real-time situation-pervasive service model with prototype implementation providing intelligent measure, command and back-end support to assist flooring specialists in the field.
- Situation-oriented Software Engineering: A purely functional, domain specific programming language and runtime support.
Hua is also an award-winning teacher, where he has been recognized for his classroom-tested pedagogy to establish a variety of student-friendly intuition patterns towards effectively internalizing "daunting" Mathematical machinery often found in mathematically intensive STEM classes, such as theory of computation, formal methods for software verification. His active teaching interests, in close association with his research interests, mainly include programming languages, software verification and test, theory of computation, software engineering and practice. At Oakland University, he has also been directing sophomore level as well as senior capstone projects for Computer Science and IT students. Hua is a big supporter for student-centric, HyFlex teaching and learning modality.
Hua is a member of ACM and the IEEE. In his spare time, Hua enjoys music and playing violin with his family.