Susan Owicki es científica informática , becaria de la Asociación de Maquinaria de Computación (ACM) y una de las miembros fundadoras de la lista de correo Systers para mujeres en informática. [1] Ella 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 ciencias de la computación de la Universidad de Cornell en 1975. Su asesor fue David Gries . [2] En Cornell, inventó Interference Freedom, un método para demostrar que los programas concurrentes eran correctos. [2]
Fue miembro de la facultad en la Universidad de Stanford para los Departamentos de Ingeniería Eléctrica y Ciencias de la Computación 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. [3]
En 1994 Owicki fue reconocido como un ACM Fellow por su trabajo de tesis una axiomática Técnica Prueba de Programas I paralelo . [4]
Carrera de la industria
Después de Stanford, Susan Owicki fue empleada por Digital Equipment Corporation (DEC).
Posteriormente trabajó en el Laboratorio de Investigaciones Arquitectónicas y Tecnologías Estratégicas (laboratorio STAR), donde ocupó el cargo de Directora Asociada. STAR lab fue el primer laboratorio dedicado a la investigación en gestión de derechos digitales y tecnologías de comercio electrónico relacionadas. [3]
Pasó cuatro años como consultora independiente trabajando en el desempeño de televisión interactiva y transmisión de video en tiempo real.
Vida personal
Owicki está casado con Jack Owicki y tiene dos hijos. [3]
Publicaciones
Las publicaciones de Owicki incluyen
- Susan Owicki; David Gries (1976). "Una técnica de prueba axiomática para programas paralelos I". Acta informatica. (6): 319-340. (Ganador del premio ACM de 1977 al mejor artículo en lenguajes y sistemas de programación. [5] )
- Forest Baskett; James H. Clark ; John L. Hennessy ; Susan Owicki; Brian Reid . "Investigación en Diseño y Arquitectura de Sistemas VLSI". Universidad Stanford. 1981.
- Susan S Owicki; Leslie Lamport . "Demostración de las propiedades de vitalidad de los programas concurrentes". ACM TOPLAS . (4: 3): 455-495.
- Amy L. Lansky y Susan S. Owicki, "GEM: A Tool for Concurrency Specification and Verification" , en Actas del Segundo Simposio Anual de ACM sobre Principios de Computación Distribuida , ACM, Montreal, Quebec, Canadá, 1983.
- Thomas E. Anderson; Susan S. Owicki; James B. Saxe ; Charles P. Thacker (1993). "Programación de conmutadores de alta velocidad para redes de área local". ACM TOCS. (11: 4): 319-352.
Una lista más completa de publicaciones está disponible en línea. [6]
Patentes
Las patentes de Owicki incluyen
- Patente de EE . UU . 5,446,901 - Sistema de recolección de basura distribuida tolerante a fallas y método para recolectar objetos de red
- Patente de EE . UU . 7,770,016 - Sistemas y métodos para software de marca de agua y otros medios
Terapeuta matrimonial y familiar
Owicki también es terapeuta matrimonial y familiar con licencia. [7] Mantiene una práctica privada y forma parte del personal del centro de ayuda para el personal y la facultad de la Universidad de Stanford . [8]
Referencias
- ^ "Fundadores de sistemas» Instituto Anita Borg para la mujer y la tecnología " . Anitaborg.org . Consultado el 24 de octubre de 2012 .
- ^ a b David Gries (27 de julio de 1973). "40th Ann. Symposium, CS @ Cornell" . Cs.cornell.edu . Consultado el 24 de octubre de 2012 .
- ^ a b c "CRA-W" . Cra.org. Archivado desde el original el 21 de septiembre de 2013.
- ^ "ACM: Premio Fellows / Susan S Owicki" . Fellows.acm.org . Consultado el 24 de octubre de 2012 .
- ^ "Premios ACM" . Awards.acm.org . Consultado el 24 de octubre de 2012 .
- ^ "DBLP: Susan S. Owicki" . Informatik.uni-trier.de . Consultado el 24 de octubre de 2012 .
- ^ Sra. Susan Owicki Terapeuta matrimonial y familiar, MA. "Susan Owicki, terapeuta matrimonial y familiar, Palo Alto, CA 94306 | Directorio de terapia de psicología actual" . Palo Alto, CA 94306: Therapists.psychologytoday.com . Consultado el 24 de octubre de 2012 .Mantenimiento de CS1: ubicación ( enlace )
- ^ "Universidad de Stanford - Centro de ayuda para profesores y personal - Libros sugeridos" . Helpcenter.stanford.edu. Archivado desde el original el 23 de octubre de 2012 . Consultado el 24 de octubre de 2012 .
enlaces externos
- Bibliografía completa de publicaciones.
- OwickiMFT.com, asesoría con Susan Owicki, MFT