Hispanopedia Wiki
Articulo de referencia

Susan B. Horwitz

[[Institut National de Recherche en Informatique et en Automatique]] (INRIA) in Rocquencourt, France (1982-83) [[University of Copenhagen]] (1993-94) [[Consiglio Nazionale delle...

Hispanopedia WikiContenido en espanolLectura gratuita

Susan Beth Horwitz (6 de enero de 1955 - 11 de junio de 2014) fue una científica informática estadounidense conocida por su investigación sobre lenguajes de programación e ingeniería de software , y en particular sobre segmentación de programas y análisis de flujo de datos.

Primeros años y educación

Horwitz nació en Berkeley, California, el 6 de enero de 1955, pero pasó su infancia en Syracuse, Nueva York. [ 1 ] Horwitz recibió una licenciatura magna cum laude en etnomusicología de la Universidad de Wesleyan en 1977, una maestría en ciencias de la computación de la Universidad de Cornell en 1982 y un doctorado en ciencias de la computación de la Universidad de Cornell en 1985. [ 1 ] Se unió al Departamento de Ciencias de la Computación de la Universidad de Wisconsin en Madison como profesora asistente en 1985. Fue ascendida a profesora asociada en 1991 y a profesora titular en 1996. Fue subdirectora de 2004 a 2007. Tuvo dos nombramientos de profesora visitante de un año en Francia y uno en Dinamarca e Italia. Horwitz se jubiló en 2014 y se le otorgó el estatus de profesora emérita. [ 2 ] Murió el 11 de junio de 2014, a los 59 años, de cáncer de estómago . [ 3 ] A Horwitz le sobrevivió su esposo, Thomas Reps.

Carrera

Horwitz hizo contribuciones a la industria del desarrollo de software. En 1995, desarrolló un algoritmo que Microsoft incorporó a su herramienta SLAM , la cual detectaba los errores que causaban aproximadamente el 85% de los fallos en Windows . [ 1 ]

Horwitz ocupaba el puesto 37 en la clasificación de lenguajes de programación en la base de datos Microsoft Academic Search en el momento de su muerte (2014). [ 1 ]

Fue una maestra galardonada en su institución y fue la fundadora de Peer Led Team Learning for Computer Science (PLTLCS), creando el programa Wisconsin Emerging Scholars-Computer Science (WES-CS) en 2004. [ 4 ] Se desempeñó como directora de WES-CS de 2014 a 2014. [ 1 ] En 2006, junto con la co-PI Barbara G. Ryder , recibió una subvención de la NSF para agregar fondos de Microsoft para el programa WES-CS. [ 5 ] El programa incluyó el reclutamiento directo de estudiantes de primer año de grupos subrepresentados e implementó técnicas de aprendizaje en equipo en las clases introductorias del departamento de ciencias de la computación. [ 6 ] Esta financiación de la subvención permitió la creación de una colaboración entre ocho escuelas que implementan el aprendizaje dirigido por pares (PLTLCS), incluyendo la Universidad de Wisconsin – Madison con Horwitz, la Universidad de Duke, Georgia Tech, la Universidad de Rutgers, la Universidad de Wisconsin en Milwaukee, la Universidad de Purdue, Beloit College y Loyola College. [ 5 ] Este consorcio publicó un artículo en 2009 que demostró que el reclutamiento activo combinado con el aprendizaje en equipo dirigido por pares es un enfoque eficaz para atraer y retener a estudiantes subrepresentados en una clase introductoria de Ciencias de la Computación. [ 7 ]

Horwitz fue reconocida por su liderazgo en la promoción de la informática en las escuelas secundarias. Fue miembro del Comité de Desarrollo de Pruebas de Ciencias de la Computación de Nivel Avanzado de Educational Testing Services durante diez años (1987-1997), incluyendo la presidencia del comité durante cinco años (1992-1997), en un momento en que el lenguaje de programación para el examen cambió de Pascal a C ++ .

Premios

Artículos destacados

Horwitz recibió varios premios por su investigación. Su artículo de 1988, "Interprocedural slicing using dependence graphs" (junto con T. Reps y D. Binkley), fue seleccionado como uno de los 50 mejores artículos presentados en la Conferencia ACM SIGPLAN sobre Diseño e Implementación de Lenguajes de Programación (PLDI) durante el período 1979-1999. [ 8 ] [ 9 ] Su artículo "Análisis de flujo de datos interprocedimental bajo demanda" (con Thomas Reps y Mooly Sagiv) en SIGSOFT '95 fue seleccionado como uno de los mejores artículos de la conferencia e invitado a su envío a ACM Transactions on Software Engineering and Methodology 1995. [ 10 ] El artículo "Análisis preciso de flujo de datos interprocedimental con aplicaciones a la propagación constante" (con M. Saviv y T. Reps) en TAPSOFT '95 fue seleccionado como uno de los mejores artículos de la conferencia e invitado a su envío a Theoretical Computer Science 1995. [ 11 ] Su artículo "Reducción de la sobrecarga del análisis dinámico" (con S. Yong) en 2002 en el Segundo Taller sobre Verificación en Tiempo de Ejecución fue seleccionado como uno de los mejores artículos del taller e invitado a su envío a un número especial de la revista Formal Methods in System Design. [ 12 ] En 2011, recibió un premio ACM SIGSOFT Retrospective Impact Paper Award (junto con T. Reps, M. Sagiv y G. Rosay) por su artículo "Speeding up slicing", que apareció en el Simposio SIGSOFT sobre Fundamentos de la Ingeniería de Software (FSE) en 1994. [ 13 ]

Premios

  • Premio Presidencial de la NSF para Jóvenes Investigadores (1989) [ 2 ]
  • Premio a la Excelencia Docente de la Facultad de Letras y Ciencias de la Universidad de Wisconsin, 1992
  • Premio William H. Kiekhofer a la Excelencia en la Enseñanza de la Universidad de Wisconsin, 1993.
  • Departamento de Ciencias de la Computación de la Universidad de Wisconsin Premio Carolyn Rosner a la Excelencia Docente, 1997 [ 14 ]
  • Premio a la Excelencia Docente de la Facultad de Letras y Ciencias de la Universidad de Wisconsin, 2011 [ 15 ]

Referencias

  1. 1 2 3 4 5 "Susan Beth Horwitz, 1955-2014" . Times Higher Education (THE) . 17 de julio de 2014. Consultado el 20 de julio de 2026 .
  2. 1 2 "Susan B. Horwitz" . pages.cs.wisc.edu . Consultado el 20 de julio de 2026 .
  3. ↑ Madison.com (5 de julio de 2014). "Horwitz, Susan Beth" . Madison.com . Consultado el 6 de julio de 2014 .
  4. ↑ "Fallece la científica informática y dedicada educadora Susan B. Horwitz" . UW News . 15 de julio de 2014. Consultado el 20 de julio de 2026 .
  5. 1 2 "NSF 0420422: Investigación colaborativa ITWF: Aumentar la representación de mujeres y minorías de pregrado en ciencias de la computación" . people.cs.vt.edu . Recuperado el 20 de julio de 2026 .
  6. ↑ Rashid, Foto: Bob (16 de agosto de 2006). "El programa trabaja para formar una nueva generación diversa de científicos informáticos" . Noticias . Consultado el 20 de julio de 2026 .
  7. ↑ Susan Horwitz; Susan H. Rodger; Maureen Biggers; David Brinkley; Dawn Gundermann; Susanne Hambrusch ; Steven Huss-Lederman; Barbara Ryder y Monica Sweat (2009). "Uso del aprendizaje en equipo dirigido por pares para aumentar la participación y el éxito de grupos subrepresentados en la introducción a la informática" . Boletín ACM SIGCSE . 41 (1): 163–167 . doi : 10.1145/1539024.1508925 .
  8. ↑ S. Horwitz, T. Reps y D. Binkley (1988). «Interprocedural slicing using dependence graphs». Actas de la conferencia ACM SIGPLAN 1988 sobre diseño e implementación de lenguajes de programación - PLDI '88 . Vol. 23. págs. 35–46 . CiteSeerX 10.1.1.698.7182 . doi : 10.1145/53990.53994 . ISBN    0897912691. S2CID 3820604 . 
  9. ↑ Hicks, Michael (18 de agosto de 2014). "Recordando a la profesora Susan B. Horwitz - La entusiasta de los lenguajes de programación" . The Programming Languages ​​Enthusiast . Consultado el 20 de julio de 2026 .
  10. ↑ Susan Horwitz, Thomas Reps y Mooly Sagiv (1995). «Análisis de flujo de datos interprocedimental bajo demanda» . Actas del 3er simposio ACM SIGSOFT sobre Fundamentos de la ingeniería de software . Vol. 20. págs. 104-115 . doi : 10.1145/222124.222146 . ISBN   0-89791-716-2. S2CID 10920359 . 
  11. ↑ Mooly Sagiv, Thomas Reps y Susan Horwitz (1996). "Análisis preciso de flujo de datos interprocedimental con aplicaciones a la propagación constante" . Theoretical Computer Science . 167 ( 1–2 ): 131–70 . doi : 10.1016/0304-3975(96)00072-2 .
  12. ↑ Suan Yong y Susan Horwitz (2005). "Uso del análisis estático para reducir la sobrecarga del análisis dinámico". Métodos formales en el diseño de sistemas . 27 (3): 313– 34. CiteSeerX 10.1.1.61.9940 . doi : 10.1007/s10703-005-3401-0 . S2CID 5733462 .  
  13. ↑ Thomas Reps, Susan Horwitz, Mooly Sagiv y Genevieve Rosay (1994). «Acelerando el proceso de segmentación». Actas del 2.º simposio ACM SIGSOFT sobre Fundamentos de la ingeniería de software - SIGSOFT '94 . Vol. 19. págs. 11–20 . doi : 10.1145/193173.195287 . ISBN   978-0897916912. S2CID 2651251 . {{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
  14. ↑ Departamento de Ciencias de la Computación de la Universidad de Wisconsin (29 de marzo de 2014). "Premios del Departamento de Ciencias de la Computación" . Departamento de Ciencias de la Computación de la Universidad de Wisconsin . Consultado el 29 de marzo de 2014 .
  15. ↑ Universidad de Wisconsin-Madison (18 de octubre de 2011). "El Programa de Honores de L&S honra a siete profesores distinguidos" . Universidad de Wisconsin-Madison . Consultado el 29 de marzo de 2014 .