"Richardem Davalosem"@cs . "Richard Davalos"@cs .