Dr. Shyue Ping O***

Software Engineering Scalable Data Engineering 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 Differential Privacy Information Retrieval Reinforcement Learning Artificial Intelligence Web Information Systems Graph Neural Networks Gnns AI Security and Robustness Automated Software Testing Microarchitecture Security Federated Learning Systems Database Management Systems Semantic Web and Ontologies