“One was formal computer science theory, with punch cards and everything ... It was absolutely insane, and I had to be a part ...