Dr. Pavel P***

Computer Networks Computer Graphics Computer Vision CV Software Engineering Scalable Data Engineering 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 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