"Michael Levin"@cs .