Anna Patterson

Research Associate to Formal Reasoning Group

Affiliation: Computer Science Department, Stanford University
Office: Gates Building.
Address:
Computer Science Department,
Stanford University,
Stanford CA 94305-9045, USA
Email:
annap at cs dot stanford dot edu
Now at Google
annap at google dot com

Research Interests:
Programming Languages.
Concurrency.
Verification and analysis of distributed systems, structures and algorithms.
Side Interests:
Visualizing structures using 3-D imaging techniques.
WWW6 logo 6th International World Wide Web Conference Deputy Program Chair

Research

  • Publications.

    • Useful links

    The Stanford home page.

    The Computer Science Department home page.

    The Theory Division home page.

    Anna Patterson

    annap@CS.Stanford.EDU