CMSC 712 |
Distributed Algorithms and Verification |
Spring 2014 |
Professor | A. Udaya Shankar
(email: shankar@cs.umd.edu).
Office hours: after class, or by appt (email me) |
Classes | TuTh 11:00-12:15pm. Room CSIC 3118 |
If time permits, we will also look at analyzing security properties (authentication, confidentiality) of distributed programs.