"Hyman Levy"@cs .