"Alex Bolt"@cs . "A Bolt"@cs .