From Daniel Macleod August 16th, 2020
277 | 23:36duration 23 minutes 36 seconds
cos326-2020-06-02-simple-evaluation
From Daniel Macleod August 14th, 2020
323 | 26:49duration 26 minutes 49 seconds
cos326-2020-06-01-abstract-syntax
510 | 43:11duration 43 minutes 11 seconds
cos326-2020-01-02-ocaml
From Daniel Macleod August 13th, 2020
306 | 15:38duration 15 minutes 38 seconds
cos326-2020-02-01-let
10 | 57:06duration 57 minutes 6 seconds
AI Lab Distinguished Lecturer - Yejin Choi
From Broadcast Broadcast Center Staff April 14th, 2025
160 | 17:48duration 17 minutes 48 seconds
cos326-2020-08-05-proofs-programming-languages
19 | 01:25:17duration 1 hour 25 minutes
"Toward AI-Driven Digital Organism:…
"Toward AI-Driven Digital Organism: Multiscale Foundation Models for Predicting, Simulating and Programming Biology at All Levels" by Eric Xing
From Broadcast Broadcast Center Staff March 10th, 2025
1 | 38:53duration 38 minutes 53 seconds
Maselli, Andrea, March 3, 2025,…
Maselli, Andrea, March 3, 2025, "Gravitational wave observations of black hole mimickers: where do we look and what do we look for?"
From Broadcast Broadcast Center Staff April 4th, 2025
296 | 20:03duration 20 minutes 3 seconds
cos326-2020-06-03-more-evaluation
158 | 21:17duration 21 minutes 17 seconds
cos326-2020-17-01-type-checking-rules