Robert Larkin Sullivan

• A new computational technique for generating algorithms