"Navia Nguyen"@cs .