"Thomas Trotter"@cs .