All seminars will take place on Fridays at 11 a.m. in DBH 6011. Check seminar details below.
Fall 2022
| Date | Speaker | Title | Details | Host |
|---|---|---|---|---|
| September 30 | Sylvia Herbert UCSD |
Safe Control from Value Functions: Blending Control Barrier Functions and Hamilton-Jacobi Reachability Analysis |
Abstract/Bio |
Roy Fox |
| October 7 | Mohsen Lesani UCR |
Synthesis and Verification of Distributed Systems |
Abstract/Bio |
Ardalan Amiri Sani |
| October 28 | Saurabh Bagchi Purdue |
Dependability and Data Analytics: A Match Made in the Cloud |
Abstract/Bio |
Gene Tsudik |
| November 4 | Per Stenström Chalmers University of Technology / ZeroPoint Technologies |
Enabling Efficient Memory Systems using Novel Compression Methods |
Abstract/Bio |
Alex Veidenbaum |
| November 18 | Hung-Wei Tseng UCR |
The upcoming revolution of general-purpose computing |
Abstract/Bio |
Sang-Woo Jun |
| November 21 (Special) |
Mathias Payer EPFL |
Tales of Program Crashes and Vulnerabilities |
Abstract/Bio |
Gene Tsudik |
| December 2 | Sharad Agarwal Microsoft |
Improving the Reliability of 5G Traffic Traversing Hyperscalar Networks |
Abstract/Bio |
Ardalan Amiri Sani / Gene Tsudik |