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
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
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
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
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
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
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
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
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
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