"David Doyle"@cs .