In the 1980s, worked with Minsky on showing how artificial neural networks could be generated automatically