Organizers: Yu Feng ([email protected])
Where: PHELPS 3526/Zoom
When: Tue, 1pm-2pm
| Date | Topic | Area | Speaker |
|---|---|---|---|
| 1/17 | Course Intro | PL/Security | Yu Feng |
| 1/24 | Quantitative Symbolic Analysis for Software Security and Dependability | SE | Tevfik Bultan |
| 1/31 | Deduction-Powered Multi-Modal Neural Program Synthesis | PL | Yanju Chen |
| 2/7 | Deep learning-based stimulus optimization for bionic vision | TBD | Michael Beyeler |
| 2/14 | TBD | NLP | Lei Li |
| 2/21 | Quantum Computing | quantum | Yufei Ding |
| 2/28 | A Prediction System Service | arch | Jonathan Balkind |
| 3/7 | Limitation of Language Models in Simple Induction | NLP/AI | Xifeng Yan |
| 3/14 | Computational Phase Transitions | Theory | Eric Vigoda |