DongOk Kang
Education
- M.S., Computer Science and Engineering, Seoul National University (Mar 2012 - Current)
- B.S., Computer Science and Engineering, Seoul National University (Mar 2008 - Feb 2012)
Contact
Room 312-2, Building 302
School of Computer Science and Engineering
Seoul National University
Gwanak, Gwanak-ro, Gwanak-gu, Seoul 151-742, Korea
E-mail: 
Phone: +82-2-880-1865
Research Interest
Static Analysis, Abstract Interpretation, Change Impact Analysis, JavaScript, Security, Formal Verification, Machine Learning
Teaching