I was at MIT when Jerry taught adventures in symbolic programming. pretty fucking awesome class. Also he offers you darjeeling tea if you go to his office. very nice tea.