Harry_R._Lewis
Nơi công tác | Harvard School of Engineering and Applied Sciences |
---|---|
Nghiên cứu sinh | |
Học vấn | Trường Roxbury Latin Đại học Harvard |
Người hướng dẫn luận án tiến sĩ | Burton Dreben |
Ngành phụ | Decidability Theory of computation |
Chức vị | Giáo sư ngành Khoa học Máy tính ở Đại học Harvard (1981 – nay) Trưởng khoa trường Đại học Harvard (1995 – 2003) Giáo sư trường Đại học Harvard (2003 – 2008) |
Quốc tịch | Hoa Kỳ |
Trang web | http://people.seas.harvard.edu/~lewis/ |
Sinh | 1947 (73–74 tuổi) Boston[1] |
Phối ngẫu | Marlyn McGrath (1968 – present)[1] |
Sinh viên đáng chú ý | |
Luận án | Herbrand Expansions and Reductions of the Decision Problem (1974) |
Ngành | Computer science Mathematical logic |