"Cho Nam-suk"@cs .