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 informática en la Universidad de Harvard y fue decano del Harvard College de 1995 a 2003.
Lewis ha desarrollado prácticamente toda su carrera en Harvard, donde ha sido galardonado por sus "contribuciones particularmente distinguidas a la enseñanza universitaria"; entre sus alumnos se incluyen futuros empresarios como Bill Gates y Mark Zuckerberg , y numerosos futuros profesores 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, jefe de anestesiología y su madre, 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 un padre luterano alemán y una madre judía rusa . [10] Después de graduarse summa cum laude al final del undécimo grado en la Escuela Latina Roxbury , ingresó en el Harvard College, donde durante un tiempo fue portero de lacrosse de tercera fila. [8 ]
Lewis ha dicho que descubrió que "no era un matemático real [una vez] que salí de las ligas amateurs 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] Como estudiante de último año, dio una clase de posgrado utilizando un programa de gráficos de 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 a mano a través de un lápiz en una tableta RAND , y podía ser "entrenado" para reconocer la escritura a mano de usuarios individuales. [6] [11] Como no había un programa de grado en ciencias de la computación per se en Harvard en ese momento, [L2] en 1968 Lewis recibió su BA ( summa , Quincy House ) en matemáticas aplicadas [5] [12] y fue elegido miembro de Phi Beta Kappa . [13]
Después de servir durante dos años en el Cuerpo de Comisionados del Servicio de Salud Pública de los Estados Unidos como oficial comisionado en el papel de matemático y científico informático para los Institutos Nacionales de Salud en Bethesda, Maryland , pasó un año en Europa como becario viajero Frederick Sheldon. Luego regresó a Harvard, donde obtuvo su maestría en 1973 y su doctorado en 1974, después de lo cual fue nombrado inmediatamente 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 sigue 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 donada por uno de los ex alumnos de Lewis en 2012. [18] [19]
Lewis ha señalado que –en gran medida debido a que su carrera comenzó cuando el campo de la informática “apenas existía” y Harvard no ofrecía casi ningún curso de informática a nivel de pregrado– él fue el creador de casi todos los cursos que ha enseñado. [20] Fue su propuesta, a fines de la década de 1970, que Harvard creara una especialidad específicamente para la informática [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 Computer Science & Engineering Undergraduate Teaching Award, 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 introductorios de ciencias de la computación y su mentoría de muchos futuros educadores". [23]
Seis de sus asistentes de enseñanza [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 llegado a ganar premios de enseñanza, incluyendo a Eric Roberts ( Association for Computing Machinery Karlstrom Award), [26] Nicholas Horton ( Robert V. Hogg Award), [27] Joseph A. Konstan ( University of Minnesota Distinguished University Teaching Professor, Graduate/Professional Teaching Award), [28] y Margo Seltzer ( Herchel Smith Professor of Computer Science en Harvard, premio de enseñanza Phi Beta Kappa , premio de enseñanza Abramson). [29]
Entre sus estudiantes universitarios se incluyen Mark Zuckerberg (cuyo sitio web "Six Degrees to Harry Lewis" fue un precursor de Facebook – seis grados 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 que 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 de los deportes en Estados Unidos. [7]
En 1994, Lewis fue coautor del "exhaustivo" Informe sobre la Estructura del Harvard College , [33] [34] y en 1995 [22] fue nombrado decano del Harvard College, responsable de los aspectos no académicos de la vida de los estudiantes de grado. [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 parte de menores de edad y la asignación aleatoria de estudiantes a casas de clase alta (contrarrestando la segregación social que se encontraba bajo el sistema anterior de asignación según la preferencia del estudiante). [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 "reformó la vida de los estudiantes de grado 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 inauguració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. [5] [40] [33] [41] Lewis, por ejemplo, enfatizó la importancia de las actividades extracurriculares, aconsejando 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 pasadas con sus amigos en lugar de con sus libros son, en un sentido más amplio, esenciales para su educación", mientras que Summers se quejó de un "Campamento Harvard" insuficientemente intelectual y amonestó 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 emitiera lo que The Harvard Crimson llamó "una crítica mordaz de la opinión de que aumentar el 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 desarrolladas 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 varios trabajos sobre educación superior y el impacto de las computadoras en la sociedad.
Basándose en gran medida en su experiencia como decano de Harvard College, su obra 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
La tarea fundamental de la educación universitaria es convertir a los jóvenes de dieciocho y diecinueve años en jóvenes de veintiuno y veintidós años, ayudarlos a crecer, a aprender quiénes son, a buscar un propósito mayor para sus vidas y a salir de la universidad como mejores seres humanos. [L06] : xii
En "Renovando 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":
La erosión continua de las preocupaciones cívicas en la educación superior estadounidense es alarmante y peligrosa ... [Las universidades] son un lugar natural para que los ciudadanos aprendan valores que van más allá de su propio bienestar personal, para que se vean a sí mismos como parte de una sociedad de derechos y responsabilidades mutuos. Deberían ser entornos en los que la participación en cuestiones relacionadas con la justicia y la bondad sea esencial para las rutinas diarias ... Una educación cívica eficaz debe involucrar simultáneamente las capacidades de los estudiantes para pensar intelectualmente, para emitir 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, incluido su impacto en la cultura y la privacidad:
Hoy en día 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 lugar del mundo, casi instantáneamente. Y los ordenadores son lo suficientemente potentes como para extraer significado de toda esa información, encontrar patrones y hacer conexiones en un abrir y cerrar de ojos.
En siglos pasados, otros tal vez soñaron que estas cosas podrían suceder, en fantasías utópicas o en pesadillas. Pero ahora están sucediendo. [TODOS] : xiii
Baseball as a Second Language: Explaining the Game Americans Use to Explain Everything Else (autopublicado como un experimento en acceso abierto en 2011) [46] analiza las muchas formas en que los conceptos e imágenes del béisbol se han abierto camino en el inglés estadounidense. [47] Se inspiró en las experiencias de Lewis explicando el béisbol a estudiantes internacionales. [46]
La tesis de licenciatura de Lewis que describe SHAPESHIFTER, "Dos aplicaciones de entrada de datos de computadora bidimensional impresa a mano", [L68] fue escrita por el pionero de los gráficos de computadora Ivan Sutherland [7] y presentada en la 23.ª Conferencia Nacional de la Asociación de Maquinaria Computacional en 1968. Fue seguida por 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, "Herbrand Expansions and Reductions of the Decision Problem ", fue supervisada por Burton Dreben y abordó el teorema de Herbrand . [7] [48] Su libro de 1979, Unsolvable classes of quantificational formulas [L79] complementó The Decision Problem: Solvable classes of quantificational formula 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 booleano , 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 que se conocen soluciones en tiempo polinomial : 2-satisfacibilidad (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, al mostrar que el problema todavía se puede resolver en tiempo polinomial cuando la entrada no está ya 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 hacer que cada cláusula obtenga dos literales positivos, convirtiendo la instancia re-signada en un conjunto de Horn, resulta ser 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] era O ( mn 2 ) para una instancia con m cláusulas y n variables, pero se puede reducir a tiempo lineal 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 . Dichos problemas son indecidibles en general, pero hay varias clases especiales de estos problemas, definidas restringiendo el orden en el que aparecen sus cuantificadores, que se sabía que eran decidibles. Una de estas clases especiales, por ejemplo, es la clase Bernays-Schönfinkel . Para cada una de estas clases especiales, Lewis establece límites temporales 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 inferiormente por una función exponencial simple 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 ocupaba de la lógica temporal . [L90] Este artículo acompañaba a un informe técnico anterior del Laboratorio de Computación de Aiken, "Análisis de estados finitos de circuitos asincrónicos con incertidumbre temporal limitada", donde propuso por primera vez la representación de un circuito asincrónico , con incertidumbre temporal limitada en eventos de transición de compuerta, como una 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 trabajos de investigación de Lewis, ampliamente citados, van más allá de la lógica. Su artículo "Evaluación simbólica y el gráfico de valores globales" (1977, con su estudiante John Reif ) se ocupó del análisis del flujo de datos y la ejecución simbólica en compiladores . [RL] Y su artículo "Computación simétrica limitada por el espacio" (1982, con Christos Papadimitriou ) [LP82] fue el primero en definir las máquinas de Turing simétricas y las clases de complejidad espacial simétrica como SL (un análogo no dirigido o reversible de la complejidad espacial no determinista , que más tarde se demostró que coincidía con el espacio logarítmico determinista ). [54] En 1982, presidió el comité del 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 del Ralston College y fideicomisario vitalicio de la Roxbury Latin School . [56] De 1995 a 2003 fue fideicomisario de la organización benéfica de Edward Hopkins . [7] El periodista del New York Times David Fahrenthold es su yerno; [57] mientras todavía era estudiante de Harvard, Fahrenthold escribió sobre su futuro suegro:
He oído que si te sientas a la orilla del río [es decir, el río Charles ] durante suficiente tiempo, el decano de la universidad, Harry R. Lewis '68, viene y reparte conjuntos de problemas de informática para que puedas volver a trabajar. [58]
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 con los que se encontró mientras estuvo en el ejército en Europa.
También escribió un programa al que llamó "Seis grados de Harry Lewis", un homenaje a su profesor favorito de informática.
{{cite book}}: CS1 maint: DOI inactivo a partir de agosto de 2024 ( enlace )