Quick links

COS 597D: Reasoning about concurrent systems

Course description currently unavailable.


Semester: Fall16
Lectures: Monday,Wednesday, 3:00-4:20
Location: Friend Center 009

Faculty

Zachary Kincaid
Office: Computer Science 219
Extension: 5330
Email: zkincaid

Additional Information


The Graduate Coordinator is Nicki Mahler
Email: ngotsis
Office: Computer Science 213
Extension: 5387
Follow us: Facebook Twitter Linkedin