Susan Owicki

Susan Owicki ialah seorang saintis komputer, Persatuan Jentera Pengkomputeran (ACM), dan salah seorang ahli pengasas senarai mel Systers untuk wanita dalam pengkomputeran.  Dia menukar kerjaya pada awal 2000-an dan menjadi ahli terapi perkahwinan dan keluarga berlesen.

 Kehidupan akademik 
Owicki telah menerima PhD dalam sains komputer dari Universiti Cornell pada tahun 1975. Penasihatnya ialah David Gries . Dalam tesis yang ditulisnya,  dia mencipta Interference freedom, iaitu kaedah untuk membuktikan program selari (concurrent programs) berfungsi dengan betul tanpa kesilapan. Ia menjadi asas kepada kebanyakan kerja berikutnya untuk membangunkan program serentak dengan pembolehubah yang dikongsi dan membuktikannya betul. Dua kertas kerja terhasil secara langsung daripada tesisnya:  

Beliau merupakan ahli fakulti di Universiti Stanford dalam Jabatan Kejuruteraan Elektrik dan Sains Komputer selama 10 tahun. Minat penyelidikannya termasuk sistem teragih, analisis prestasi dan sistem yang dipercayai untuk perdagangan elektronik dan dia menerbitkan banyak artikel dan paten pada penyelidikannya. 

Pada tahun 1994, Owicki telah diiktiraf sebagai Fellow ACM untuk kerja disertasinya An Axiomatic Proof Technique for Parallel Programs I . 

 Kerjaya industri 
Selepas Stanford, Susan Owicki telah bekerja dengan Digital Equipment Corporation (DEC).

Beliau kemudiannya bekerja di Makmal Penyelidikan Teknologi dan Senibina Strategik (makmal STAR) di mana beliau berperanan sebagai Pengarah Bersekutu. Makmal STAR ialah makmal pertama yang dikhaskan untuk penyelidikan dalam pengurusan hak digital dan teknologi perdagangan elektronik yang berkaitan. "CRA-W". Cra.org. Archived from the original on 21 September 2013.

Dia menghabiskan empat tahun sebagai perunding bebas melakukan kerja dalam prestasi televisyen interaktif dan penyampaian video penstriman.

 kehidupan peribadi 
Owicki berkahwin dengan Jack Owicki dan mempunyai dua orang anak. "CRA-W". Cra.org. Archived from the original on 21 September 2013.

 Penerbitan 
Penerbitan Owicki termasuk

 Susan Owicki; David Gries (1976). "An Axiomatic Proof Technique for Parallel Programs I" Owicki, Susan; Gries, David (25 June 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica. 6 (4). Berlin: Springer (Germany): 319–340. doi:10.1007/BF00268134. S2CID 206773583. (pemenang Anugerah Kertas Pengaturcaraan ACM Sistem dan Bahasa 1977.  )
 Bakul Hutan; James H. Clark ; John L. Hennessy ; Susan Owicki; Brian Reid . "Penyelidikan dalam Reka Bentuk dan Seni Bina Sistem VLSI". Universiti Stanford. 1981.
 Susan S Owicki; Leslie Laport . "Membuktikan Sifat Liveness Program Serentak". ACM TOPLAS . (4:3): 455-495.
 Amy L. Lansky dan Susan S. Owicki, "GEM: A Tool for Concurrency Specification and Verification,", dalam Prosiding Simposium ACM Tahunan Kedua mengenai Prinsip Pengkomputeran Teragih , ACM, Montreal, Quebec, Kanada, 1983.
 Thomas E. Anderson; Susan S. Owicki; James B. Saxe ; Charles P. Thacker (1993). "Penjadualan Suis berkelajuan tinggi untuk Rangkaian Kawasan Setempat". TOCS ACM. (11:4): 319-352.
Kategori:Orang hidup
Kategori:Ahli sains komputer Amerika