Dr. Irene B***

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 Software Engineering Differential Privacy Information Retrieval Reinforcement Learning Artificial Intelligence Web Information Systems 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