joshuagrochow, 2 months ago

Excited to have @shriramk in CU Boulder's CS Dept Colloquium (in-person & online) April 23, 2024! Presenting on the Human Factors of Formal Methods.

https://calendar.colorado.edu/event/cs-colloquium-shriram-krishnamurthi-on-the-human-factors-of-formal-methods

#FormalMethods