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

Energy Efficient Wireless Sensor Networks · Security in Wireless Sensor Networks · Network Time Synchronization Technologies · Blockchain Technology Applications and Security · Distributed systems and fault tolerance

Cloud Data Security Solutions · Cryptography and Data Security · Internet of Things and AI · Energy Efficient Wireless Sensor Networks · Security in Wireless Sensor Networks

Model-Driven Software Engineering Techniques · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems

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

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification