Dr. Timothy B***

Data Mining Deep Learning Computer Vision Machine Learning Mobile Computing Computer Networks Operating Systems Computer Graphics 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