Các nhà khoa học máy tính lý thuyết tự động hoàn thành

Mặc dù rất phổ biến để thấy các nhạc sĩ, họa sĩ, tác giả và kiến ​​trúc sư thành công - tôi không quen thuộc với bất kỳ tự động nổi tiếng nào trong lĩnh vực TCS. Có bất kỳ ví dụ về một nhà khoa học máy tính lý thuyết tự động hoàn thành (ví dụ, một người đã xuất bản một bài báo quan trọng, mà không bao giờ đi đến trường học)?

Ngoài một số người tuyệt vời được liệt kê trong các bình luận, Gregory Chaitin đã độc lập phát triển phần lớn sự phức tạp của Kolmogorov khi anh còn là học sinh trung học ở thành phố New York.