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