Jan 14 3PM - 4:30pm Doctoral Thesis Proposal - Hojin Park HOJIN PARK Cost-Efficient Storage and Caching in Public Clouds In Person Reddy Conference Room, Gates Hillman 4405 Add event to Google Add event to iCal
Jan 17 12PM - 1:30pm Doctoral Thesis Proposal - Long Pham LONG PHAM Hybrid Resource-Bound Analyses of Programs In Person Gordon Bell Conference Room, Gates Hillman 5117 Add event to Google Add event to iCal
Dec 10 11AM - 12:30pm Doctoral Thesis Proposal - Anup Agarwal ANUP AGARWAL Designing Network Control Algorithms with Performance Guarantees In Person and Virtual - ET Reddy Conference Room, Gates Hillman 4405 and Zoom Add event to Google Add event to iCal
Dec 5 3:30pm - 5PM Doctoral Thesis Proposal - Asher Trockman ASHER TROCKMAN Mimetic Initialization for Deep Neural Networks In Person and Virtual - ET Scott Hall 6002 and Zoom Add event to Google Add event to iCal
Dec 5 2PM - 3:30pm Doctoral Thesis Proposal - Emre Yolcu EMRE YOLCU Weak Extended Resolution and Nonautomatability in Proof Complexity In Person Gordon Bell Conference, Gates Hillman 5117 Add event to Google Add event to iCal
Nov 19 10AM - 11:30am Doctoral Thesis Proposal - Nuno Sabino NUNO SABINO Improving Code-Injection Vulnerability Detection & Confirmation in JS Programs via Program Analysis In Person Gates Hillman 7101 Add event to Google Add event to iCal
Nov 18 2PM - 3PM Doctoral Thesis Proposal - to be rescheduled LONG PHAM Hybrid Resource-Bound Analyses of Programs In Person - To Be Rescheduled ASA Conference Room, Gates Hillman 6115 Add event to Google Add event to iCal
Nov 15 12:30pm - 2PM Doctoral Thesis Proposal - Benjamin Stoler BENJAMIN STOLER Towards Robust Autonomous Driving and Social Robot Navigation via Enhanced Data Utilization In Person and Virtual - ET Reddy Conference Room, Gates Hillman 4405 and Zoom Add event to Google Add event to iCal
Oct 29 11AM - 12:30pm Doctoral Thesis Proposal - Joseph E. Reeves JOSEPH E. REEVES Cardinality Constraints in Satisfiability Solving In Person and Virtual - ET Reddy Conference Room, Gates Hillman 4405 and Zoom Add event to Google Add event to iCal
Oct 15 2PM - 3:30pm Doctoral Thesis Proposal - Meng-Chieh (Jeremy) Lee MENG-CHIEH (JEREMY) LEE Explainable Mining of Graphs and Time Series: Algorithms and Applications In Person and Virtual - ET Reddy Conference Room, Gates Hillman 4405 and Zoom Add event to Google Add event to iCal
Oct 3 11AM - 12:30pm Doctoral Thesis Proposal - Jun-Ting Hsieh JUN-TING HSIEH Spectral Algorithms for Optimization beyond the Average-Case In Person Blellock-Skees Conference Room, Gates Hillman 8115 Add event to Google Add event to iCal
Sep 19 11:30am - 1PM Doctoral Thesis Proposal - Aditi Kabra ADITI KABRA Verified Control Envelope Synthesis for Hybrid Systems In Person Gordon Bell Conference Room, Gates Hillman 5117 Add event to Google Add event to iCal
