"Gary Formato"@cs .