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
Sep 3 2:30pm - 4PM Doctoral Thesis Proposal - Mingxun Zhou MINGXUN ZHOU Practical Private Information Retrieval and Searching with Sublinear Cost In Person and Virtual - ET Reddy Conference Room, Gates Hillman 4405 and Zoom Add event to Google Add event to iCal
Sep 3 8AM - 9:30pm Doctoral Thesis Proposal - Afonso Tinnoco AFONSO TINOCO Towards Practical and Verifiable Distributed Systems: Applications of Oblivious Algorithms, Garbled Circuits and Formal Methods+ In Person and Virtual - ET Gates Hillman 8102 and Zoom Add event to Google Add event to iCal
Aug 23 3PM - 4:30pm Doctoral Thesis Proposal - Brian Zhang BRIAN ZHANG New Solution Concepts, Algorithms, and Applications for Extensive-Form Games: Learning, Correlation, Communication, and Common Knowledge In Person Gates Hillman 8102 Add event to Google Add event to iCal
