The following is a list of upcoming Thesis & Dissertation proposal defenses.

Advancing Automated Program Analysis through the Lens of Program Semantics
An Uncertainty-Aware and Explainable Assurance Framework for Safety-Critical Aviation Deep Learning Models Using Conformal Prediction
Sequential Decision Making at Scale: Theory and Applications
Leveraging Robotic Exoskeletons to Improve Human Safety Outcomes in Dynamic and Unstructured Environments
Mapping The Invisible From Almost Nothing: Methods and Mechanisms for Physics-Informed Spectrum Cartography Across Propagation Model Fidelities
Simulating Interoception in Robot Teammates: Effects of Internal Arousal Display and Belief on Human Cooperation
Data-Adaptive Kernel Methods for Distributional Inference
Methods and Models for Robots to Support Variable Human Task Performance
Engineering Chassis Cells for Next-generation Biomanufacturing
Rapid and Subcellular Impedance Spectroscopy for Epithelial Barrier Dynamics