"Michael Wilkinson"@cs .