Harry Roy Lewis (nacido en 1947) es un informático, matemático y administrador universitario estadounidense conocido por sus investigaciones en lógica computacional , libros de texto sobre informática teórica y escritos sobre informática, educación superior y tecnología. Es profesor de investigación Gordon McKay de Ciencias de la Computación en la Universidad de Harvard y fue Decano de la Universidad de Harvard de 1995 a 2003.
Básicamente, toda la carrera de Lewis ha transcurrido en Harvard, donde ha sido honrado por sus "contribuciones particularmente distinguidas a la enseñanza de pregrado"; Entre sus estudiantes se encuentran los futuros empresarios Bill Gates y Mark Zuckerberg , y numerosos futuros miembros del profesorado de Harvard y otras escuelas. El sitio web "Six Degrees to Harry Lewis", creado por Zuckerberg mientras estaba en Harvard, fue un precursor de Facebook .
Lewis nació en Boston [7] y creció en Wellesley, Massachusetts . [8] Sus padres eran médicos: su padre era jefe de anestesiología de un hospital y su madre era directora de la Escuela Estatal de Dever para niños con discapacidad intelectual . [9] Su padre era un veterano de la Segunda Guerra Mundial e hijo de padre luterano alemán y madre judía rusa . [10] Después de graduarse summa cum laude al final del undécimo grado en la Escuela Latina Roxbury de Boston , ingresó a la Universidad de Harvard, donde fue durante un tiempo un portero de lacrosse de tercera fila. [8]
Lewis ha dicho que descubrió que "no era un verdadero matemático [una vez] que salí de las ligas de aficionados de matemáticas de la escuela secundaria", pero estaba "tremendamente emocionado" por las oportunidades de investigación en ciencias de la computación en Harvard. [L2] En su último año, dio una clase de posgrado utilizando un programa de gráficos por computadora, SHAPESHIFTER, que había desarrollado para mostrar transformaciones de planos complejos en un tubo de rayos catódicos . SHAPESHIFTER reconocía automáticamente fórmulas y comandos ingresados manualmente mediante un lápiz óptico en una tableta RAND y podía "entrenarse" para reconocer la escritura a mano de usuarios individuales. [6] [11] No habiendo ningún programa de grado en ciencias de la computación per se en Harvard en ese momento, [L2] en 1968 Lewis recibió su licenciatura ( summa , Quincy House ) en matemáticas aplicadas [5] [12] y fue elegido para Phi Beta Kappa . [13]
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 itinerante Frederick Sheldon. Luego regresó a Harvard, donde obtuvo su maestría en 1973 y su doctorado en 1974, tras lo cual fue inmediatamente nombrado profesor asistente de Ciencias de la Computación. Se convirtió en profesor asociado en 1978 y profesor Gordon McKay de Ciencias de la Computación en 1981. [7]
Lewis se jubiló formalmente en 2020, [14] [15] pero continúa enseñando como profesor de investigación Gordon McKay en Ciencias de la Computación. [16] Su esposa Marlyn McGrath se jubiló en 2021 después de 42 años como directora de admisiones de Harvard College. [17] La Cátedra Harry Lewis y Marlyn McGrath de Ingeniería y Ciencias Aplicadas fue otorgada por uno de los antiguos alumnos de Lewis en 2012. [18] [19]
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 universitario, él originó casi todos los cursos que ha impartido. [20] Fue su propuesta, a finales de la década de 1970, que Harvard creara una especialización específica para ciencias de la computación [21] (que hasta entonces había sido una rama del programa de matemáticas aplicadas de Harvard). [L2]
De 2003 a 2008 fue designado profesor de la Universidad de Harvard en reconocimiento a sus "contribuciones particularmente distinguidas a la enseñanza de pregrado". [22] En 2021, la IEEE Computer Society le otorgó su premio anual Mary Kenneth Keller a la enseñanza de pregrado en ciencias de la computación e ingeniería, citando "su dedicación de más de cuarenta años a la educación de pregrado en ciencias de la computación en Harvard, su autoría de libros de texto de introducción a las ciencias de la computación y su tutoría de muchos futuros educadores." [23]
Seis de sus profesores asistentes [24] son ahora miembros de la facultad de Harvard [20] y muchos otros son profesores de informática (o disciplinas relacionadas) en otros lugares; [25] muchos han ganado premios de enseñanza, incluido Eric Roberts ( Premio Karlstrom de la Asociación de Maquinaria de Computación ), [26] Nicholas Horton ( Premio Robert V. Hogg ), [27] Joseph A. Konstan (Premio Distinguido de la Universidad de Minnesota). Profesor universitario, Premio a la enseñanza de posgrado/profesional), [28] y Margo Seltzer ( Profesora Herchel Smith de Ciencias de la Computación en Harvard, premio de enseñanza Phi Beta Kappa , Premio de enseñanza Abramson). [29]
Entre sus estudiantes universitarios se encuentran Mark Zuckerberg (cuyo sitio web "Six Degrees to Harry Lewis" fue un precursor de Facebook ; Six Degrees es una referencia a la hipótesis del mundo pequeño ), [Nota 5] el fundador de Microsoft , Bill Gates (que resolvió un problema teórico abierto Lewis había descrito en clase), [Nota 1] y nueve futuros profesores de Harvard. [20]
Lewis es autor o coautor de cinco libros de texto:
Lewis también ha impartido un curso sobre atletismo amateur y la historia social del deporte en Estados Unidos. [7]
En 1994, Lewis fue coautor del Informe "completo" sobre la estructura de la Universidad de Harvard , [33] [34] y en 1995 [22] fue nombrado decano de la Universidad de Harvard, responsable de los aspectos no académicos de la vida universitaria. [35] En esa capacidad supervisó una serie de cambios de política a veces controvertidos, incluidos cambios en el manejo de las acusaciones de agresión sexual, la reorganización de los programas de servicio público de la universidad, una ofensiva contra el consumo de alcohol por menores y la asignación aleatoria de estudiantes a casas de clase alta (contrarrestando la segregación social que existía bajo el sistema anterior de asignación según las preferencias de los estudiantes). [Nota 6] [5] [36] También presionó para mejorar el asesoramiento y la atención médica. [5] [37] [38] Un colega ha dicho que Lewis "remodeló la vida universitaria con más fuerza que cualquier otra persona en la memoria reciente". [39] Lewis continuó enseñando durante su tiempo como decano. [22]
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 la Universidad de Harvard y su filosofía educativa. [5] [40] [33] [41] Lewis, por ejemplo, enfatizó la importancia de las actividades extracurriculares y aconsejó a los estudiantes de primer año entrantes que "la flexibilidad en su horario, el tiempo no estructurado en su día y las tardes con sus amigos en lugar de con sus libros son todos, en un sentido más amplio, esenciales para su educación", mientras que Summers se quejaba de un "Camp Harvard" insuficientemente intelectual y amonestaba a los estudiantes que "ustedes están aquí para trabajar, y su negocio aquí es aprender". [42] [L06] : 86–90 [L1] Después de que Lewis publicara lo que The Harvard Crimson llamó "una crítica mordaz de la opinión de que el aumento del rigor intelectual debería ser la prioridad [de la universidad]", señalando que los posibles empleadores muestran menos interés. en las calificaciones que en las cualidades personales construidas fuera del aula [40] ; fue destituido perentoriamente como decano en marzo de 2003. [40] [43] [38] [5]
En 2015, Lewis se desempeñó como Decano interino de la Escuela de Ingeniería y Ciencias Aplicadas de Harvard . [44]
Lewis es profesor asociado del Centro Berkman para Internet y Sociedad de Harvard . [45] Además de sus publicaciones de investigación y libros de texto, ha escrito una serie de trabajos sobre la educación superior y el impacto de las computadoras en la sociedad.
Basándose en gran medida en su experiencia como decano de la Universidad de Harvard, su Excelencia sin alma: cómo una gran universidad olvidó la educación (2006) critica lo que él ve como el abandono por parte de las universidades estadounidenses, incluida Harvard, de la
tarea fundamental de la educación universitaria ... convertir a jóvenes de dieciocho y diecinueve años en jóvenes de veintiuno y veintidós, ayudarlos a crecer, a aprender quiénes son, a buscar un propósito más amplio. por sus vidas y salir de la universidad como mejores seres humanos. [L06] : xii
En "Renewing the Civic Mission of American Higher Education" (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":
La continua erosión de las preocupaciones cívicas dentro de la educación superior estadounidense es alarmante y peligrosa ... [Las universidades] son un lugar natural para que los ciudadanos aprendan valores más allá de su propio bienestar personal, para verse a sí mismos como parte de una sociedad de derechos y responsabilidades mutuos. Deben ser entornos en los que el compromiso con las cuestiones relativas a la justicia y la bondad sea esencial para las rutinas diarias ... La educación cívica efectiva debe involucrar simultáneamente las capacidades de los estudiantes para pensar intelectualmente, para hacer juicios morales y para [tomar medidas en respuesta a esos juicios]. ... Las sociedades libres no prosperarán a menos que las universidades, las escuelas de posgrado y las escuelas profesionales comprendan que la salud cívica de la nación es una de sus responsabilidades centrales. [LL] : 10-11
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 la información digital en el siglo XXI, incluyendo su impacto en la cultura y la privacidad:
Ahora es posible, en principio, recordar todo lo que alguien dice, escribe, canta, dibuja o fotografía. Todo ... Las redes informáticas globales pueden ponerlo a disposición de cualquier parte del mundo, casi al instante. Y las computadoras son lo suficientemente poderosas como para extraer significado de toda esa información, encontrar patrones y hacer conexiones en un abrir y cerrar de ojos.
En siglos pasados, es posible que otros hayan soñado que estas cosas podían suceder, en fantasías utópicas o en pesadillas. Pero ahora están sucediendo. [TODOS] : xiii
Béisbol como segundo idioma: Explicando el juego que los estadounidenses usan para explicar todo lo demás (autoeditado como un experimento de acceso abierto en 2011) [46] analiza las muchas formas en que los conceptos y las imágenes del béisbol se han abierto camino en el inglés estadounidense. [47] Se inspiró en las experiencias de Lewis al explicar el béisbol a estudiantes internacionales. [46]
La tesis universitaria de Lewis que describe SHAPESHIFTER, "Dos aplicaciones de entrada de computadora bidimensional impresa a mano", [L68] fue escrita por el pionero de los gráficos por computadora Ivan Sutherland [7] y presentada en la 23ª Conferencia Nacional de la Asociación de Maquinaria de Computación en 1968. A esto le siguieron varios artículos sobre temas relacionados. [11]
Gran parte de la investigación posterior de Lewis se centró en la complejidad computacional de los problemas de lógica matemática . Su tesis doctoral, "Expansiones y reducciones de Herbrand del problema de decisión ", fue supervisada por Burton Dreben y abordó el teorema de Herbrand . [7] [48] Su libro de 1979, Clases solubles de fórmulas cuantificacionales [L79] complementó El problema de decisión: clases solubles de fórmulas cuantificacionales de Dreben y Warren Goldfarb . [49]
Su artículo de 1978 "Renombrar un conjunto de cláusulas como un conjunto de Horn" abordó el problema de 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. En general, estos problemas son difíciles, pero hay dos subclases principales de satisfacibilidad para las cuales se conocen soluciones en tiempo polinomial : satisfacibilidad 2 (donde cada cláusula de la fórmula tiene dos literales) y satisfacibilidad de Horn (donde cada cláusula tiene como máximo un literal positivo). Lewis amplió la segunda de estas subclases, mostrando que el problema aún se puede resolver en tiempo polinomial cuando la entrada aún no está en forma de Horn, pero se puede poner en forma de Horn reemplazando algunas variables por sus negaciones. El problema de elegir qué variables negar para que cada cláusula obtenga dos literales positivos, convirtiendo la instancia rediseñada en un conjunto de Horn, resulta expresable como una instancia de 2-satisfacibilidad, el otro caso solucionable del problema de satisfacibilidad. Al resolver una instancia de 2-satisfacibilidad para convertir la entrada dada en un conjunto de Horn, Lewis muestra que las instancias que se pueden convertir en conjuntos de Horn también se pueden resolver en tiempo polinomial. [L78] El tiempo para la reasignación de signos en la versión original de lo que Lindhorst y Shahrokhi llamaron "este resultado elegante" [50] fue O ( mn 2 ) para una instancia con m cláusulas yn variables, pero se puede reducir a lineal. tiempo dividiendo las cláusulas de entrada largas en cláusulas más pequeñas y aplicando un algoritmo de 2 satisfacibilidad más rápido. [51]
El artículo de Lewis "Resultados de complejidad para clases de fórmulas cuantificacionales" (1980) trata de la complejidad computacional de problemas en lógica de primer orden . Estos problemas son indecidibles en general, pero hay varias clases especiales de estos problemas, definidas restringiendo el orden en que aparecen sus cuantificadores, que se sabía que eran decidibles. Una de estas clases especiales es, por ejemplo, la clase Bernays-Schönfinkel . Para cada una de estas clases especiales, Lewis establece límites de tiempo exponenciales estrictos para la complejidad temporal determinista o no determinista . Por ejemplo, muestra que la clase Bernays-Schönfinkel es NEXPTIME -completa y, más específicamente, que su complejidad temporal no determinista está limitada tanto superior como inferior por una función exponencial única de la longitud de entrada. [L80] Börger , Grädel y Gurevich escriben que "este artículo inició el estudio de la complejidad de las clases decidibles del problema de decisión". [52]
"Una lógica de intervalos de tiempo concretos" (1990) se refería a la lógica temporal . [L90] Este artículo acompañó un informe técnico anterior del Aiken Computation Laboratory, "Análisis de estado finito de circuitos asíncronos con incertidumbre temporal acotada", donde propuso por primera vez la representación de un circuito asíncrono , con incertidumbre temporal acotada en eventos de transición de puerta, como un máquina de estados finitos . Este artículo fue el primer trabajo sobre la verificación de propiedades de temporización que modelaban el tiempo tanto de forma asincrónica como continua, sin discretizar el tiempo ni imponer un reloj global. [53]
Algunos de los otros artículos de investigación de Lewis muy citados van más allá de la lógica. Su artículo "Evaluación simbólica y gráfico de valor global" (1977, con su alumno John Reif ) se refería al análisis del flujo de datos y la ejecución simbólica en compiladores . [RL] Y su artículo "Symmetric space-bounded computation" (1982, con Christos Papadimitriou ) [LP82] fue el primero en definir máquinas de Turing simétricas y clases de complejidad espacial simétrica como SL (un análogo no dirigido o reversible de la complejidad espacial no determinista , Más tarde se demostró que coincidía con el espacio logarítmico determinista ). [54] En 1982, presidió el comité de programa del Simposio sobre Teoría de la Computación , [STOC] una de las dos principales conferencias de investigación en informática teórica , considerada en sentido amplio. [55]
Lewis es visitante de Ralston College y administrador vitalicio de Roxbury Latin School . [56] De 1995 a 2003 fue administrador de la organización benéfica de Edward Hopkins . [7] El periodista del New York Times, David Fahrenthold , es su yerno; [57] cuando todavía era estudiante de Harvard, Fahrenthold escribió sobre su futuro suegro:
He oído que si te sientas junto al río [es decir, el río Charles ] el tiempo suficiente, el decano del colegio Harry R. Lewis '68 viene y te reparte conjuntos de problemas de informática para que puedas volver al trabajo. [58]
{{cite conference}}: Mantenimiento CS1: varios nombres: lista de editores ( enlace )Véase en particular la pág. 205.Mi padre, hijo de un inmigrante luterano alemán por un lado y de un inmigrante judío ruso por el otro, debe haberse preguntado quiénes eran exactamente los individuos vencidos y rescatados que encontró mientras estaba en el ejército en Europa.
También escribió un programa al que llamó "Seis grados de Harry Lewis", un homenaje a uno de sus profesores de informática favoritos.