Harry R. Lewis - Harry R. Lewis

Harry R. Lewis
Nació	1947 (73 a 74 años de edad) Bostón
Nacionalidad	americano
Título	Gordon McKay Profesor de Ciencias de la Computación (1981-presente) Decano de Harvard College (1995-2003) Profesor de Harvard College (2003-2008)
Esposos)	Marlyn McGrath (1968-presente)
Antecedentes académicos
Educación	Roxbury Latin School Universidad de Harvard
Tesis	Expansiones y reducciones de Herbrand del problema de decisión  (1974)
Asesor de doctorado	Burton Dreben
Trabajo académico
Disciplina	Ciencias de la computación Lógica matemática
Subdisciplina	Decidibilidad teoría de la computación
Instituciones	Escuela de Ingeniería y Ciencias Aplicadas de Harvard
Estudiantes de doctorado
Estudiantes notables
Sitio web	http://people.seas.harvard.edu/~lewis/

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 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.

Lewis 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 de la facultad 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 .

Una nueva cátedra de Ingeniería y Ciencias Aplicadas, otorgada por un ex alumno, llevará el nombre de Lewis y su esposa cuando se jubilen.

Educación y carrera

Lewis demostrando su proyecto de tesis senior, SHAPESHIFTER, a través de un enlace de video a una clase en otra sala​

Lewis nació en Boston y creció en Wellesley, Massa-chu-adoquines . Sus padres eran médicos: su padre, jefe de anestesiología de un hospital y su madre, directora de la Escuela Estatal Dever para niños con discapacidades intelectuales . Su padre era un veterano de la Segunda Guerra Mundial e hijo de un padre luterano alemán y una madre judía rusa . Después de graduarse summa cum laude al final del undécimo grado en la Roxbury Latin School de Boston , ingresó en Harvard College, donde fue por un tiempo un tercer portero de lacrosse .

Lewis ha dicho que descubrió que "yo 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. En su último año, dio una conferencia en 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 reconoció automáticamente las fórmulas y los comandos ingresados ​​a mano mediante un lápiz óptico en una tableta RAND , y podría ser "entrenado" para reconocer la escritura a mano de usuarios individuales. No habiendo ningún programa de grado en ciencias de la computación per se en Harvard en ese momento, en 1968 Lewis recibió su BA ( summa , Quincy House ) en matemáticas aplicadas y fue elegido miembro de Phi Beta Kappa .

Después de dos años como 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, después de lo cual fue nombrado profesor asistente de Ciencias de la Computación de inmediato. Se convirtió en profesor asociado en 1978 y ha sido profesor de ciencias de la computación Gordon McKay desde 1981.

Lewis planea jubilarse en 2020, momento en el que una nueva cátedra de Ingeniería y Ciencias Aplicadas, otorgada por el ex alumno Larry Lebowitz, llevará el nombre de Lewis y de su esposa Marlyn McGrath, directora de admisiones de Harvard.

Enseñando

Docencia en 2012

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, originó casi todos los cursos que impartió. Fue su propuesta, a fines de la década de 1970, que Harvard creara una especialización específicamente en ciencias de la computación (que hasta entonces había sido una rama del programa de matemáticas aplicadas de Harvard).

De 2003 a 2008 fue designado profesor de la Universidad de Harvard en reconocimiento a "contribuciones particularmente distinguidas a la enseñanza de pregrado". Seis de sus asistentes de enseñanza son ahora miembros de la facultad de Harvard y muchos otros son profesores de informática (o disciplinas relacionadas) en otros lugares; muchos han ganado premios de enseñanza ellos mismos, incluidos Eric Roberts ( Premio Karlstrom de la Asociación de Maquinaria de Computación ), Nicholas Horton ( Premio Robert V. Hogg ), Joseph A. Konstan ( Profesor de Enseñanza Distinguido de la Universidad de Minnesota, Premio de Enseñanza Profesional / Posgrado ) 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).

Entre sus estudiantes de pregrado se encuentran Mark Zuckerberg (cuyo sitio web "Six Degrees to Harry Lewis" fue un precursor de Facebook  ; seis grados son una referencia a la hipótesis del mundo pequeño ), el fundador de Microsoft , Bill Gates (quien resolvió un problema teórico abierto que Lewis había descrito en clase), y nueve futuros profesores de Harvard.

Lewis es autor o coautor de tres libros de texto de pregrado:

• Introducción a la programación informática y las estructuras de datos utilizando MACRO-11 (1981). MACRO-11 era un lenguaje ensamblador para computadoras PDP-11 .
• Elementos de la teoría de la computación (1981, con Christos H. Papadimitriou ) cubre la teoría de autómatas , la teoría de la complejidad computacional y la teoría de lenguajes formales ; su inclusión de la teoría de la complejidad y la lógica matemática fue innovadora para su época. Se le ha llamado un "texto tradicional excelente", pero cuyo estilo escueto y fuertemente matemático puede resultar intimidante. Aunque está destinado a estudiantes universitarios, también se ha utilizado para cursos introductorios de posgrado.
• Estructuras de datos y sus algoritmos (1991, con Larry Denenberg).

Lewis también imparte un curso sobre atletismo amateur y la historia social del deporte en Estados Unidos.

Decano de la Universidad de Harvard

En Halloween de 1982, los asistentes de enseñanza de Lewis aparecieron en su casa con el disfraz de "Harry Lewis", que incluía su bigote y su pipa, entonces característicos. El futuro profesor de Harvard, Margo Seltzer, está a la izquierda.

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. 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 de edad y la asignación aleatoria de estudiantes a casas de clases altas ( contrarrestar la segregación social encontrada bajo el sistema anterior de asignación según la preferencia del estudiante). También presionó para mejorar la asesoría y la atención médica. Un colega ha dicho que Lewis "reformó la vida de los estudiantes con más fuerza que cualquier otra persona en la memoria reciente".

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. Lewis, por ejemplo, enfatizó la importancia de las actividades extracurriculares, y advirtió a los estudiantes de primer año que "la flexibilidad en su horario, el tiempo no estructurado en su día y las noches que pasa con sus amigos en lugar de sus libros son, en un sentido más amplio, esenciales para su educación ", mientras que Summers se quejó de un" Camp Harvard "insuficientemente intelectual y advirtió a los estudiantes que" Ustedes están aquí para trabajar y su negocio aquí es aprender ". Después de que Lewis emitiera lo que The Harvard Crimson llamó "una acusación 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, destituido perentoriamente como decano en marzo de 2003.

Lewis continuó enseñando durante su tiempo como decano. En 2015 se desempeñó como Decano interino de la Escuela de Ingeniería y Ciencias Aplicadas de Harvard .

Escritos sobre educación y tecnología

Lewis es miembro de la facultad del Berkman Center for Internet & Society de Harvard . Además de sus publicaciones de investigación y libros de texto, ha escrito varios 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

trabajo fundamental de la educación de pregrado  ... convertir dieciocho y diecinueve años en veintiuno y veintidós años, ayudarlos a crecer, a aprender quiénes son, a buscar un propósito más amplio por sus vidas y dejar la universidad como mejores seres humanos.

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 dignas pero descoordinadas ha desplazado el compromiso de la educación superior con el bien común":

La erosión constante 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  ... Una educación cívica eficaz debe involucrar simultáneamente las capacidades de los estudiantes para pensar intelectualmente, para emitir juicios morales y para [actuar 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 principales responsabilidades.

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 del 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 todo el mundo, casi al instante. Y las computadoras son lo suficientemente poderosas como para extraer significado de toda esa información, para encontrar patrones y hacer conexiones en un abrir y cerrar de ojos.

En siglos pasados, otros pueden haber soñado que estas cosas podían suceder, en fantasías utópicas o en pesadillas. Pero ahora están sucediendo.

Béisbol como segundo idioma: explicación del juego que usan los estadounidenses para explicar todo lo demás (autoeditado 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 introducido en el inglés estadounidense. Se inspiró en las experiencias de Lewis al explicar el béisbol a estudiantes internacionales.

Investigar

Lewis en su oficina (2016)

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

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 se ocupó del teorema de Herbrand . Su libro de 1979, Clases insolubles de fórmulas cuantificativas complementa El problema de decisión: Clases solubles de fórmulas cuantificativas de Dreben y Warren Goldfarb .

Su artículo de 1978 "Cambiar el nombre de 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 de tiempo polinomial : 2-satisfacibilidad (donde cada cláusula de la fórmula tiene dos literales) y Horn-satisfiability (donde cada cláusula tiene como máximo una literal positivo). Lewis amplió la segunda de estas subclases, mostrando que el problema aún 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 renovada en un conjunto de Horn, resulta ser expresable como una instancia de 2-satisfacibilidad, el otro caso resoluble 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. El tiempo para la reasignación de signo en la versión original de lo Lindhorst y Shahrokhi llamados "este elegante resultado" fue O  ( mn ² ) de una instancia con m cláusulas y n variables de, pero se puede reducir a tiempo lineal rompiendo cláusulas de entrada largos en cláusulas más pequeñas y aplicando un algoritmo de 2-satisfacibilidad más rápido.

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 . Tales problemas son indecidibles en general, pero hay varias clases especiales de estos problemas, definidos restringiendo el orden en 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 de tiempo exponenciales estrictos para la complejidad del tiempo 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 por arriba como por abajo por una función exponencial simple de la longitud de entrada. 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".

"Una lógica de intervalos de tiempo concretos" (1990) se refería a la lógica temporal . Este artículo acompañó a un informe técnico anterior del Laboratorio de Computación de Aiken, "Análisis de estado finito 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 puerta, como un estado finito máquina . Este artículo fue el primer trabajo sobre la verificación de las propiedades del tiempo que modeló el tiempo de forma asincrónica y continua, sin discretizar el tiempo ni imponer un reloj global.

Algunos de los otros trabajos de investigación de Lewis muy citados se extienden más allá de la lógica. Su artículo "Evaluación simbólica y el 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 . Y su artículo "Computación simétrica limitada por el espacio" (1982, con Christos Papadimitriou ) 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 , que luego se demostró que coincidía con la complejidad espacial determinista). espacio logarítmico ). En 1982, presidió el comité del programa del Simposio sobre Teoría de la Computación , uno de los dos principales congresos de investigación en informática teórica , considerado en general.

Personal

Lewis es visitante de Ralston College y fideicomisario vitalicio de Roxbury Latin School . De 1995 a 2003 fue Fideicomisario de la organización benéfica de Edward Hopkins . El periodista del Washington Post David Fahrenthold es su yerno; cuando todavía era un 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 de la universidad Harry R. Lewis '68 viene y reparte conjuntos de problemas de informática para que puedas volver al trabajo.

Notas

Publicaciones Seleccionadas

Referencias

enlaces externos

• Blog de Lewis "Bits and Pieces"
• "Blown to Bits" antiguo blog de Lewis