"Mike Lerner"@cs .