Kathleen Fisher
Científico informático estadounidense
Kathleen Shanahan Fisher
NacionalidadAmericano
Alma máterUniversidad de Stanford
Conocido porLenguaje de programación Moby
PremiosMiembro de la ACM
Carrera científica
CamposCiencias de la Computación
InstitucionesLaboratorios AT&T
de la Universidad Tufts
Asesor de doctoradoJuan C. Mitchell

Kathleen Shanahan Fisher es una científica informática estadounidense que se especializa en lenguajes de programación y su implementación.

La profesora Fisher es catedrática de Ciencias de la Computación en la Universidad de Tufts y una de las autoras del lenguaje de descripción de datos PADS y del lenguaje de programación concurrente experimental Moby. [1] Fue presidenta del Grupo de Interés Especial en Lenguajes de Programación ( SIGPLAN ) de la ACM y ha presidido tres de sus principales conferencias: ICFP en 2004, [2] OOPSLA en 2011, [3] y PLDI en 2019. [4] Fue cofundadora de la serie de talleres de tutoría de lenguajes de programación (PLMW) de SIGPLAN en un esfuerzo por aumentar el número de mujeres y minorías subrepresentadas en la informática y fue copresidenta del Comité sobre la Condición de la Mujer de la Asociación de Investigación en Computación durante tres años. [5] En 2010 fue elegida miembro de la Asociación de Maquinaria Computacional "por sus contribuciones al diseño, la teoría y la práctica del lenguaje de programación, y por su servicio a la comunidad informática". [6] También es miembro del Consejo de Administración del Harvey Mudd College .

Vida temprana y educación

Fisher nació en 1969 en San Marino, California . Su padre era un profesional de la inversión y su madre era ama de casa. Se graduó de la escuela secundaria de San Marino antes de asistir a la Universidad de Stanford . [1] En su primer año decidió tomar un curso de informática para aprender a usar la computadora IBM PS/2 Modelo 60 que su padre le había comprado. [7] Interesada en el material, tomó otra clase y se encontró con el Problema de la Detención . Encontró la prueba detrás de él simple pero elegante y la experiencia marcó un punto de inflexión en su interés por la informática. [7] Se graduó de Stanford con honores en 1991 con una licenciatura en Matemáticas y Ciencias Computacionales y permaneció en Stanford para sus estudios de posgrado. [1] En 1996 se graduó con un doctorado en Ciencias de la Computación bajo la supervisión del Dr. John C. Mitchell . [1] [8] Su tesis se tituló Sistemas de tipos para lenguajes orientados a objetos. [9]

Carrera

Carrera temprana

Después de graduarse, Fisher comenzó a trabajar en AT&T Labs Research . [1] En abril de 2002 fue ascendida a miembro principal del personal técnico. Desde julio de 2008 hasta marzo de 2011, también fue profesora consultora de informática en Stanford. [1]

Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA)

En 2011 dejó AT&T Labs para convertirse en directora de programas en DARPA . En DARPA fundó y dirigió los programas High-Assurance Cyber ​​Military Systems (HACMS) y Probabilistic Programming for Advancing Machine Learning (PPAML). El programa HACMS se centró en aprovechar los métodos formales para proteger los vehículos militares de los ataques informáticos. El programa utilizó un equipo rojo de piratas informáticos que intentaron entrar en un cuadricóptero con pleno conocimiento del sistema utilizando cualquier método además de una conexión física. Inicialmente, el equipo rojo pudo comprometer rápidamente el cuadricóptero, pero al final del programa no pudieron entrar en el cuadricóptero en absoluto. [10] Este programa fue un gran éxito y desde entonces se ha trasladado a vehículos más complejos como el Unmanned Little Bird de Boeing . [10] Fisher dejó DARPA en julio de 2014, pero sigue presidiendo su grupo de estudio ISAT. [1]

Universidad de Tufts

Al mismo tiempo que realizaba sus investigaciones en DARPA, Fisher aceptó un puesto como profesora de Ciencias de la Computación en la Universidad de Tufts, donde sigue trabajando hoy como directora del Departamento. Su investigación actual se centra en el desarrollo de lenguajes específicos de dominio , la síntesis de programas y el uso de métodos formales para proteger el software. [5] En Tufts ha impartido clases de lenguajes de programación, así como seminarios sobre diseño de lenguajes de programación. [5]

Honores y premios

Fisher ha recibido numerosos honores, entre ellos: [1]

  • Miembro de la Asociación Estadounidense para el Avance de la Ciencia 2021. [11]
  • Premio al Servicio Distinguido SIGPLAN, 2013.
  • Documento destacado del PLDI, 2012.
  • Documento nominado sobre aspectos destacados de la investigación del SIGPLAN CACM, 2012.
  • Premio PLDI al mejor artículo, 2011.
  • Becario ACM, 2010.
  • Documento nominado sobre aspectos destacados de la investigación del SIGPLAN CACM, 2008.
  • Científico distinguido de la ACM, 2007.
  • Premio al mejor artículo de investigación, KDD, 2000.
  • Beca de investigación postdoctoral en ciencias matemáticas de la NSF, 1996, rechazada.
  • La beca postdoctoral del Presidente de la Universidad de California, 1996, fue rechazada.
  • Premio al Servicio Estudiantil, Departamento de Ciencias de la Computación de Stanford, 1995.
  • Beca de la Fundación Hertz, 1994 a 1996.
  • Beca Finch, 1993.
  • Beca de investigación de posgrado de la NSF, 1991 a 1994.

Referencias

  1. ^ abcdefgh Curriculum vitae, recuperado el 2020-02-06.
  2. ^ "Conferencia internacional sobre programación funcional 2004: información". www.icfpconference.org . Consultado el 5 de septiembre de 2019 .
  3. ^ Comité OOPSLA Archivado el 12 de junio de 2015 en Wayback Machine , consultado el 10 de junio de 2015.
  4. ^ "Comité Organizador - PLDI 2019". pldi19.sigplan.org . Consultado el 5 de septiembre de 2019 .
  5. ^ Página de investigación de abc, consultada el 6 de febrero de 2020.
  6. ^ [1] Citación del premio ACM Fellow , consultado el 10 de junio de 2015.
  7. ^ Entrevista ab CRA, consultada el 6 de febrero de 2020.
  8. ^ Kathleen Fisher en el Proyecto de Genealogía Matemática
  9. ^ Tesis doctoral, consultada el 6 de febrero de 2020.
  10. ^ Entrevista de Silver Bullets, consultada el 6 de febrero de 2020.
  11. ^ "Becarios 2021". Asociación Estadounidense para el Avance de la Ciencia . Consultado el 28 de enero de 2022 .
  • Página de inicio
  • Publicaciones de Kathleen Fisher indexadas por Google Scholar
Recuperado de "https://es.wikipedia.org/w/index.php?title=Kathleen_Fisher&oldid=1245483494"