Yale Professor of Computer Science, artist David Gelernter