Events
April 21
-
Cyber-Physical Systems for Crowdsensing-based Indoor Mapping
Event Type: Qualifying Exam
Speaker: Haijun WuLocation: CoRE 305
Event Date: 08:30am - 09:30am -
Predictive Cyber-Physical Systems via Heterogeneous Graphs
Event Type: Qualifying Exam
Speaker: Jinquan HangLocation: CoRE 305
Event Date: 09:30am - 10:30am -
Efficient Probabilistically Checkable Proofs from High-Dimensional Expanders
Event Type: Faculty Candidate Talk
Speaker: Mitali BafnaLocation: CoRE 301
Event Date: 10:30am - 12:00pm -
Evolving Modern Storage Stack: I/O Abstraction, Caching and Prefetching
Event Type: PhD Defense
Speaker: Jian ZhangLocation: CoRE 431
Event Date: 10:30am - 12:30pm
April 22
-
Variational Auto Encoder (VAE): Theory and its Applications
Event Type: Faculty Candidate Talk
Speaker: Diana KimLocation: CoRE 301
Event Date: 11:00am - 12:30pm
April 23
-
Circuit satisfiability: Geometric insights and polynomial threshold functions
Event Type: Qualifying Exam
Speaker: Adarsh SrinivasanLocation: CoRE 301
Event Date: 01:00pm - 03:00pm
April 24
-
Streamlining equal shares
Event Type: Computer Science Department Colloquium
Speaker: Professor Edith ElkindLocation: CoRE 301
Event Date: 10:30am - 12:00pm