Harry R. Lewis | |
---|---|
Born | 1947 (age 76–77) Boston, Massachusetts, U.S.[5] |
Education | Harvard University (BA, MA, PhD) |
Title | Gordon McKay Professor of Computer Science (1981–present) Dean of Harvard College (1995–2003) Harvard College Professor (2003–2008) |
Spouse | Marlyn McGrath (1968–present)[5] |
Scientific career | |
Fields | Computer science Mathematical logic |
Institutions | Harvard School of Engineering and Applied Sciences |
Thesis | Herbrand Expansions and Reductions of the Decision Problem (1974) |
Doctoral advisor | Burton Dreben |
Doctoral students | |
Other notable students | |
Uniformed service | |
Allegiance | United States |
Service/ | U.S. Public Health Service Commissioned Corps |
Years of service | 1968 - 1970 |
Rank | Lieutenant (junior grade) |
Website | http://people.seas.harvard.edu/~lewis/ |
Harry Roy Lewis (born 1947) is an American computer scientist, mathematician, and university administrator known for his research in computational logic, textbooks in theoretical computer science, and writings on computing, higher education, and technology. He is Gordon McKay Research Professor of Computer Science at Harvard University, and was Dean of Harvard College from 1995 to 2003.
Essentially all of Lewis's career has been at Harvard, where he has been honored for his "particularly distinguished contributions to undergraduate teaching"; his students have included future entrepreneurs Bill Gates and Mark Zuckerberg, and numerous future faculty members at Harvard and other schools. The website "Six Degrees to Harry Lewis", created by Zuckerberg while at Harvard, was a precursor to Facebook.
gatesref
was invoked but never defined (see the help page).lindsey
was invoked but never defined (see the help page).cromie
was invoked but never defined (see the help page).vadhan
was invoked but never defined (see the help page).bradley
was invoked but never defined (see the help page).
Cite error: There are <ref group=Note>
tags on this page, but the references will not show without a {{reflist|group=Note}}
template (see the help page).