Garcia 2/11

Submitted by mbiger on Wed, 02/09/2022 - 11:49
Groups audience: 
Computer Science
Slide Content: 
University of Iowa Computer Science Colloquium Series: Gradual Enforcement of Program Invariants Ron Garcia Friday, February 11, 2022 4:00 p.m. CT (Online) Abstract and more at cs.uiowa.edu Ronald Garcia is an associate professor of Computer Science at the University of British Columbia. His research investigates how fundamental concepts in the theory, implementation, and practice of programming languages can improve the software development process. His research has focused on static and dynamic type-based reasoning, metaprogramming, and generic programming.
End Date: 
Saturday, February 12, 2022 - 00:50
Duration: 
10 seconds