Kathleen Shanahan Fisher es una científica informática estadounidense que se especializa en lenguajes de programación y su implementación.
Kathleen Shanahan Fisher | |
---|---|
Nacionalidad | americano |
alma mater | Universidad Stanford |
Conocido por | Lenguaje de programación Moby |
Premios | Becario ACM |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad AT&T Labs Tufts |
Asesor de doctorado | John C. Mitchell |
El profesor Fisher es presidente de Ciencias de la Computación en la Universidad de Tufts y uno de los autores 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 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 Association for Computing Machinery "por sus contribuciones al diseño, la teoría y la práctica de lenguajes de programación, y por su servicio a la comunidad informática". [6] También es miembro de la Junta Directiva de Harvey Mudd College .
Temprana edad y educación
Fisher nació en 1969 en San Marino, California . Su padre era un profesional de inversiones y su madre era ama de casa. Se graduó de San Marino High School 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 le había comprado su papá. [7] Interesada en el material, tomó otra clase y se encontró con el Problema de detención . Encontró la prueba detrás de esto simple pero elegante y la experiencia marcó un punto de inflexión en su interés por la informática. [7] Se graduó en Stanford con distinción 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 profesional
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. De julio de 2008 a marzo de 2011, también fue profesora consultora de informática en Stanford. [1]
DARPA
En 2011 dejó AT&T Labs para convertirse en Gerente 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) . Los programas HACMS se centraron en hacer que los vehículos militares fueran más seguros frente a la piratería mediante métodos formales . Esta investigación utilizó un equipo rojo de piratas informáticos que intentarían entrar en un quadcopter con pleno conocimiento del sistema utilizando cualquier método además de una conexión física. Inicialmente, el quadcopter fue pirateado con relativa rapidez, pero al final del proyecto, el equipo rojo de clase mundial no pudo entrar en el quadcopter en absoluto. [10] Este proyecto fue un gran éxito y desde entonces se ha implementado en vehículos más complejos como el Little Bird no tripulado de Boeing . [10] Dejó DARPA en julio de 2014, pero continúa presidiendo su Grupo de Estudio ISAT. [1]
Universidad de Tufts
Simultáneamente a su investigación en DARPA, Fisher aceptó un trabajo como profesora de Ciencias de la Computación en la Universidad de Tufts, donde todavía trabaja hoy como directora de departamento. Su investigación actual se centra en el desarrollo de lenguajes de dominios específicos para realizar tareas particulares, utilizando métodos formales para desarrollar software más seguro y síntesis de programas de herramientas para manipular datos ad-hoc. [5] En Tufts ha enseñado lenguajes de programación y seminarios sobre diseño de lenguajes de programación. [5]
Honores y premios
Fisher ha recibido muchos honores, que incluyen: [1]
- Premio al Servicio Distinguido SIGPLAN, 2013.
- Documento PLDI distinguido, 2012.
- Documento nominado de los aspectos más destacados de la investigación SIGPLAN CACM, 2012.
- Premio PLDI al Mejor Papel, 2011.
- Becario ACM, 2010.
- Documento nominado sobre los aspectos más destacados de la investigación SIGPLAN CACM, 2008.
- Científico distinguido de ACM, 2007.
- Premio al Mejor Trabajo de Investigación, KDD, 2000.
- La Beca de Investigación Postdoctoral en Ciencias Matemáticas de la NSF, 1996, declinó.
- La Beca Postdoctoral del Presidente de la Universidad de California, 1996, declinó.
- 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
- ^ a b c d e f g h Curriculum vitae , consultado el 6 de febrero de 2020.
- ^ "Conferencia internacional sobre programación funcional 2004: información" . www.icfpconference.org . Consultado el 5 de septiembre de 2019 .
- ^ Comité de OOPSLA Archivado el 12 de junio de 2015 en la Wayback Machine , consultado el 10 de junio de 2015.
- ^ "Comité Organizador - PLDI 2019" . pldi19.sigplan.org . Consultado el 5 de septiembre de 2019 .
- ^ a b c Página de investigación , consultado el 6 de febrero de 2020.
- ^ [1] Citación del premio ACM Fellow , consultada el 10 de junio de 2015.
- ^ a b Entrevista de CRA , consultado el 6 de febrero de 2020.
- ^ Kathleen Fisher en el Proyecto de genealogía matemática
- ^ Tesis de doctorado , consultado el 6 de febrero de 2020.
- ^ a b Entrevista de Silver Bullets , consultado el 6 de febrero de 2020.
enlaces externos
- Página de inicio
- Perfil académico de Google