Theses/Dissertations from 2025
Noninvasive Assessment of the Tumor Using cfDNA, Irfan Alahi
Code Stories for Software Evolution, John Joseph Allen
Multi-Layer Support for Component-Based Cyber-Physical Systems Applications, Oren Bell
Advancing Political Science With Machine Learning: A Gaussian Process Approach, Yehu Chen
Computational Imaging Under Incomplete Information, Weijie Gan
Tests Without Borders: A Global Approach to Measuring Visualization Literacy, Olivia A. Guess
Learning From Conditional Data Distributions, jizhou huang
Predicting Which Genes Will Respond to Transcription Factor Perturbation, Eric L. Jia
Multimodal Representation Learning for Geospatial Soundscape Mapping, Subash Khanal
Effective and Efficient Graph Foundation Model, Lecheng Kong
Towards Fair Sequential Resource Allocation: Algorithmic Designs, Interventions, and Evaluations, Ashwin Kumar
Understanding and Mitigating Timing Issues in Autonomous Systems, Ao Li
Towards Secure and Privacy-Preserving Machine Learning Systems, Han Liu
Advancing Predictive Modeling with Deep Representation Learning on Diverse Clinical Data, Hanyang Liu
Towards Graph Foundation Models: Few-shot and Zero-shot Learning on Graphs, Hao Liu
Combining Code Analysis and Pedagogical Guidance: Automated Tools for Teaching Debugging in Introductory Programming, Yana Malysheva
Computational Complexity of Soundness Verification for Neural Networks, Scott Sirri
Strategic Reactor Allocation for Deadlock-Free Execution, Jeevan Sivamohan
Generic FPGA Preprocessing for Astrophysics Instruments in HLS, Qinzhou Song
Explainable Decision-Making: From Formal Logic to AI Systems with Explainable Behavior, Stylianos Loukas Vasileiou
Explainable Decision-Making: From Formal Logic to AI Systems with Explainable Behavior, Stylianos Loukas Vasileiou
Real-time System Availability for Cyber-physical Systems, Jinwen Wang
Security Protection for Real-Time Cyber-Physical Systems, Yujie Wang
Partially Supervised Reinforcement Learning for GPS-Denied Navigation, Ethan Weilheimer
Empirically Exploring the Physical Realizability of Adversarial Examples, Ruoyao Wen
Trustworthy Autonomy Through Robust Control and Alignment, Junlin Wu
System Security Foundations for AI-Enabled Systems, Yuhao Wu
Training Safety Control Filters Using High-dimensional and Un-labeled Data, Yuxuan Yang
Scaling Quantum Systems: Quantum Networks, Distributed Quantum Computing, and Security, Zebo Yang
Cyber-Physical Security Through the Lens of AI-Enabled Systems, Zhiyuan Yu
Supporting Programmers Answering the Hard-To-Answer Questions Through the Use of Large Language Models, Haixin Zhou
Theses/Dissertations from 2024
Application of Machine Learning for Multi-omics Data Integration, Dhoha Abid
Beyond Measures of Speed & Accuracy: Evaluating Visualization Perception, Reasoning & Decision-Making, Melanie Bancilhon
Improving Clinical Information Extraction from Electronic Health Records: Leveraging Large Language Models and Evaluating Their Outputs, KRITI BHATTARAI
Reimagining the Machine Vision Pipeline in Cyber Physical Systems for Trustworthiness and Efficiency, Adith Boloor
Reimagining the Machine Vision Pipeline in Cyber Physical Systems for Trustworthiness and Efficiency, Adith Boloor
Improving and Modeling Heterogeneous Streaming Computation, Clayton Faber
A Distributed and Hybrid AI-Based Security Framework for 5G Real-time Applications, Ali Ghubaish
Tree Recovery by Dynamic Programming, Gustavo Alberto Gratacos
Towards Building a Reliable Human-Machine Partnership: A Visual Analytics Approach, Sunwoo Jennifer Ha
Work-Stealing Scheduler for Parallel Cache-Adaptive Algorithms, Chuqi Jiang
Multimodal Representation Learning Frameworks for Modeling Progression and Heterogeneity in Alzheimer’s Disease, Sayantan Kumar
Multimodal Representation Learning Frameworks for Modeling Progression and Heterogeneity in Alzheimer’s Disease, Sayantan Kumar
Towards Verified Vision-Based Neural Network Controllers for Autonomous Lane-Following, Xinhang Ma
Experimental Design for Scientific Discovery, Quan Minh Nguyen
An Attention LSTM U-Net Model for Drosophila Melanogaster Heart Tube Segmentation, Xiangping Ouyang
Schedulability Analysis of Multi-Phase Limited-Preemption Tasks, Benjamin Standaert
Improved Models of Elastic Scheduling, Marion Baumli Sudvarg
Coding for Decentralized Systems and Forensic 3D Fingerprinting, Canran Wang