"Jonathan Potts"@cs .