Dr. Sara G***

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