Dr. Matthew O***

Computer Vision Computer Networks Computer Graphics Data Mining Deep Learning Machine Learning Mobile Computing Operating Systems Network Protocols Autonomous Agents Big Data Analytics Distributed Systems Formal Verification Automated Reasoning SAT and SMT Solvers Software Engineering Applied Cryptography Differential Privacy Graph Neural Networks Information Retrieval Reinforcement Learning Artificial Intelligence Web Information Systems Scalable Data Engineering Human-Computer Interaction AI Security and Robustness Automated Software Testing Microarchitecture Security Natural Language Processing Database Management Systems