مخبر الذكاء الاصطناعي وتطبيقاته

Distributed systems and fault tolerance · Cloud Computing and Resource Management · Anomaly Detection Techniques and Applications · Advanced Database Systems and Queries · IoT and Edge/Fog Computing

Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust