¿¹ºñ ´ëÇпø»ý ¸ðÁý


¿¹ºñ ´ëÇпø»ý ¸ðÁý

  • ´ëÇпø ÁøÇп¡ °ü½ÉÀÖ´Â ¿¹ºñ ´ëÇпø»ýÀ» ¸ðÁýÇÕ´Ï´Ù.
  • ´ëÇпø ÁøÇÐ Çлý¿¡°Ô´Â Á¶±³(µî·Ï±Ý)°ú ¿¬±¸ºñ¸¦ Áö¿øÇÕ´Ï´Ù.
  • ÁÖ¿ä ¿¬±¸ÁÖÁ¦´Â ´ÙÀ½°ú °°À¸¸ç ÀÚ¼¼ÇÑ »çÇ×Àº Àú¿¡°Ô ¹®ÀÇÇϼ¼¿ä.


  • ¹®ÀÇ

  • ⺴¸ð ±³¼ö chang@sookmyung.ac.kr : »õÈû°ü 410È£ : ÀüÈ­ 710-9378

  • ÁÖ¿ä ¿¬±¸ÁÖÁ¦

    IoT Software & Language

  • IoT Software & Language
  • Android system
  • Software security
  • Automated Software Engineering

  • Program visualization
  • Automatic software testing
  • Secure Coding
  • Program Analysis and Verification

  • Static program analysis
  • Dynamic program analysis
  • Formal verification of software