"Colin Allen"@cs .