algorithms

UMD and NIST Announce the Creation of the Joint Center for Quantum Information and Computer Science

The University of Maryland (UMD) and the U.S. Department of Commerce’s National Institute of Standards and Technology (NIST) announced today the creation of the Joint Center for Quantum Information and Computer Science (QuICS), with the support and participation of the Research Directorate of the National Security Agency/Central Security Service (NSA/CSS). Scientists at the center will conduct basic research to understand how quantum systems can be effectively used to store, transport and process information.

Shankar Publishes Book on Distributed Programming

Professor A. Udaya Shankar has recently published a book titled "Distributed Programming: Theory and Practice". This text presents a practical and rigorous method to develop distributed programs that correctly implement specifications. It also covers how to write specifications and how to use them. Examples address both classical problems (e.g., distributed termination detection) and non-classical problems (e.g., network sockets). The book bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms.