Sally Browning

Sally Browning

Contact

Research and Engineering
Office: 503.626.6616 x101
Email: sally (at) galois (dot) com
LinkedIn: http://www.linkedin.com/pub/sally-browning/7/a94/39b

At Galois

Dr. Sally A Browning leads the Cryptol family of projects at Galois. She has a BS in Mathematics and Computer Science from the University of Oregon, and a MS and PhD in Computer Science from the California Institute of Technology. Her thesis, “The tree machine: a highly parallel architecture for VLSI” with Dr. Carver Mead, was an early example of trading space for time in mapping hard problems to hardware. Before joining Galois in 2006, she was part of the Computer Science Research Center (the home of Unix) at Bell Labs, employee #11 at Silicon Graphics, and an independent consultant. In addition, she has taught computer science classes at University of Oregon, Cal-Tech, and Oregon Graduate Institute, and art appreciation to elementary and middle school students.

My Background

I decided at age 9 to become a computer scientist, wrote my first program at age 16, and have been working in the field since age 20. I have a BS in Mathematics and Computer Science from the University of Oregon and a MS and PhD in Computer Science from Cal-Tech. I have taught CS courses at the University of Oregon, Cal-Tech, and Oregon Graduate Institute, explored research topics at Bell Labs, produced products at start-up companies (Silicon Graphics, Pixel Machines, TrueDisk), and written lots of books and programming manuals.

Publications

  • Browning, S. and Weaver, P. Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol. In Design and Verification of Microprocessor Systems for High-Assurance, David S. Hardin, Editor. Springer 2010
  • Colby Hoffman, Jeff Lewis, Brad Martin, Sally Browning, A Complete Design Flow for MILS in a Single High Assurance FPGA, European Reconfigurable Radio Technologies Workshop, 2010
  • Browning, S. A. 1992 XWIN Reference Manual. Prentice Hall PTR.
  • Browning, S. A. 1992 UNIX System V Print Service Administration. Prentice Hall PTR.
  • Browning, S. A. 1990. Cip user's manual: one picture is worth a thousand words. In UNIX Vol. Ii: Research System (10th Ed.), A. G. Hume and M. D. McIlroy, Eds. W. B. Saunders Company, Philadelphia, PA, 175-186.
  • Browning, S. A. 1980. The Tree Machine: a Highly Concurrent Computing Environment. Doctoral Thesis. UMI Order Number: AAI8014303., California Institute of Technology.
  • Browning, S. A. 1980. The LSI design language, Bell Laboratories, Murray Hill, New Jersey, 1980.
  • Browning, S. A. Algorithms for the tree machine. Introduction to VLSI Systems, 1980.
  • Browning, S. A. Computations on a Tree of Processors, 1979. Caltech Computer Science Dept.
  • Browning, S. A. Communication in a tree machine, 1981.
  • Browning, S. A. Hierarchically organized machines, 1979.