"Michael Potts"@cs .