Susan Owicki - Susan Owicki
Susan Owicki é um cientista da computação , Association for Computing Machinery (ACM) Fellow, e um dos membros fundadores da Systers lista de discussão para as mulheres na computação. Ela mudou de carreira no início dos anos 2000 e tornou-se uma terapeuta familiar e matrimonial licenciada .
Vida academica
Owicki recebeu seu PhD em ciência da computação pela Cornell University em 1975. Seu orientador foi David Gries . Na Cornell, ela inventou a liberdade de interferência, um método para provar que programas concorrentes estão corretos.
Ela foi membro do corpo docente da Universidade de Stanford para os Departamentos de Engenharia Elétrica e Ciência da Computação por 10 anos. Seus interesses de pesquisa incluem sistemas distribuídos, análise de desempenho e sistemas confiáveis para comércio eletrônico, e ela publicou vários artigos e patentes sobre sua pesquisa.
Em 1994 Owicki foi reconhecido como um ACM Fellow por seu trabalho de dissertação Uma Axiomatic Técnica prova para Programas Parallel I .
Carreira na indústria
Depois de Stanford, Susan Owicki foi contratada pela Digital Equipment Corporation (DEC).
Posteriormente, ela trabalhou no Laboratório de Pesquisa em Arquitetura e Tecnologias Estratégicas (laboratório STAR), onde ocupou o cargo de Diretora Associada. O laboratório STAR foi o primeiro laboratório dedicado à pesquisa em gerenciamento de direitos digitais e tecnologias de comércio eletrônico relacionadas.
Ela passou quatro anos como consultora independente realizando trabalhos na performance de televisão interativa e entrega de streaming de vídeo.
Vida pessoal
Owicki é casado com Jack Owicki e tem dois filhos.
Publicações
As publicações de Owicki incluem
- Susan Owicki; David Gries (1976). "An Aximatic Proof Technique for Parallel Programs I". Acta informatica. (6): 319-340. (Vencedor do Prêmio ACM de 1977 de melhor artigo em linguagens de programação e sistemas.)
- Forest Baskett; James H. Clark ; John L. Hennessy ; Susan Owicki; Brian Reid . "Pesquisa em Arquitetura e Design de Sistemas VLSI". Universidade de Stanford. 1981.
- Susan S Owicki; Leslie Lamport . "Provando propriedades de vivacidade de programas simultâneos". ACM TOPLAS . (4: 3): 455-495.
- Amy L. Lansky e Susan S. Owicki, "GEM: A Tool for Concurrency Specification and Verification" , em Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing , ACM, Montreal, Quebec, Canadá, 1983.
- Thomas E. Anderson; Susan S. Owicki; James B. Saxe ; Charles P. Thacker (1993). "Agendamento de switch de alta velocidade para redes locais". ACM TOCS. (11: 4): 319-352.
Uma lista mais completa de publicações está disponível online.
Patentes
As patentes de Owicki incluem
- Patente dos EUA 5.446.901 - Sistema de coleta de lixo distribuído tolerante a falhas e método para coletar objetos de rede
- Patente dos EUA 7.770.016 - Sistemas e métodos para software de marca d'água e outras mídias
Terapeuta de casamento e família
Owicki também é terapeuta matrimonial e familiar licenciado. Ela mantém um consultório particular e faz parte da equipe do centro de ajuda para professores e funcionários da Universidade de Stanford .