Dr. Sean D***

Pilot Study Abstract A117 Mixed Methods Analysis Program Analysis and Compilers Data Mining Deep Learning Machine Learning Mobile Computing Computer Networks Operating Systems Computer Graphics Network Protocols Autonomous Agents Computer Vision CV Big Data Analytics Explainable AI Xai Distributed Systems Formal Verification Automated Reasoning SAT and SMT Solvers Software Engineering Differential Privacy Information Retrieval Reinforcement Learning Artificial Intelligence Web Information Systems Scalable Data Engineering Graph Neural Networks Gnns AI Security and Robustness Automated Software Testing