"Ha Jung-woo"@cs .