"David Castedo"@cs .