"David Brenner"@cs .