Organizers: Trinabh Gupta ([email protected]), Yu Feng ([email protected])
Where: HFH-1132
When: Tue, 1pm-2:50pm
Date | Topic | Area | Speaker |
---|---|---|---|
1/7 | Toward Practical and Private Online Services | System | Trinabh Gupta |
1/14 | program synthesis for the masses | PL | Yu Feng |
1/21 | Finding, Fixing, and Preventing Security issues in Modern Systems | Security | Aravind Machiry |
1/28 | quantum computing | ML | Yufei Ding |
2/4 | TBD | TBD | |
2/11 | TBD | TBD | TBD |
2/18 | TBD | TBD | TBD |
2/25 | Computing with Temporal Logic; From CMOS to the Beyond Moore's Law Era | Architecture | George Tzimpragos |
3/3 | TBD | TBD | TBD |
3/10 | TBD | TBD | TBD |