Yoonsik Cheon

Yoonsik Cheon is an Associate Professor in the Department of Computer Science at the University of Texas at El Paso (UTEP), part of the College of Engineering. His research focuses on formal methods, software engineering, and mobile applications. He holds a Ph.D. from Iowa State University and has prior industry experience at the Electronics and Telecommunications Research Institute (ETRI) in South Korea. His work emphasizes operational formal methods, integrating specifications like JML and CleanJava into practical development processes.

Research Interests: Formal methods (specification languages, verification techniques), programming languages, mobile application development, and software testing. His Software Specification and Verification Lab explores automated testing, functional program verification, and applying formal methods to mobile apps.

Key Achievements: Recipient of the 2022 AITO Test of Time Award for his foundational work on JML and JUnit integration. He has contributed to tools like the JML runtime assertion checker and CleanJava for functional verification. His publications frequently address design constraints, assertion-based testing, and cross-platform development strategies.

Teaching: Courses include Programming Languages, Mobile Application Development, and formal methods in software engineering.