informático estadounidense
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
- Susan Owicki; David Gries (1976). "Una técnica de prueba axiomática para programas paralelos I" [3] (ganador del premio en artículo sobre lenguajes y sistemas de programación ACM de 1977. [7] )
- Cesta del bosque; 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 vida de los programas concurrentes". ACM TOPLAS . (4:3): 455-495.
- Amy L. Lansky y Susan S. Owicki, "GEM: Una herramienta para la especificación y verificación de la concurrencia", en Actas del segundo simposio anual de ACM sobre principios de informática distribuida , ACM, Montreal, Quebec, Canadá, 1983.
- Thomas E. Anderson; Susan S. Owicki; James B. Sajonia ; Charles P. Thacker (1993). "Programación de conmutadores de alta velocidad para redes de área local". TOCS de ACM. (11:4): 319-352.
Una lista más completa de publicaciones está disponible en línea. [8]
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 estadounidense 7.770.016 : sistemas y métodos para software de marcas de agua y otros medios
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
- ^ "Systers fundadoras» Instituto Anita Borg para la Mujer y la Tecnología ". Anitaborg.org . Consultado el 24 de octubre de 2012 .
- ^ 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 .
- ^ 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.
- ^ 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.
- ^ a b "CRA-W". Cra.org. Archivado desde el original el 21 de septiembre de 2013.
- ^ "ACM: Premio becarios / Susan S Owicki". Fellows.acm.org . Consultado el 24 de octubre de 2012 .
- ^ "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 .
- ^ "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 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) - ^ "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
- Bibliografía completa de publicaciones.
- OwickiMFT.com, asesoramiento con Susan Owicki, MFT