Designing Formally Correct Intermittent Systems

CS Department Colloquium Series

Milijana Surbatovich, Carnegie Mellon University

February 27

12:30 pm

Computer Science Building, 105

See event website for additional details and how to view or participate.

Sponsors

Computer Science

Computer Science

Leading the field through foundational theory, applications, and societal impact