"Iain Armitage"@cs .