Trang chủ Directory Sungdeok (Steve) Cha
Sungdeok (Steve) Cha

GS. Sungdeok (Steve) Cha

Viện Kỹ Thuật Và Khoa Học Máy Tính

Giáo sư, Chương trình Khoa học Máy tính

Giới thiệu

Dr. Cha nhận bằng Tiến sĩ ngành Information and Computer Science tại University of California, Irvine dưới sự hướng dẫn của Dr. Nancy Leveson. Dr. Leveson là một chuyên gia hàng đầu thế giới trong lĩnh vực software engineering và software safety, hiện là giáo sư tại MIT Aerospace and Aeronautical Engineering. Trong thời gian làm nghiên cứu sinh, ông từng giảng dạy nhiều khóa học về computer science cho sinh viên đại học tại hai cơ sở Northridge và Long Beach của California State University với vai trò giảng viên bán thời gian.

Dr. Cha sau đó đảm nhiệm các vị trí nghiên cứu công nghiệp tại Hughes Aircraft Company và The Aerospace Corporation. Từ năm 1994 đến 2008, ông là giáo sư tại Computer Science Department, KAIST – trường kỹ thuật hàng đầu tại Hàn Quốc. Từ năm 2008 đến 2025, ông là giáo sư tại Computer Science and Engineering Department, Korea University, Seoul, Hàn Quốc, và hiện là giáo sư danh dự tại đây. Trong sự nghiệp giảng dạy, ông đã hướng dẫn 16 nghiên cứu sinh Tiến sĩ và 38 học viên Thạc sĩ tại KAIST và Korea University.

Ngoài công tác giảng dạy, Dr. Cha còn đảm nhiệm vai trò cố vấn cho Samsung Electronics Visual Display Division, Korean Fair Trade Commission, đơn vị điều tra tội phạm mạng của Viện Kiểm sát, cùng nhiều tổ chức khác.

  • Kỹ thuật phần mềm
  • An toàn hệ thống phần mềm
  • Kỹ nghệ yêu cầu phần mềm
  • Phương pháp hình thức trong khoa học máy tính
  • Bảo mật hệ thống máy tính

  • Kỹ thuật phần mềm
  • Kỹ nghệ yêu cầu phần mềm
  • An ninh máy tính
  • Quản lý dự án phần mềm
  • Nhập môn lập trình máy tính (ví dụ: C, Java)
  • Viết kỹ thuật bằng tiếng Anh
  • Thuyết trình kỹ thuật bằng tiếng Anh

  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: Tiến sĩ, Khoa học Máy tính và Thông tin, Đại học California, Irvine
  • 1986: Thạc sĩ, Khoa học Máy tính và Thông tin, Đại học California, Irvine
  • 1983: Cử nhân, Khoa học Máy tính và Thông tin, Đại học California, Irvine

  • 2010: Giải thưởng Xuất sắc trong Nghiên cứu, Đại học Korea
  • 2007: Giải thưởng Xuất sắc trong Nghiên cứu, Viện Khoa học và Công nghệ Tiên tiến Hàn Quốc (KAIST)
  • 1988: Giải thưởng Bài báo Xuất sắc nhất, Hội nghị Quốc tế về Kỹ thuật Phần mềm (ICSE), Singapore

Banner footer