"Alex Lasker"@cs .