Myunghwan Park

Education

PhD in Computer Science and Engineering, University of Minnesota, 2010

MS in Computer Science, Korea University, 2000

BS in Computer Science, Korea Air Force Academy, 1994

Bio

Myunghwan Park is a Teaching Faculty II in the School of Information Studies at the University of Wisconsin–Milwaukee (UWM). He received his PhD in Computer Science and Engineering from the University of Minnesota in 2010. Prior to joining UWM in 2025, Dr. Park served as Associate Professor at the Korea Air Force Academy, where he taught and conducted research in software engineering, safety-critical systems, and military applications of computer science. He also served as a C4I Management Officer at the Korea Air Force Headquarters and as a search and rescue helicopter pilot, retiring at the rank of Colonel.

Dr. Park’s research focuses on the verification and validation (V&V) of safety-critical software, test suite evaluation using error propagation probability, and the application of AR/VR and modeling & simulation (M&S) technologies in military training and education. He has published extensively in peer-reviewed journals and conferences, including IEEE Access, Aerospace Medicine and Human Performance, and the IEEE International Conference on Software Testing, Verification and Validation. His research has been supported by grants from the National Research Foundation of Korea, the Agency for Defense Development, and private industry.

Grants

Principal Investigator, Development of manned–unmanned teaming tactics and UAV autonomous functions for air-to-air combat, Agency for Defense Development Korea, $100,000 (2020–2022).

Principal Investigator, Evaluation method for test case quality based on masking effect, National Research Foundation of Korea, $120,000 (2018–2021).

Principal Investigator, Modeling and simulation logic to measure effectiveness of air weapon systems, Hangil C&C Corp., $80,000 (2015–2017).

Researcher, Analytical and corrective techniques for differences between live and virtual systems, Agency for Defense Development Korea, $70,000 (2012–2013).

Courses Taught

Software Engineering

Programming Languages (Java, Python)

Theory of Computation, Algorithms, Discrete Mathematics

Computer Architecture, Digital Logic, Introduction to Computer Systems

Computer Security (Network Security, System Security)

Database Systems, Big Data Analysis, Artificial Intelligence

Sample Publications

Kim, Y., Choi, J., Yoo, S., & Park, M. (2024). Propagation and masking characteristics of errors during software testing in synchronous programming. IEEE Access.

Kim, Y., & Park, M. (2024). Main causes of missing errors during software testing. Journal of the Korea Society of Computer and Information.

Park, M., Yoo, S., Oh, J., & Seol, H. (2022). The development of air escort tactics for high-value airborne assets using manned–unmanned teaming and the study on effective force disposition using M&S. Journal of the KIMST, 25(4).

Yoo, S., Park, M., Hwang, S., & Seol, H. (2021). Manned–unmanned teaming air-to-air combat tactic development using Longshot UAV. Korean Society of Industrial and Systems Engineering, 44(3).

Kang, H., Kallas, C., Park, M., & Kim, J. (2021). A scalable learning model for multi-seasonal time series forecasting. International Conference on Electronics, Information, and Communication (ICEIC).

Park, M., Oh, J., Kim, C., & Seol, H. (2021). The specification of air-to-air combat tactics using UML sequence diagram. Journal of the KIMST, 24(6).

Joo, J., Yoo, S., & Park, M. (2020). Poster: Test case prioritization using error propagation probability. IEEE International Conference on Software Testing, Verification and Validation (ICST).

Park, M., Lee, S., Jeon, K., & Seol, H. (2019). A study on the development direction of education and training system based on AR/VR technology. Journal of the KIMST, 22(4).

Park, M., Yoo, S., & Seol, H. (2019). Network traffic analysis between two military bases using modeling and simulation. Journal of the KIMST, 22(3).

Park, M., Jee, C., Kim, C., & Seol, H. (2017). Factors affecting the recovery of pilots’ +Gz tolerance. Journal of the Ergonomics Society of Korea, 36(5).

Research Interests by Topic

Verification and validation (V&V) of safety-critical software

Error propagation probability and software testing methods

Manned–unmanned teaming and air combat tactics development

AR/VR applications in military training and education

Modeling & Simulation (M&S) technologies for defense

Human performance and G-force tolerance in aviation