Dr. John S. H***

Computer Networks Computer Graphics Computer Vision CV Information Retrieval Web Information Systems Data Mining Deep Learning Machine Learning Mobile Computing Operating Systems Network Protocols Autonomous Agents Big Data Analytics Explainable AI Xai Distributed Systems Formal Verification Automated Reasoning SAT and SMT Solvers Software Engineering Differential Privacy Reinforcement Learning Artificial Intelligence Scalable Data Engineering Graph Neural Networks Gnns AI Security and Robustness Automated Software Testing Microarchitecture Security Federated Learning Systems Database Management Systems Semantic Web and Ontologies