Harry R. Lewis

Lewis se retiró en 2020;

Lewis continuó enseñando durante su tiempo como decano.

En "Renovación de la misión cívica de la educación superior estadounidense" (con Ellen Condliffe Lagemann, 2012), Lewis advierte que "una multiplicidad floreciente de agendas valiosas pero descoordinadas ha desplazado el compromiso de la educación superior con el bien común":

Baseball as a Second Language: Explaining the Game Americans Use to Explain Everything Else (autopublicado como un experimento de acceso abierto en 2011) analiza las muchas formas en que los conceptos y las imágenes del béisbol se han abierto camino en el inglés estadounidense.

Desarrollado a partir de un curso impartido por sus autores, Blown to Bits: Your Life, Liberty, and Happiness After the Digital Explosion (2008, con Hal Abelson y Ken Ledeen) explora los orígenes y las consecuencias de la explosión de información digital del siglo XXI, incluyendo

Basándose en gran medida en su experiencia como decano de la Universidad de Harvard, su Excellence Without A Soul: How a Great University Forgot Education (2006) critica lo que él ve como el abandono por parte de las universidades estadounidenses, incluida Harvard, de la

De 2003 a 2008 fue designado profesor de la Universidad de Harvard en reconocimiento a "contribuciones particularmente distinguidas a la enseñanza de pregrado".

Después de la toma de posesión en 2001 del vigésimo séptimo presidente de la Universidad de Harvard, Lawrence Summers, Lewis y Summers entraron en conflicto sobre la dirección de Harvard College y su filosofía educativa.

Lewis es visitante de Ralston College y administrador vitalicio de Roxbury Latin School.

En 1994, Lewis fue coautor del Informe "completo" sobre la estructura de la Universidad de Harvard, y en 1995 fue nombrado decano de la Universidad de Harvard, responsable de los aspectos no académicos de la vida universitaria.

"Una lógica de intervalos de tiempo concretos" (1990) se refería a la lógica temporal.

El artículo de Lewis "Resultados de complejidad para clases de fórmulas cuantificativas" (1980) trata sobre la complejidad computacional de los problemas en la lógica de primer orden.

Gran parte de la investigación posterior de Lewis se centró en la complejidad computacional de los problemas de lógica matemática.

Su artículo de 1978 "Renombrar un conjunto de cláusulas como un conjunto de cuernos" abordó el problema de la satisfacibilidad booleana, de determinar si una fórmula lógica en forma normal conjuntiva puede hacerse verdadera mediante una asignación adecuada de sus variables.

Algunos de los otros trabajos de investigación de Lewis muy citados se extienden más allá de la lógica.

Después de servir durante dos años en el Cuerpo Comisionado del Servicio de Salud Pública de los Estados Unidos como oficial comisionado en el papel de matemático e informático para los Institutos Nacionales de Salud en Bethesda, Maryland, pasó un año en Europa como becario de viaje Frederick Sheldon.

Lewis ha señalado que, en gran parte porque su carrera comenzó cuando el campo de la informática "apenas existía", y Harvard casi no ofrecía cursos de informática a nivel de pregrado, él originó casi todos los cursos que ha impartido.

Lewis ha dicho que descubrió que "no era un verdadero matemático [una vez] que salí de las ligas de aficionados de las matemáticas de la escuela secundaria", pero estaba "tremendamente emocionado" por las oportunidades de investigación en informática en Harvard.

La tesis de pregrado de Lewis que describe SHAPESHIFTER, "Dos aplicaciones de entrada de computadora bidimensional impresa a mano", fue escrita por el pionero de los gráficos por computadora Ivan Sutherland y presentada en la 23ª Conferencia Nacional de la Asociación de Maquinaria de Computación en 1968. Fue seguida por varios

Harry Roy Lewis (nacido en 1947) es un científico informático, matemático y administrador universitario estadounidense conocido por su investigación en lógica computacional, libros de texto en informática teórica y escritos sobre informática, educación superior y tecnología.