stringtranslate.com

Susan Owicki

Susan Owicki es científica informática , miembro de la Association for Computing Machinery (ACM) y una de las miembros fundadoras de la lista de correo de Systers para mujeres en informática. [1] Cambió de carrera a principios de la década de 2000 y se convirtió en terapeuta matrimonial y familiar con licencia .

Vida academica

Owicki recibió su doctorado en informática de la Universidad de Cornell en 1975. Su asesor fue David Gries . En su tesis, [2] inventó la libertad de interferencia , un método para demostrar que los programas concurrentes son correctos, que es la base de gran parte del trabajo posterior para desarrollar programas concurrentes con variables compartidas y demostrar que son correctos. Dos artículos resultaron directamente de su tesis: [3] [4]

Fue miembro del cuerpo docente de los Departamentos de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de Stanford durante 10 años. Sus intereses de investigación incluyen sistemas distribuidos, análisis de rendimiento y sistemas confiables para el comercio electrónico y publicó numerosos artículos y patentes sobre su investigación. [5]

En 1994, Owicki fue reconocida como becaria de la ACM por su trabajo de tesis Una técnica de prueba axiomática para programas paralelos I. [6]

carrera en la industria

Después de Stanford, Susan Owicki trabajó para Digital Equipment Corporation (DEC).

Posteriormente trabajó en el Laboratorio de Investigación Arquitectónica y Tecnologías Estratégicas (STAR ​​lab), donde ocupó el cargo de Directora Asociada. El laboratorio STAR fue el primer laboratorio dedicado a la investigación en gestión de derechos digitales y tecnologías relacionadas con el comercio electrónico. [5]

Pasó cuatro años como consultora independiente trabajando en el desempeño de televisión interactiva y entrega de video en tiempo real.

Vida personal

Owicki está casada con Jack Owicki y tiene dos hijos. [5]

Publicaciones

Las publicaciones de Owicki incluyen

Una lista más completa de publicaciones está disponible en línea. [8]

Patentes

Las patentes de Owicki incluyen

Terapeuta matrimonial y familiar

Owicki también es terapeuta matrimonial y familiar con licencia. [9] Mantiene una práctica privada y forma parte del personal del centro de ayuda para profesores y personal de la Universidad de Stanford . [10]

Referencias

  1. ^ "Systers fundadoras» Instituto Anita Borg para la Mujer y la Tecnología ". Anitaborg.org . Consultado el 24 de octubre de 2012 .
  2. ^ Owicki, Susan S. (agosto de 1975). Técnicas de prueba axiomática para programas paralelos (tesis doctoral). Universidad de Cornell. hdl : 1813/6393 . Consultado el 1 de julio de 2022 .
  3. ^ ab Owicki, Susan; Gries, David (25 de junio de 1976). "Una técnica de prueba axiomática para programas paralelos I". Acta Informática . 6 (4). Berlín: Springer (Alemania): 319–340. doi :10.1007/BF00268134. S2CID  206773583.
  4. ^ Owicki, Susan (mayo de 1976). "Verificación de propiedades de programas paralelos: un enfoque axiomático". Comunicaciones de la ACM . 19 (5): 279–285. doi : 10.1145/360051.360224 . S2CID  9099351.
  5. ^ a b "CRA-W". Cra.org. Archivado desde el original el 21 de septiembre de 2013.
  6. ^ "ACM: Premio becarios / Susan S Owicki". Fellows.acm.org . Consultado el 24 de octubre de 2012 .
  7. ^ "Premio al trabajo sobre lenguajes y sistemas de programación ACM". ACM: Asociación de Maquinaria de Computación. 1977 . Consultado el 7 de julio de 2022 .
  8. ^ "DBLP: Susan S. Owicki". Informatik.uni-trier.de . Consultado el 24 de octubre de 2012 .
  9. ^ Sra. Susan Owicki, terapeuta matrimonial y familiar, MA. "Susan Owicki, terapeuta matrimonial y familiar, Palo Alto, CA 94306 | Directorio de terapias de hoy en psicología". Palo Alto, CA 94306: Therapists.psychologytoday.com . Consultado el 24 de octubre de 2012 .{{cite web}}: CS1 maint: location (link)
  10. ^ "Universidad de Stanford - Centro de ayuda para profesores y personal - Libros sugeridos". Centro de ayuda.stanford.edu. Archivado desde el original el 23 de octubre de 2012 . Consultado el 24 de octubre de 2012 .

enlaces externos