Design and Implementation of Enablers in Materials Acceleration Platforms for Battery Research
2024
Dissertation
277 p.
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Adapting and Optimizing High Order Seismic Simulations for GPU-based Supercomputers
2024
Dissertation
191 p.
Exploring Hybrid CTC/Attention End-to-End Speech Recognition: Adversarial Robustness, Sinc Convolutions, and CTC Segmentation
2024
Dissertation
165 p.
Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
2024
Dissertation
180 p.