"Michael Lee"@cs .