Dr. Kaia H***

Information Retrieval Web Information Systems 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 Reinforcement Learning Artificial Intelligence Scalable Data Engineering Human-Computer Interaction AI Security and Robustness Automated Software Testing Microarchitecture Security Natural Language Processing Database Management Systems