PhD, MS, and BS Research Positions in implementing, improving, and checking distributed algorithms, and using them in interesting and important applications. Those with sufficient experience can also work on automatic compilation, optimization, analysis, verification, as well as language design and framework building. Stony Brook University, State University of New York (on Long Island, New York) Requirements: Strong background and preparation in at least one of the following areas:
Configuration for Assurance: Safe, Live, and Secure Distributed Systems http://distalgo.cs.stonybrook.edu/ Contacts: Annie Liu, liu@cs.stonybrook.edu, and Scott Stoller, stoller@cs.stonybrook.edu Lamport's distributed mutual exclusion algorithm in DistAlgo  |