Home Directory Sungdeok (Steve) Cha
Sungdeok (Steve) Cha

Sungdeok (Steve) Cha, PhD

College of Engineering and Computer Science

Professor, Computer Science program

Biography

Dr. Cha received Ph.D. degree in Information and Computer Science from University of California, Irvine with supervision by Dr. Nancy Leveson. Dr. Leveson is a world-famous pioneer in software engineering and software safety and is currently a professor at MIT Aerospace and Aeronautical Engineering. As a Ph.D. student, he taught many undergraduate computer science courses at the Northridge and Long Beach campuses of the California State University as a part-time lecturer.

Dr. Cha went on to industrial research positions at the Hughes Aircraft Company and The Aerospace Corporation, respectively. From 1994 to 2008, he was a professor in the Computer Science Department, KAIST, which is widely considered the top engineering school in Korea. From 2008 to 2025, he was a professor in the Computer Science and Engineering department at Korea University in Seoul, Korea where he is currently an emeritus professor. He served as advisors for 16 Ph.D. students and 38 M.S. students at both KAIST and Korea University.

In addition to academic appointments, he served advisory roles at Samsung Electronics Visual Display Division, Korean Fair Trade Commission, Cyber crime investigation unit for Prosecutor Office, etc.

  • Software engineering
  • Software Safety
  • Requirements engineering
  • Formal methods
  • Computer Security

  • Software Engineering
  • Requirements Engineering
  • Computer Security
  • Software Project Management
  • Introduction to Computer Programming (e.g., C, Java)
  • Technical Writing in English
  • Technical Presentation in English

  1. Sooyong Jeong, Sungdeok Cha, Woo Jin Lee, Usage Log-Based Testing of Embedded Software and Identification of Dependencies among Environmental Components, IEICE Transactions on Information and Systems, E104.D, 11, pg 2011-2014, 2021
  2. Minseok Jeon, Sehun Jeong, Sungdeok Cha, HakjooOh, A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis, ACM Transactions on Programming Languages and Systems, Volume 41, Issue 2, pp 1–41, 2019
  3. Ah-Rim Han, Sungdeok Cha, Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification, IEEE Transaction on Software Engineering, Volume 44, Issue 10, 2018
  4. Shin Il Kwon, Sungdeok Cha,CAPTCHA-based image annotation, Information Processing Letters, Volume 128, Issue C, pp 27~31, 2017
  5. Shinil Kwon and Sungdeok Cha,“Paradigm Shift on CAPTCHA Race: Adding Uncertainty into the Rules”, IEEE Software, Vol. 33, Issue 6, pp.80-85, 2016
  6. Ah-Rim Han, Doo-Hwan Bae, and Sungdeok Cha, “An efficient approach to identify multiple and independent Move Method refactoring candidates”, Information and Software Technology, Vol. 59, pp. 53-66, 2015
  7. Eunkyoung Jee, Donghwan Shin, Sungdeok Cha, Jang-Soo Lee and Doo-Hwan Bae, “Automated test case generation for FBD programs implementing reactor protection system software”, Software: Testing, Verification and Reliability, Vol. 24, Issue 8, pp.608-628, 2014
  8. Jeongseok Seo, Sungdeok Cha, Bin Zhu, Doo-Hwan Bae, “PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors”, IEICE Transactions on Information and Systems, vol. E96-D, no. 8, pp. 1716-1726, 2013
  9. Su Yong Kim, Sungdeok Cha,Doo-Hwan Bae, “Automatic and lightweight grammar generation for fuzz testing”,Computer and Security, vol. 36, pp. 1-11, 2013
  10. Han Choi, Sungdeok Cha,Jae Yeon Jo, Junbeom Yoo*, Hae Young Lee, and Won-Tae Kim, “Formal Verification of Basic DEV&DESS Formalism Using HyTech”, Information, Vol.16, No.1(B), pp.821-826., 2013.
  11. Sungdeok Cha, Junbeom Yoo, A safety-focused verification using software fault trees, Future Generation Computer Systems, Volume 28, Issue 8, pp 1272~1282, 2012
  12. Myeongjin Oh, Young-Gab Kim, Seungpyo Hong, Sungdeok Cha: ASA: agent-based secure ARP cache management, IET Communication, 6(7), pp 685~693, 2012
  13. Eunkyung Jee, Seungjae Jeon, Sungdeok Cha, Kwang Yong Koh, FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram, Journal of Research and Practice in Information Technology, 42(42), 2010
  14. Tai Hyo Kim, Ho Jung Bang, Sungdeok Cha, A systematic representation of path constraints for implicit path enumeration technique, Software: Testing, Verification and Reliability, Volume 20, Issue 1, pp 39~61, 2010

  • 1991: Ph.D., Information and Computer Science, University of California, Irvine
  • 1986: M.S., Information and Computer Science, University of California, Irvine
  • 1983: B.S., Information and Computer Science, University of California, Irvine

  • 2010: Research Excellence Award, Korea University
  • 2007: Research Excellence Award, Korea Advanced Institute of Science and Technology
  • 1988: Best Paper Award, International Conference on Software Engineering (ICSE), Singapore

Banner footer