"Gabriel Navarro"@cs .